Logische implicatie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
→Eenzijdige linkse uitsluiting: consequent T en F, plus enige toelichtende bijvoegingen |
||
Regel 18: | Regel 18: | ||
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. |
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 == |
== Eenzijdige linkse uitsluiting == |
||
* Een met de logische gevolgtrekking verwante logische bewerking is de "eenzijdige linkse uitsluiting" <math>_{q \tilde{\leftarrow} p}\!</math> met volgende [[waarheidstabel]]: |
* 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;" |
{| class="wikitable" style="border:none; background:transparent;text-align:center;" |
||
|style="border:none;" | |
|style="border:none;" | |
||
Regel 26: | Regel 26: | ||
| <math>_{q \tilde{\leftarrow} p}\!</math> |
| <math>_{q \tilde{\leftarrow} p}\!</math> |
||
|- |
|- |
||
! <math>_{ |
! <math>_{F}\!</math> |
||
! <math>_{ |
! <math>_{F}\!</math> |
||
| style="background-color:#DDFFDD"| <math>_{ |
| style="background-color:#DDFFDD"| <math>_{F}\!</math> |
||
|- |
|- |
||
! style="color:#222244;"|<math>_{ |
! style="color:#222244;"|<math>_{F}\!</math> |
||
! <math>_{ |
! <math>_{T}\!</math> |
||
| style="background-color:#DDFFDD"| <math>_{ |
| style="background-color:#DDFFDD"| <math>_{T}\!</math> |
||
|- |
|- |
||
! <math>_{ |
! <math>_{T}\!</math> |
||
! <math>_{ |
! <math>_{F}\!</math> |
||
| style="background-color:#DDFFDD"| <math>_{ |
| style="background-color:#DDFFDD"| <math>_{F}\!</math> |
||
|- |
|- |
||
! <math>_{ |
! <math>_{T}\!</math> |
||
! <math>_{ |
! <math>_{T}\!</math> |
||
| style="background-color:#DDFFDD"| <math>_{ |
| style="background-color:#DDFFDD"| <math>_{F}\!</math> |
||
|- |
|- |
||
|} |
|} |
||
Regel 68: | Regel 68: | ||
|} |
|} |
||
|} |
|} |
||
Het is dus de negatie van de 'logische gevolgtrekking' <math>p \rightarrow q\,</math>. |
|||
==Etymologie== |
==Etymologie== |
||
* ''eenzijdige linkse uitsluiting'' is geen gangbare naam voor deze weinig beschreven bewerking, maar sluit wel goed aan met de betekenis ervan. |
* ''eenzijdige linkse uitsluiting'' is geen gangbare naam voor deze weinig beschreven bewerking, maar sluit wel goed aan met de betekenis ervan. |
Versie van 9 dec 2010 03:40
De logische implicatie is in de logica een bewering die stelt dat als P waar is, Q ook waar is. Deze bewering is alleen onwaar als het antecedent P waar is en het consequent Q onwaar is. Het wordt aangegeven met een pijl van P naar Q, zoals dit: . De constructie dient gelezen te worden als .
De waarheidstabel van de implicatie is als volgt:
P | Q | P → Q |
---|---|---|
waar | waar | waar |
waar | onwaar | onwaar |
onwaar | waar | waar |
onwaar | onwaar | waar |
Een logische implicatie is 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" , ook aan te geven als , met de volgende waarheidstabel:
|
of ook |
|
Het is dus de negatie van de 'logische gevolgtrekking' .
Etymologie
- eenzijdige linkse uitsluiting is geen gangbare naam voor deze weinig beschreven bewerking, maar sluit wel goed aan met de betekenis ervan.