Domanda torica
Clicca QUI per vedere il messaggio nel forum |
| marcoguillermaz |
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 |
| s4lv0 |
| Si, la prima è una formula |
|
|
|
