Care formulă este o tautologie în logica clasică?
Exercițiu original Grile.app pentru Logică computațională (FMI, UBB Cluj-Napoca), creat cu ajutorul AI. Nu este un subiect oficial de examen. Dă un test grilă la Logică computațională
- A.p ȘI NU q
- B.p SAU NU p✓ Corect
- C.p ȘI NU p
- D.p ȘI q
Răspuns corect: B – p SAU NU p
Explicație
Principiul terțului exclus afirmă că p sau negația sa este adevărată.
Sursă: Exercițiu original Grile.app, creat cu ajutorul AI. Nu este un subiect oficial de examen.
Alte întrebări de la Logică computațională
- Ce este o contradicție logică?
- Din p și p → q, ce concluzie rezultă prin modus ponens?
- Care este contrapozitiva implicației p → q?
- Care este negația afirmației „Toți studenții au predat proiectul”?
- Care este negația afirmației „Există un număr x cu proprietatea P”?
- Câte linii are tabelul de adevăr complet pentru trei variabile propoziționale?
- Toate întrebările și răspunsurile la Logică computațională