Logische implicatie: verschil tussen versies

695 bytes toegevoegd ,  11 jaar geleden
(nuancering, plus het kopje gedowngrade; het heeft slechts betrekking op het tweede onderwerp dat iemand hier ten tonele voerde, en dus niet op het hoofdonderwerp)
 
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.
== EenzijdigeLinkse linkseeenzijdige uitsluiting ==
* Een met de logische gevolgtrekking verwante logische bewerking is de "eenzijdige linkse eenzijdige 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;" |
|}
|}
Het is dus de negatie van de 'logische gevolgtrekking' <math>_{p \rightarrow q\,}\!</math>.
 
* Een mooi voorbeeld is de zin "Het regent <math>_{NIET\ MAAR}\!</math> ik ben <math>_{WEL}\!</math> binnen" waarmee verzekerd wordt dat van beide delen voor en na de voegwoorden "niet maar" het eerste '''uitgesloten, vals, niet waar''' is en het tweede '''ingesloten, waar, niet vals''' is: dus dat het ''niet'' regent, en dat ik ''wel'' binnen ben. Logisch gezien zou men dit kort voorstellen door "<math>_{q}\!</math>" te gebruiken voor de bewering "Het regent", "<math>_{p}\!</math>" voor de bewering "Ik ben binnen" , en "<math>_{q \tilde{\leftarrow} p}\!</math>" voor de samengestelde bewering "Het regent <math>_{NIET\ MAAR}\!</math> ik ben <math>_{WEL}\!</math> binnen".
Etymologie: ''eenzijdige linkse uitsluiting'' is geen gangbare naam voor deze weinig beschreven bewerking, maar sluit wel enigszins aan bij de betekenis ervan.
 
* Etymologie: ''eenzijdige linkse eenzijdige uitsluiting'' is geen gangbare naam voor deze weinig beschreven bewerking, maar sluit wel enigszins aan bij de betekenis ervan.
 
== Zie ook ==
953

bewerkingen