.dsy:it. (http://www.dsy.it/forum/)
- Logica matematica (http://www.dsy.it/forum/forumdisplay.php?forumid=246)
-- Domanda torica (http://www.dsy.it/forum/showthread.php?threadid=40253)

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

Si, la prima è una formula