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
Powered by: vbHome (lite) v3.8 and vBulletin v2.3.1
Copyright © 2000 - 2002 Jelsoft Enterprises Limited