Logische implicatie: verschil tussen versies

29 bytes toegevoegd ,  11 jaar geleden
k
tilde vervangen door \neg
k (vierkantje vervangen door leesbaar symbool voor de mathematische 'or')
k (tilde vervangen door \neg)
|}
 
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.
58.902

bewerkingen