Logische implicatie: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
knip
notatie
Regel 4:
De implicatie wordt aangegeven met een pijl. "''Als'' ''P'' ''dan'' ''Q''" wordt bijvoorbeeld geschreven als ''P'' → ''Q''. De samenstelling ''P'' → ''Q'' → ''R'' dient gelezen te worden als ''P'' → (''Q'' → ''R'').
 
De [[waarheidstabel]] van de implicatie is als volgt: <br>
(T = True = waar, F = False = onwaar)
 
{| class="wikitable" style="margin:1em auto; text-align:center; width:30%"
Regel 11 ⟶ 12:
! style="width:30%"| ''P'' → ''Q''
|-
| waarT || waarT || style="background:#e0e0f8"| || waarT
|-
| waarT || style="background:papayawhip"| onwaarF || style="background:#e0e0f8"|
| style="background:papayawhip"| onwaarF
|-
| style="background:papayawhip"| onwaarF || waarT || style="background:#e0e0f8"| || waarT
|-
| style="background:papayawhip"| onwaarF || style="background:papayawhip"| onwaarF
| style="background:#e0e0f8"| || waarT
|}