Dan en slechts dan als: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Geen bewerkingssamenvatting
Waarheidstabel hierheen gekopieerd.
Regel 4:
 
<math>P\Leftrightarrow Q</math> betekent: ''P'' is waar dan en slechts dan als ''Q'' waar is. Een andere manier om hetzelfde te zeggen is: óf ''P'' en ''Q'' zijn allebei waar, óf ''P'' en ''Q'' zijn allebei onwaar.
 
== Waarheidstabel ==
 
De waarheidstabel voor de bi-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''
! style="width:30%"| ''q'' !! style="width:1%; background:#e0e0f8"|
! style="width:30%"| ''p'' ↔ ''q''
|-
| T || T || style="background:#e0e0f8"| || T
|-
| T || style="background:papayawhip"| F || style="background:#e0e0f8"|
| style="background:papayawhip"| F
|-
| style="background:papayawhip"| F || T || style="background:#e0e0f8"|
| style="background:papayawhip"| F
|-
| style="background:papayawhip"| F || style="background:papayawhip"| F
| style="background:#e0e0f8"| || T
|}
 
== Voorbeeld ==