Waarheidstabel: verschil tussen versies

Verwijderde inhoud Toegevoegde inhoud
Madyno (overleg | bijdragen)
Madyno (overleg | bijdragen)
Geen bewerkingssamenvatting
Regel 11:
Logisch waar is onafhankelijk van het argument altijd waar:
:{| class="wikitable" style="margin:1em auto; text-align:center;"
! style="width:80px" | ''p''
! style="width:80px" | <span class="texhtml">''T''</span>
|-
| T || T
|-
| style="background:papayawhip" | F || T
|}
<!--
{| class="wikitable" style="text-align:center;"
! style="width:6em" | ''p''
! style="width:6em" | ''T''
Regel 28 ⟶ 19:
| style="background:papayawhip" | F || T
|}
-->
 
=== Logisch onwaar ===
Logisch onwaar is onafhankelijk van het argument altijd onwaar:
:{| class="wikitable" style="margin:1em auto; text-align:center;"
! style="width:80px6em" | ''p''
! style="width:80px6em" | <span class="texhtml">''FT''</span>
|-
| T || style="background:papayawhip" | F
Regel 45 ⟶ 35:
Bij de [[Identieke afbeelding|logische identiteit]] is de teruggegeven waarde altijd gelijk aan de waarde van het argument.
 
:{| class="wikitable" style="margin:1em auto; text-align:center;"
! style="width:80px6em" | ''p''
! style="width:80px6em" | <span class="texhtml">''pT''</span>
|-
| T || T
Regel 57 ⟶ 47:
Bij de [[Logische negatie|negatie]] (¬) is de teruggegeven waarde altijd het tegengestelde van de waarde van het argument. Men spreekt (¬ P) uit als "niet P".
 
:{| class="wikitable" style="margin:1em auto; text-align:center;"
! style="width:80px6em" | ''p''
! style="width:80px6em" | <span class="texhtml">''¬pT''</span>
|-
| T || style="background:papayawhip" | F