Logische implicatie: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting |
k Wijzigingen door 77.160.112.82 (Overleg) hersteld tot de laatste versie door Simeon |
||
Regel 6: | Regel 6: | ||
! P !! Q !! P → Q |
! P !! Q !! P → Q |
||
|- align=center |
|- align=center |
||
| |
| waar || waar || waar |
||
⚫ | |||
⚫ | |||
|- align=center |
|- align=center |
||
| waar || onwaar || onwaar |
| waar || onwaar || onwaar |
||
|- align=center |
|- align=center |
||
| |
| onwaar || waar || waar |
||
⚫ | |||
⚫ | |||
|} |
|} |
||
Versie van 6 jan 2010 12:01
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.