.dsy:it. - Domanda torica

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

Domanda torica

Posted by marcoguillermaz on 24-03-2010 14:42

Ciao a tutti, mi stavo esercitando con i temi d'esame e mi è venuto un dubbio su una domanda :
Mi viene chiesto se le seguenti espressioni sono formule:
p implica not not q
p not implica q
p and not (q implica not r)

Allora l'ultima è sicuramente una formula e la seconda sicuramente no, ma la prima ho un dubbio, non mi crea ambiguita di lettura, l'implica è il connettivo principale, la mia domanda è posso leggerla applicando le procedure di risoluzione ossia not not q = q quindi è una formula essendo :

p implica q

Fatemi sapere