https://sysmod.tbm.tudelft.nl/wiki/index.php?action=history&feed=atom&title=Oefeningen%3ALogische_symbolen 2026-08-04T09:28:21Z Bewerkingsoverzicht voor deze pagina op de wiki MediaWiki 1.45.3 https://sysmod.tbm.tudelft.nl/wiki/index.php?title=Oefeningen:Logische_symbolen&diff=242&oldid=prev 2020-11-05T12:05:31Z

<p>Nieuwe pagina aangemaakt met &#039;<a href="/wiki/index.php?title=Speciaal:AllePaginas/Oefeningen:" title="Speciaal:AllePaginas/Oefeningen:">Oefeningen</a> bij het artikel <a href="/wiki/index.php?title=Logische_symbolen" title="Logische symbolen">Logische symbolen</a> ==Herhalingsvragen== # Wat is het symbool voor #* conjunctie #* disjunctie #* equ...&#039;</p> <p><b>Nieuwe pagina</b></p><div>[[Special:AllPages/Oefeningen:|Oefeningen]] bij het artikel [[Logische symbolen]]<br /> <br /> ==Herhalingsvragen==<br /> # Wat is het symbool voor<br /> #* conjunctie<br /> #* disjunctie<br /> #* equivalentie<br /> #* implicatie<br /> #* negatie (= ontkenning)<br /> # Hoe spreek je deze logische uitdrukking uit: &amp;forall;&amp;epsilon; &gt; 0 &amp;exist;&amp;delta; &gt; 0: &amp;forall;&#039;&#039;x&#039;&#039; (0 &lt; |&#039;&#039;x&#039;&#039; &amp;minus; &#039;&#039;c&#039;&#039;| &lt; &amp;delta; &amp;rArr; |&#039;&#039;f&#039;&#039;(&#039;&#039;x&#039;&#039;) &amp;minus; &#039;&#039;L&#039;&#039;| &lt; &amp;epsilon;)&lt;br/&gt;&#039;&#039;(dit is de formele definitie van wat in de wiskunde de limiet van een functie wordt genoemd)&#039;&#039;<br /> # Wat betekent de logische uitdrukking &#039;&#039;A&#039;&#039; &amp;hArr; &#039;&#039;B&#039;&#039; ?<br /> <br /> ==Meerkeuzevragen==<br /> &lt;ol&gt;<br /> &lt;onlyinclude&gt;<br /> &lt;includeonly&gt;<br /> ===[[Logische symbolen]]===<br /> &lt;/includeonly&gt;<br /> &lt;li&gt;Gegeven de volgende twee uitspraken:<br /> ::X: Deze weg is een snelweg.<br /> ::Y: Op deze weg mag gefietst worden.<br /> :Welke van de volgende beweringen is dan correct?<br /> {|<br /> | class=&quot;mcAc&quot; | X &amp;rArr; &amp;not;Y<br /> |-<br /> | class=&quot;mcBw&quot; | Y &amp;rArr; X<br /> |-<br /> | class=&quot;mcCw&quot; | X &amp;hArr; &amp;not;Y<br /> |-<br /> | class=&quot;mcDw&quot; | Y &amp;hArr; X<br /> |}<br /> &lt;/li&gt;<br /> &lt;/onlyinclude&gt;<br /> &lt;/ol&gt;<br /> <br /> ==Oefenopgaven==<br /> &lt;ol&gt;<br /> &lt;li&gt;Spreek elk van de volgende logische formules uit:<br /> {|<br /> | [[Relatie#Transitiviteit|(a)]] || &amp;forall; e&lt;sub&gt;1&lt;/sub&gt;, e&lt;sub&gt;2&lt;/sub&gt;, e&lt;sub&gt;3&lt;/sub&gt; &amp;isin; &#039;&#039;E&#039;&#039;: &#039;&#039;Q&#039;&#039;(e&lt;sub&gt;1&lt;/sub&gt;, e&lt;sub&gt;2&lt;/sub&gt;) &amp;and; &#039;&#039;Q&#039;&#039;(e&lt;sub&gt;2&lt;/sub&gt;, e&lt;sub&gt;3&lt;/sub&gt;) &amp;rArr; &#039;&#039;Q&#039;&#039;(e&lt;sub&gt;1&lt;/sub&gt;, e&lt;sub&gt;3&lt;/sub&gt;)<br /> |-<br /> | [[Relatie#Symmetrie|(b)]] || &amp;forall; e&lt;sub&gt;1&lt;/sub&gt;, e&lt;sub&gt;2&lt;/sub&gt; &amp;isin; &#039;&#039;E&#039;&#039;: e&lt;sub&gt;1&lt;/sub&gt; &amp;ne; e&lt;sub&gt;2&lt;/sub&gt; &amp;and; &#039;&#039;Q&#039;&#039;(e&lt;sub&gt;1&lt;/sub&gt;, e&lt;sub&gt;2&lt;/sub&gt;) &amp;rArr; &amp;not;&#039;&#039;Q&#039;&#039;(e&lt;sub&gt;2&lt;/sub&gt;, e&lt;sub&gt;1&lt;/sub&gt;)<br /> |-<br /> | [[Verzameling#Notatie en eigenschappen|(c)]] || (&amp;forall; &#039;&#039;x&#039;&#039;: &#039;&#039;x&#039;&#039; &amp;isin; &#039;&#039;A&#039;&#039; &amp;rArr; &#039;&#039;x&#039;&#039; &amp;isin; &#039;&#039;B&#039;&#039;) &amp;hArr; &#039;&#039;A&#039;&#039; &amp;sube; &#039;&#039;B&#039;&#039; <br /> |-<br /> | [[Verzameling#Notatie en eigenschappen|(d)]] || &#039;&#039;A&#039;&#039; ⊆ &#039;&#039;B&#039;&#039; ∧ &#039;&#039;B&#039;&#039; ⊆ &#039;&#039;A&#039;&#039; ⇒ &#039;&#039;A&#039;&#039; = &#039;&#039;B&#039;&#039; <br /> |}<br /> &lt;/li&gt;<br /> <br /> &lt;li&gt;Geef voor elk van de bovenstaande formules aan welk concept ze definiëren.&lt;br/&gt;<br /> &#039;&#039;Weet je het niet? Klik dan op de letter links van de formule en je komt op het betreffende artikel terecht.&#039;&#039;<br /> &lt;/li&gt;<br /> &lt;/ol&gt;</div>

PieterBots