Logische implicatie: verschil tussen versies

3 bytes verwijderd ,  4 jaar geleden
notatie
(knip)
(notatie)
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%"
! 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
|}
 
58.884

bewerkingen