Ocena prawna umów denominowanych podlega naszej dyskusji. Z jednej strony widzimy, że są to umowy wyrażone w dewizach, z drugiej strony twierdzimy, że są to umowy złotowe, ponieważ w tym pieniądzu są wykonywane. Obie oceny są prawidłowe. Pozostaje kwestią otwartą, czy umowy te łamią zasadę walutowości czy też tego nie robią.

Podjąłem próbę przeprowadzenia formalnego wnioskowania. Zaznaczam, że na logice matematycznej się nie znam. Będę wdzięczny za obalenie poniższej argumentacji, stosując jednak formalne zapisy logiki matematycznej. Pomocna może być książka "Logika dla opornych by Krzysztof Wieczorek" - do znalezienia w sieci.

W poniższej próbie wnioskowania, zastosowałem następujące symbole:
a) xx#1 ......fakt, przesłanka, konkluzja
b) =>..........implikacja
c) lub......alternatywa
d) oraz....koniunkcja


Przepisy prawa
--------------------
kc#1. wyrażanie zobowiązań w walucie obcej: jest zabronione (art.358 §1 kodeks cywilny 1964, 2005)
kc#2. zaciąganie zobowiązań w walucie obcej: jest zabronione (art.358 §1 kodeks cywilny 1964, 2005)

pd#1. obrót dewizowy: jest dozwolony (art.3 ust.1 prawo dewizowe 2002)
pd#2. obrót dewizowy: jest zakazany w przypadkach szczególnych (art.9 prawo dewizowe 2002)
pd#3. obrót dewizowy: zakazy nie dotyczą banków (art.3 ust.3 prawo dewizowe 2002)

pd#4.obrót dewizowy: to zawarcie umowy mogącej powodować rozliczenia w walucie obcej (art.2 pkt 18 prawo dewizowe 2002)
pd#5. obrót dewizowy: to zawarcie umowy powodującej rozliczenia w walucie obcej (art.2 pkt 18 prawo dewizowe 2002)

Fakty
--------
f#1. zawarcie umowy: to wyrażenie zobowiązania
f#2. wykonanie umowy: to świadczenie

Wnioskowania
--------------------
f#1 => f#3. wyrażenie zobowiązania: to zawarcie umowy

f#1 oraz pd#4 => w#1. obrót dewizowy: to wyrażenie zobowiązania mogącego prowadzić do rozliczenia w walucie obcej
f#1 oraz pd#5 => w#2. obrót dewizowy: to wyrażenie zobowiązania powodującego rozliczenia w walucie obcej
pd#4 oraz pd#5 => w#3. rozliczenia w walucie obcej: to wykonanie umowy
w#3 oraz f#2 => w#4. rozliczenia w walucie obcej: to świadczenie w walucie obcej

(w#1 lub w#2) oraz w3 => w#5. obrót dewizowy: to wyrażenie zobowiązania w walucie obcej, prowadzące do świadczenia w walucie obcej

Konkluzja
-------------
w#5 oraz kc#1 => w#6. obrót dewizowy: jest zabroniony o ile nie prowadzi do świadczenia w walucie obcej.

Będę wdzięczny za wykazanie, że jest inaczej.