Implicația, Echivalența și Predicatele
Implicația propozițiilor p și q este notată p→q și se citește "p implică q". Această operație este falsă doar în cazul în care p este adevărat și q este fals. Implicația apare frecvent în matematică sub forma "dacă..., atunci...".
Echivalența propozițiilor p și q, notată p↔q, se citește "p echivalent cu q". Este adevărată doar când ambele propoziții au aceeași valoare de adevăr (ambele adevărate sau ambele false).
O formulă propozițională care are întotdeauna valoarea adevărat, indiferent de valorile propozițiilor componente, se numește tautologie sau formulă identic adevărată.
Predicatul este un enunț care depinde de una sau mai multe variabile și care devine o propoziție (adevărată sau falsă) pentru fiecare grup de valori atribuite variabilelor. Predicatele pot fi cuantificate universal folosind simbolul ∀.
⭐ Pont util: Implicația p→q este echivalentă cu ¬p∨q, ceea ce înseamnă că "dacă p, atunci q" poate fi rescris ca "non-p sau q" - acest truc te va ajuta la rezolvarea exercițiilor!