 |
marcoguillermaz |
.simpatizzante.
Registered: Oct 2009
Posts: 12 (0.00 al dì)
Location: Milano
Corso: Informartica per le telecomunicazioni
Anno: 3
Time Online: 6:32:07: [...]
Status: Offline
Edit | Report | IP: Logged |
Domanda torica
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
|
marcoguillermaz
