Logische implicatie

Uit Wikipedia, de vrije encyclopedie

Ga naar: navigatie, zoeken

De logische implicatie is in de propositielogica 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: P \rightarrow Q.

P \rightarrow Q is overigens semantisch equivalent aan ¬P ∨ Q.

De waarheidstabel van de implicatie is als volgt:

P Q P → Q
waar waar waar
waar onwaar onwaar
onwaar waar waar
onwaar onwaar waar

[bewerk] Samenstelling van implicaties

De constructie P \rightarrow Q \rightarrow R dient gelezen te worden als P \rightarrow (Q \rightarrow R).

 
Persoonlijke instellingen