Dacă propozițiile p și q sunt echivalente, ambele sunt adevărate sau ambele false, adică ambele au aceeași valoare de adevăr. O tautologie este o afirmație care este întotdeauna adevărată. O contradicție este o afirmație care este întotdeauna falsă.
Ce înseamnă P -> Q?
p → q (p implică q) (dacă p, atunci q) este propoziția care este falsă atunci când p este adevărat și q este fals și adevărat în caz contrar.
Ce este echivalent logic cu P → Q?
P→Q este echivalent logic cu ¬P∨Q. … Exemplu: „Dacă un număr este un multiplu al lui 4, atunci este par” este echivalent cu „un număr nu este un multiplu al lui 4 sau (altfel) este par.”
Ce este P numai dacă Q?
Numai dacă introduce o condiție necesară: P numai dacă Q înseamnă că adevărul lui Q este necesar, sau necesar, pentru ca P să fie adevărat. Adică, P numai dacă Q exclude o singură posibilitate: că P este adevărat și Q este fals.
Când condiționalul p → q este fals?
Fie p și q sunt două declarații, atunci „dacă p, atunci q” este o declarație compusă, notat cu p→ q și referit ca o declarație condiționată, sau implicație. Implicația p→ q este falsă numai atunci când p este adevărat și q este fals; în caz contrar, este întotdeauna adevărat.