.dsy:it. - [logica matematica] esercizi

.dsy:it.
//www.dsy.it

[logica matematica] esercizi

Posted by Lea on 03-07-2005 17:13

Ciao, qualcuno mi può aiutare con questi esercizi?
Grazie

Sia A una formula proposizionale soddisfacibile non contenente le lettere proposizionali p,q. Allora

(p->q) ^ A è soddisfacibile
A->(p->q) è una tautologia
not A V (p->q) è una contraddizione

ii) Sia T, A ^ B => C, D un sequente proposizionale non dimostrabile. Allora

A ^ B -> C è una tautologia
A ^ B ^ not C è soddisfacibile
(A^B) V not C è una contraddizione