Operații logice și formule propoziționale
Conjuncția $p \land q$ este adevărată doar când ambele propoziții sunt adevărate. De exemplu, propoziția "2 divide 8 și 15 este mai mare decât 9" este adevărată pentru că ambele componente sunt adevărate.
Implicația $p \implies q$ exprimă o relație de tipul "dacă..., atunci...". Este falsă doar când prima propoziție (antecedentul) este adevărată și a doua (consecventul) este falsă. În toate celelalte cazuri, implicația este adevărată.
Echivalența $p \iff q$ arată că două propoziții au aceeași valoare de adevăr. Este adevărată când ambele propoziții sunt adevărate sau când ambele sunt false.
💡 Util de reținut: În viața de zi cu zi, conjuncția corespunde cuvântului "și", implicația corespunde expresiei "dacă..., atunci...", iar echivalența înseamnă "dacă și numai dacă".
Cu acești conectori logici $\land, \lor, \implies, \iff$ putem construi formule ale calculului propozițional. Două formule sunt echivalente când au aceeași valoare de adevăr, iar o formulă care este mereu adevărată, indiferent de valorile propozițiilor componente, se numește tautologie.