As proposisies p en q ekwivalent is, , is hulle albei waar of albei onwaar, dit wil sê, hulle het albei dieselfde waarheidswaarde. 'n Tautologie is 'n stelling wat altyd waar is. 'n Teenstrydigheid is 'n stelling wat altyd vals is.
Wat beteken P -> Q?
p → q (p impliseer q) (as p dan q) is die proposisie wat onwaar is wanneer p waar is en q onwaar en andersins waar.
Wat is logies gelykstaande aan P → V?
P→Q is logies gelykstaande aan ¬P∨Q. … Voorbeeld: "As 'n getal 'n veelvoud van 4 is, dan is dit ewe" is gelykstaande aan, "'n getal is nie 'n veelvoud van 4 nie of (anders) is dit ewe. "
Wat is P net as V?
Slegs as stel 'n noodsaaklike voorwaarde in: P slegs as Q beteken dat die waarheid van Q nodig is, of vereis word, sodat P waar kan wees. Dit wil sê, P slegs as Q net een moontlikheid uitsluit: dat P waar is en Q onwaar is.
Wanneer die voorwaardelike p → q vals is?
Laat p en q twee stellings is, dan is "as p dan q" 'n saamgestelde stelling, aangedui deur p→ q en verwys as 'n voorwaardelike stelling, of implikasie. Die implikasie p→ q is slegs onwaar wanneer p waar is, en q is onwaar; anders is dit altyd waar.
