Logische implicatie: verschil tussen versies

938 bytes toegevoegd ,  11 jaar geleden
Een logische implicatie <math>P \rightarrow Q</math> is [[Logische equivalentie|logisch equivalent]] aan ¬P ∨ Q. Dit wil zeggen dat beide formules dezelfde [[waarheidswaarde]] hebben voor alle mogelijke toekenningen van waar en onwaar aan P en Q.
== Linkse eenzijdige uitsluiting ==
* Een met de logische gevolgtrekking verwante logische bewerking is de "linkse eenzijdige uitsluiting" "<math>_{q \tilde{\leftarrow} p}\!</math>", ook aan te geven samengesteld als <math>_{\neg (p \rightarrow q)\,}\!</math> of ook bijvoorbeeld als <math>_{\sim (q \leftarrow p)\,}\!</math>, met de volgende [[waarheidstabel]]:
{| class="wikitable" style="border:none; background:transparent;text-align:center;"
|style="border:none;" |
|}
| style="border:none;" |of ook
|style="border:none;" |
{| class="wikitable" style="border:none; background:transparent;text-align:center;"
| <math>_{q}\!</math>
| <math>_{p}\!</math>
| <math>_{q \tilde{\leftarrow} p}\!</math>
|-
! <math>_{V}\!</math>
! <math>_{V}\!</math>
| style="background-color:#DDFFDD"| <math>_{V}\!</math>
|-
! style="color:#222244;"|<math>_{V}\!</math>
! <math>_{W}\!</math>
| style="background-color:#DDFFDD"| <math>_{W}\!</math>
|-
! <math>_{W}\!</math>
! <math>_{V}\!</math>
| style="background-color:#DDFFDD"| <math>_{V}\!</math>
|-
! <math>_{W}\!</math>
! <math>_{W}\!</math>
| style="background-color:#DDFFDD"| <math>_{V}\!</math>
|-
|}
| style="border:none;" |of nog
|style="border:none;" |
{| class="wikitable" style="border:none; background:transparent;text-align:center;"
|-
|}
|-
| style="border:none;" |''(Engels: True en False)''
| style="border:none;" |
| style="border:none;" |''(Waar en Onwaar)''
| style="border:none;" |
| style="border:none;" |''(Eén en Nul)''
|}
Het is dus de negatie van de 'logische gevolgtrekking' <math>_{p \rightarrow q\,}\!</math>.
953

bewerkingen