N.B. scusate se non scrivo in forma corretta ma nn so usare il linguaggio per le formule.. in ogni caso dove segno meno ( - ) sta ad indicare la negazione.
1 - Dare una Forma Normale Congiuntiva a una Forma Normale Disgiuntiva di
-(( -A \/ B) /\ ( -B \/ C )) \/ ( -A /\ -C )
(( B /\ C ) -> ( A \/ C)
2 - siano A, B due formule atomiche nella logica proposizionale.
Dire se esiste un insieme
che contenga
A \/ B
A -> B
-A
e sia consistente massimale.
3 - nella logica proposizionale sia definito il connettivo binario
che:
,
prosegui interpretazione
:
a) dire se
è commutativo e associativo
b) esprimere
in funzione di 
c) per ogni A € (appartenente) FBF (funzione ben definita) determinare B, B' € FBF tale che
A
B = -A
A
B' = T (tautologia)
d) determinare C, C' € FBF tale che
A
C = -A
A
C' = -A
per ogni A € FBF
e) dire se gli insiemi di connettivi
sono funzionalmente completi
4 - dare una deduzione naturale
a) B /\ A |- A /\ B
b) -A |- -(A /\ -B)
c) |- (( A /\ B ) -> C) -> (A -> (B -> C))
n.b. il simbolo ( |- ) sarebbe una T rovesciata
mi rendo conto che scritto così è parecchio grezzo... sono gli unici dati che ho, presi da un esame già fatto.... spero riusciate comunque a capire i vari simboli..
) dovrebbe potersi risolvere con gli algoritmi di Fitting.
