Versie van 30 jan 2011 21:13 (bewerken) Bob.v.R (overleg \| bijdragen) k (vierkantje vervangen door leesbaar symbool voor de mathematische 'or') ← Oudere bewerking		Versie van 30 jan 2011 21:16 (bewerken) (ongedaan maken) Bob.v.R (overleg \| bijdragen) k (tilde vervangen door \neg) Nieuwere bewerking →
\|} Een logische implicatie ''<math>\scriptstyle P'' →\rightarrow ''Q''</math> is [[Logische equivalentie\|logisch equivalent]] aan <math>\scriptstyle ~\neg P \lor Q</math>. Dit wil zeggen dat beide formules dezelfde [[waarheidswaarde]] hebben voor alle mogelijke toekenningen van waar en onwaar aan ''P'' en ''Q''. Hierna worden de logische gevolgtrekking en aanverwante logische bewerkingen uitvoerig behandeld.

Logische implicatie: verschil tussen versies

Logische implicatie (bewerken)