Als proposities p en q equivalent zijn, ze zijn beide waar of beide onwaar, dat wil zeggen, ze hebben allebei dezelfde waarheidswaarde. Een tautologie is een bewering die altijd waar is. Een tegenstrijdigheid is een bewering die altijd onjuist is.
Wat betekent P-> Q?
p → q (p impliceert q) (als p dan q) is de propositie die onwaar is als p waar is en q onwaar en anders waar is.
Wat is logisch equivalent aan P → Q?
P→Q is logisch gelijk aan ¬P∨Q. … Voorbeeld: “Als een getal een veelvoud van 4 is, dan is het even” is gelijk aan, “een getal is geen veelvoud van 4 of (anders) is het even.”
Wat is P alleen als Q?
Alleen als een noodzakelijke voorwaarde introduceert: P alleen als Q betekent dat de waarheid van Q noodzakelijk of vereist is om P waar te maken. Dat wil zeggen, P alleen als Q slechts één mogelijkheid uitsluit: dat P waar is en Q onwaar.
Wanneer de voorwaardelijke p → q onwaar is?
Laat p en q twee uitspraken zijn, dan is "als p dan q" een samengestelde instructie, aangeduid met p→ q en een voorwaardelijke instructie of implicatie genoemd. De implicatie p→ q is alleen onwaar als p waar is, en q is onwaar; anders is het altijd waar.
