Logische implicatie: verschil tussen versies

Naar navigatie springen Naar zoeken springen
152 bytes toegevoegd ,  11 jaar geleden
→‎Eenzijdige linkse uitsluiting: consequent T en F, plus enige toelichtende bijvoegingen
Geen bewerkingssamenvatting
(→‎Eenzijdige linkse uitsluiting: consequent T en F, plus enige toelichtende bijvoegingen)
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.
== Eenzijdige linkse uitsluiting ==
* Een met de logische gevolgtrekking verwante logische bewerking is de "eenzijdige linkse uitsluiting" <math>_{q \tilde{\leftarrow} p}\!</math>, ook aan te geven als <math>\neg (p \rightarrow q)\,</math>, met de volgende [[waarheidstabel]]:
{| class="wikitable" style="border:none; background:transparent;text-align:center;"
|style="border:none;" |
| <math>_{q \tilde{\leftarrow} p}\!</math>
|-
! <math>_{VF}\!</math>
! <math>_{VF}\!</math>
| style="background-color:#DDFFDD"| <math>_{VF}\!</math>
|-
! style="color:#222244;"|<math>_{VF}\!</math>
! <math>_{WT}\!</math>
| style="background-color:#DDFFDD"| <math>_{WT}\!</math>
|-
! <math>_{WT}\!</math>
! <math>_{VF}\!</math>
| style="background-color:#DDFFDD"| <math>_{VF}\!</math>
|-
! <math>_{WT}\!</math>
! <math>_{WT}\!</math>
| style="background-color:#DDFFDD"| <math>_{VF}\!</math>
|-
|}
|}
|}
Het is dus de negatie van de 'logische gevolgtrekking' <math>p \rightarrow q\,</math>.
 
==Etymologie==
* ''eenzijdige linkse uitsluiting'' is geen gangbare naam voor deze weinig beschreven bewerking, maar sluit wel goed aan met de betekenis ervan.
59.179

bewerkingen

Navigatiemenu