⇒ → ⊃ ⇔ ↔ ¬ ˜ ∧
∨
are distribuţia probabilitate D. statistică implicaţie A ⇒ B înseamnă că dacă A implică; dacă .. este adevărată, atunci şi B este adevărată; în caz că A atunci este falsă, nu se poate spune nimic despre B.
x = 2 ⇒ x2 = 4 este adevărată, → poate însemna acelaşi dar x2 = 4 ⇒ x = 2 este în lucru ca şi ⇒ sau poate avea general falsă (deoarece x logică sensul pentru funcţii descris poate fi −2, dacă domeniul studiat permite). propoziţională mai jos. ⊃ poate însemna acelaşi lucru ca şi ⇒ sau poate avea sensul de supramulţime descris mai jos.
echivalenţă dacă şi numai dacă (dnd); A ⇔ B înseamnă că A şi B au x + 5 = y +2 ⇔ x + 3 = y echivalent cu aceleaşi valori de adevăr. logică propoziţională negaţie logică Propoziţia ¬A este adevărată dacă şi numai dacă A este non falsă. ¬(¬A) ⇔ A x ≠ y ⇔ ¬(x = y) logică O bară oblică ce taie un propoziţională operator reprezintă acelaşi lucru ca şi "¬" scris în faţă. conjuncţie logică sau infimum întrPropoziţia A ∧ B este o latice adevărată dacă A şi B sunt n < 4 ∧ n >2 ⇔ n = 3 dacă şi ambele adevărate; altfel este n este număr natural. logică falsă. propoziţională, teoria laticelor
disjuncţie logică sau supremum Propoziţia A ∨ B este într-o latice adevărată dacă A sau B (sau n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 dacă n sau ambele) sunt adevărate; altfel este număr natural. logică este falsă. propoziţională, teoria laticelor sau exclusiv Afirmaţia A ⊕ B este (¬A) ⊕ A este mereu