PieterBots: Nieuwe pagina aangemaakt met '{| class="wikitable" |- ! Symbool ! Naam ! Spreek je uit als ! Uitleg ! Voorbeelden |- | align=center|
⇒
| align=center|Implicat...'

2020-11-04T16:51:57Z

Nieuwe pagina aangemaakt met '{| class="wikitable" |- ! Symbool ! Naam ! Spreek je uit als ! Uitleg ! Voorbeelden |- | align=center|<div style="font-size:200%;">⇒</div> | align=center|Implicat...'

Nieuwe pagina

{| class="wikitable"
|-
! Symbool
! Naam
! Spreek je uit als
! Uitleg
! Voorbeelden
|-
| align=center|<div style="font-size:200%;">⇒</div>
| align=center|Implicatie
| align=center|impliceert;<br />als ... dan ...
| De bewering ''A'' ⇒ ''B'' is alleen onwaar als ''A'' waar is, en ''B'' onwaar.
| ''x'' = 2  ⇒  ''x''<sup>2</sup> = 4 is waar, maar ''x''<sup>2</sup> = 4  ⇒  ''x'' = 2 is in het algemeen onwaar (want ''x'' zou −2 kunnen zijn).
|-
| align=center|<div style="font-size:200%;">⇔</div>
| align=center|Equivalentie
| align=center|dan en slechts dan als;<br />betekent hetzelfde als
| De bewering ''A'' ⇔ ''B'' is alleen waar als ''A'' en ''B'' beide waar zijn, of als ''A'' en ''B'' beide onwaar zijn.
| ''x'' + 5 = ''y'' + 2  ⇔  ''x'' + 3 = ''y''
|-
| align=center|<div style="font-size:200%;">¬</div>
| align=center|Ontkenning
| align=center|niet
| De bewering ¬''A'' is waar dan en slechts dan als ''A'' onwaar is. <br/> Een / door een andere operator heen betekent hetzelfde als ¬ ervoor.
| ¬(¬''A'') ⇔ ''A'' <br/> ''x'' ≠ ''y''  ⇔  ¬(''x'' = ''y'')
|-
| align=center|<div style="font-size:200%;">∧</div>
| align=center|Conjunctie
| align=center|en
| De bewering ''A'' ∧ ''B'' is waar als ''A'' en ''B'' beide waar zijn; anders is hij onwaar.
| ''n'' < 4  ∧  ''n'' > 2  ⇔  ''n'' = 3 indien ''n'' ∈ ℕ.
|-
| align=center|<div style="font-size:200%;">∨</div>
| align=center|Disjunctie
| align=center|of
| De bewering ''A'' ∨ ''B'' is waar als ''A'' of ''B'' (of beide) waar zijn; als beide onwaar zijn, is de bewering onwaar.
| ''n'' ≥ 4  ∨  ''n'' ≤ 2  ⇔ ''n'' ≠ 3 indien ''n'' ∈ ℕ.
|-
| align=center|<div style="font-size:200%;">∀</div>
| align=center|Universele kwantor
| align=center|voor alle
| ∀ ''x'': ''P''(''x'') betekent dat ''P''(''x'') waar is voor alle ''x''.
| ∀ ''n'' ∈ ℕ: ''n''<sup>2</sup> ≥ ''n''.
|-
| align=center|<div style="font-size:200%;">∃</div>
| align=center|Existentiële kwantor
| align=center|er is een
| ∃ ''x'': ''P''(''x'') betekent dat er ten minste één ''x'' bestaat zodanig dat ''P''(''x'') waar is.
| ∃ ''n'' ∈ ℕ: ''n''<sup>2</sup> = 4.
|-
| align=center|<div style="font-size:200%;">()</div>
| align=center|Precedentie
| align=center|tussen haakjes
| Bewerkingen binnen haakjes moeten eerst worden uitgevoerd.
| (8 ÷ 4) ÷ 2 = 2 ÷ 2 = 1, maar 8 ÷ (4 ÷ 2) = 8 ÷ 2 = 4.

|-
|}
<noinclude>
==Zie ook==
* [[Booleaanse algebra]]
* [[Oefeningen:Logische symbolen]]

[[Categorie:Notaties]]
</noinclude>

Logische symbolen - Bewerkingsoverzicht

PieterBots: Nieuwe pagina aangemaakt met '{| class="wikitable" |- ! Symbool ! Naam ! Spreek je uit als ! Uitleg ! Voorbeelden |- | align=center|⇒ | align=center|Implicat...'

PieterBots: Nieuwe pagina aangemaakt met '{| class="wikitable" |- ! Symbool ! Naam ! Spreek je uit als ! Uitleg ! Voorbeelden |- | align=center|
⇒
| align=center|Implicat...'