Logische implicatie: verschil tussen versies

Uit Wikipedia, de vrije encyclopedie
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
| onwaar || onwaar || waar
| waar || waar || waar
|- align=center
| onwaar || waar || waar
|- align=center
|- align=center
| waar || onwaar || onwaar
| waar || onwaar || onwaar
|- align=center
|- align=center
| waar || waar || waar
| onwaar || waar || waar
|- align=center
| onwaar || onwaar || 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.

Zie ook