Logica Matematica Corso di Laurea in Informatica ... - Mbox.dmi.unict.it

54 CAPITOLO 2. LOGICA PROPOSIZIONALE
con tale scelta nell’ottica della logica classica a due valori.
Nell’insieme {0, 1} è necessario introdurre un minimo di struttura: la più
semplice consiste in convenire che 0 < 1 e usare la sottrazione come se 0 e 1
fossero numeri interi, con |x| a indicare il valore assoluto.
Un’interpretazione è una funzione 21 i : L −→ {0, 1}; una valutazione è
una funzione v : P −→ {0, 1} che soddisfa le seguenti condizioni 22 :
v((¬A)) = 1 − v(A)
v((A ∧ B)) = min{v(A), v(B)}
v((A ∨ B)) = max{v(A), v(B)}
v((A ⊕ B)) = |v(A) − v(B)|
v((A → B)) = max{1 − v(A), v(B)}
v((A ↔ B)) = 1 − |v(A) − v(B)|.
In alternativa, si considerano 0 e 1 come interi modulo 23 2, {0, 1} = Z2, e si
scrivono le condizioni:
v((¬A)) = 1 + v(A)
v((A ∧ B)) = v(A) · v(B)
v((A ∨ B)) = v(A) + v(B) + v(A) · v(B)
v((A ⊕ B)) = v(A) + v(B)
v((A → B)) = 1 + v(A) · (1 + v(B))
v((A ↔ B)) = 1 + (v(A) + v(B)).
Oppure ancora si considera {0, 1} come l’algebra di Boole 2, con le condizioni
v((¬A)) = −v(A)
v((A ∧ B)) = v(A) ◦ v(B)
v((A ∨ B)) = v(A) + v(B)
v((A ⊕ B)) = (v(A) + v(B)) ◦ −(v(A) ◦ v(b))
v((A → B)) = −v(A) + v(B)
v((A ↔ B)) = −v(A ⊕ B).
21 La notazione con la freccia è usuale in matematica per le funzioni: si intende che a
ogni lettera corrisponde un valore di verità, e per la valutazione v che a ogni proposizione
corrisponde o 0 o 1.
22 Si noti che in v((¬A)) e in altre espressioni analoghe ci sono due tipi di parentesi, che
andrebbero tipograficamente distinte; quelle interne sono le parentesi della proposizione,
quelle esterne servono per la notazione funzionale v(x).
23 Per chi non sa cosa significa, l’importante è che 1 + 1 = 0. In pratica i numeri sono
divisi in due classi, quella dei pari, rappresentata da 0 e quella dei dispari, rappresentata
da 1. La somma di due pari è pari, la somma di due dispari è pari . . . .