Ce este o contradicție logică?
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.O formulă falsă pentru orice atribuire a valorilor variabilelor✓ Corect
- B.O formulă mereu adevărată
- C.Orice implicație
- D.Orice propoziție cu două variabile
Răspuns corect: A – O formulă falsă pentru orice atribuire a valorilor variabilelor
Explicație
O contradicție nu admite o atribuire care să o facă 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ă
- 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?
- Ce valoare are NU (NU p) în logica clasică?
- Toate întrebările și răspunsurile la Logică computațională