https://sysmod.tbm.tudelft.nl/wiki/index.php?action=history&feed=atom&title=Logische_symbolen 2026-08-01T23:51:37Z Bewerkingsoverzicht voor deze pagina op de wiki MediaWiki 1.45.3 https://sysmod.tbm.tudelft.nl/wiki/index.php?title=Logische_symbolen&diff=51&oldid=prev 2020-11-04T16:51:57Z

<p>Nieuwe pagina aangemaakt met &#039;{| class=&quot;wikitable&quot; |- ! Symbool ! Naam ! Spreek je uit als ! Uitleg ! Voorbeelden |- | align=center|&lt;div style=&quot;font-size:200%;&quot;&gt;⇒&lt;/div&gt; | align=center|Implicat...&#039;</p> <p><b>Nieuwe pagina</b></p><div>{| class=&quot;wikitable&quot;<br /> |-<br /> ! Symbool<br /> ! Naam<br /> ! Spreek je uit als<br /> ! Uitleg<br /> ! Voorbeelden<br /> |-<br /> | align=center|&lt;div style=&quot;font-size:200%;&quot;&gt;⇒&lt;/div&gt;<br /> | align=center|Implicatie<br /> | align=center|impliceert;&lt;br /&gt;als ... dan ...<br /> | De bewering &#039;&#039;A&#039;&#039; ⇒ &#039;&#039;B&#039;&#039; is alleen onwaar als &#039;&#039;A&#039;&#039; waar is, en &#039;&#039;B&#039;&#039; onwaar.<br /> | &#039;&#039;x&#039;&#039; = 2&amp;nbsp;&amp;nbsp;⇒&amp;nbsp; &#039;&#039;x&#039;&#039;&lt;sup&gt;2&lt;/sup&gt; = 4 is waar, maar &#039;&#039;x&#039;&#039;&lt;sup&gt;2&lt;/sup&gt; = 4&amp;nbsp;&amp;nbsp;⇒&amp;nbsp;&amp;nbsp;&#039;&#039;x&#039;&#039; = 2 is in het algemeen onwaar (want &#039;&#039;x&#039;&#039; zou −2 kunnen zijn).<br /> |-<br /> | align=center|&lt;div style=&quot;font-size:200%;&quot;&gt;⇔&lt;/div&gt;<br /> | align=center|Equivalentie<br /> | align=center|dan en slechts&amp;nbsp;dan als;&lt;br /&gt;betekent hetzelfde&amp;nbsp;als<br /> | De bewering &#039;&#039;A&#039;&#039;&amp;nbsp;⇔ &#039;&#039;B&#039;&#039; is alleen waar als &#039;&#039;A&#039;&#039; en &#039;&#039;B&#039;&#039; beide waar zijn, of als &#039;&#039;A&#039;&#039; en &#039;&#039;B&#039;&#039; beide onwaar zijn.<br /> | &#039;&#039;x&#039;&#039;&amp;nbsp;+&amp;nbsp;5&amp;nbsp;=&amp;nbsp;&#039;&#039;y&#039;&#039;&amp;nbsp;+&amp;nbsp;2&amp;nbsp;&amp;nbsp;⇔&amp;nbsp;&amp;nbsp;&#039;&#039;x&#039;&#039;&amp;nbsp;+&amp;nbsp;3&amp;nbsp;= &#039;&#039;y&#039;&#039;<br /> |-<br /> | align=center|&lt;div style=&quot;font-size:200%;&quot;&gt;¬&lt;/div&gt;<br /> | align=center|Ontkenning<br /> | align=center|niet<br /> | De bewering ¬&#039;&#039;A&#039;&#039; is waar dan en slechts dan als &#039;&#039;A&#039;&#039; onwaar is. &lt;br/&gt; Een / door een andere operator heen betekent hetzelfde als ¬ ervoor.<br /> | ¬(¬&#039;&#039;A&#039;&#039;)&amp;nbsp;⇔ &#039;&#039;A&#039;&#039; &lt;br/&gt; &#039;&#039;x&#039;&#039;&amp;nbsp;≠&amp;nbsp;&#039;&#039;y&#039;&#039;&amp;nbsp;&amp;nbsp;⇔&amp;nbsp; ¬(&#039;&#039;x&#039;&#039;&amp;nbsp;=&amp;nbsp;&#039;&#039;y&#039;&#039;)<br /> |-<br /> | align=center|&lt;div style=&quot;font-size:200%;&quot;&gt;∧&lt;/div&gt;<br /> | align=center|Conjunctie<br /> | align=center|en<br /> | De bewering &#039;&#039;A&#039;&#039; ∧ &#039;&#039;B&#039;&#039; is waar als &#039;&#039;A&#039;&#039; en &#039;&#039;B&#039;&#039; beide waar zijn; anders is hij onwaar.<br /> | &#039;&#039;n&#039;&#039;&amp;nbsp;&lt; 4&amp;nbsp;&amp;nbsp;∧&amp;nbsp; &#039;&#039;n&#039;&#039;&amp;nbsp;&gt;&amp;nbsp;2&amp;nbsp;&amp;nbsp;⇔&amp;nbsp; &#039;&#039;n&#039;&#039;&amp;nbsp;= 3 indien &#039;&#039;n&#039;&#039; &amp;isin; &amp;#x2115;.<br /> |-<br /> | align=center|&lt;div style=&quot;font-size:200%;&quot;&gt;∨&lt;/div&gt;<br /> | align=center|Disjunctie<br /> | align=center|of<br /> | De bewering &#039;&#039;A&#039;&#039; ∨ &#039;&#039;B&#039;&#039; is waar als &#039;&#039;A&#039;&#039; of &#039;&#039;B&#039;&#039; (of beide) waar zijn; als beide onwaar zijn, is de bewering onwaar.<br /> | &#039;&#039;n&#039;&#039;&amp;nbsp;≥ 4&amp;nbsp;&amp;nbsp;∨&amp;nbsp; &#039;&#039;n&#039;&#039;&amp;nbsp;≤ 2&amp;nbsp;&amp;nbsp;⇔ &#039;&#039;n&#039;&#039;&amp;nbsp;≠ 3 indien &#039;&#039;n&#039;&#039; &amp;isin; &amp;#x2115;.<br /> |-<br /> | align=center|&lt;div style=&quot;font-size:200%;&quot;&gt;∀&lt;/div&gt;<br /> | align=center|Universele kwantor<br /> | align=center|voor alle<br /> | ∀&amp;nbsp;&#039;&#039;x&#039;&#039;:&amp;nbsp;&#039;&#039;P&#039;&#039;(&#039;&#039;x&#039;&#039;) betekent dat &#039;&#039;P&#039;&#039;(&#039;&#039;x&#039;&#039;) waar is voor alle &#039;&#039;x&#039;&#039;.<br /> | ∀&amp;nbsp;&#039;&#039;n&#039;&#039;&amp;nbsp;∈ &amp;#x2115;: &#039;&#039;n&#039;&#039;&lt;sup&gt;2&lt;/sup&gt;&amp;nbsp;≥ &#039;&#039;n&#039;&#039;.<br /> |-<br /> | align=center|&lt;div style=&quot;font-size:200%;&quot;&gt;∃&lt;/div&gt;<br /> | align=center|Existentiële kwantor<br /> | align=center|er is een<br /> | ∃&amp;nbsp;&#039;&#039;x&#039;&#039;: &#039;&#039;P&#039;&#039;(&#039;&#039;x&#039;&#039;) betekent dat er ten minste één &#039;&#039;x&#039;&#039; bestaat zodanig dat &#039;&#039;P&#039;&#039;(&#039;&#039;x&#039;&#039;) waar is.<br /> | ∃&amp;nbsp;&#039;&#039;n&#039;&#039;&amp;nbsp;∈ &amp;#x2115;: &#039;&#039;n&#039;&#039;&lt;sup&gt;2&lt;/sup&gt; = 4.<br /> |-<br /> | align=center|&lt;div style=&quot;font-size:200%;&quot;&gt;()&lt;/div&gt;<br /> | align=center|Precedentie<br /> | align=center|tussen haakjes<br /> | Bewerkingen binnen haakjes moeten eerst worden uitgevoerd.<br /> | (8 ÷ 4) ÷ 2&amp;nbsp;= 2 ÷ 2&amp;nbsp;= 1, maar 8 ÷ (4 ÷ 2)&amp;nbsp;= 8 ÷ 2&amp;nbsp;= 4.<br /> <br /> |-<br /> |}<br /> &lt;noinclude&gt;<br /> ==Zie ook==<br /> * [[Booleaanse algebra]]<br /> * [[Oefeningen:Logische symbolen]]<br /> <br /> [[Categorie:Notaties]]<br /> &lt;/noinclude&gt;</div>

PieterBots