Ha a p és a q állítás ekvivalens, mindkettő igaz vagy hamis, azaz mindkettőnek ugyanaz az igazságértéke. A tautológia egy olyan állítás, amely mindig igaz. Az ellentmondás olyan állítás, amely mindig hamis.
Mit jelent a P -> Q?
p → q (p q-t jelent) (ha p, akkor q) az az állítás, amely hamis, ha p igaz, és q hamis, egyébként igaz.
Mi egyenértékű logikailag a P → Q-val?
P→Q logikailag egyenértékű a ¬P∨Q-val. … Példa: „Ha egy szám többszöröse 4-nek, akkor páros” egyenértékű azzal, hogy „egy szám nem többszöröse 4-nek, vagy (egyébként) páros.”
Mi az a P, ha Q?
Csak ha bevezeti a egy szükséges feltételt: P csak akkor, ha Q azt jelenti, hogy Q igazsága szükséges vagy szükséges ahhoz, hogy P igaz legyen. Vagyis P csak akkor, ha Q csak egy lehetőséget zár ki: hogy P igaz és Q hamis.
Ha a p → q feltételes hamis?
Legyen p és q két állítás, akkor "ha p, akkor q" egy összetett állítás, amelyet p→ q jelöl, és feltételes állításként vagy implikációként hivatkozik rájuk. A p→ q implikáció csak akkor hamis, ha p igaz, és q hamis; egyébként mindig igaz.
