{"id":154,"date":"2018-01-29T16:17:13","date_gmt":"2018-01-29T15:17:13","guid":{"rendered":"http:\/\/onderwijs.stadenesch.nl\/filosofie\/?page_id=154"},"modified":"2018-02-05T16:05:51","modified_gmt":"2018-02-05T15:05:51","slug":"propositielogica","status":"publish","type":"page","link":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/propositielogica\/","title":{"rendered":"Propositielogica"},"content":{"rendered":"

Er zijn meerdere logica<\/a>systemen waarvan de propositielogica er \u00e9\u00e9n is. De propositielogica is een middel om door middel van formele taal<\/a> de geldigheid<\/a> van een redenering te bepalen. De natuurlijke taal, zoals een uitspraak van iemand, wordt omgezet naar variabelen<\/a> en daarbij wordt bepaald welke relatie de variabelen hebben. De vertaalsleutel<\/a> is nodig om de inhoudelijke betekenis van een redenering te kunnen achterhalen.<\/p>\n

Bijvoorbeeld;<\/p>\n

Natuurlijke taal: Als ik goed leer, dan haal ik een voldoende op de toets<\/em><\/p>\n

Formele taal: p \u2192 q<\/em><\/p>\n

Vertaalsleutel: p = ik leer goed, q = ik haal een voldoende op de toets<\/em><\/p>\n

\n

Het voorbeeld van hierboven heeft de relatie ‘Als.., dan…’ <\/em>tussen de variabelen. Deze relatie wordt in de propositielogica een logische constante <\/strong>genoemd. Er zijn ook andere logische constanten, namelijk;<\/p>\n

‘niet’\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u00ac<\/em><\/p>\n

‘en’\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u2227<\/em><\/p>\n

‘of’\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0\u00a0 \u2228<\/em><\/p>\n

‘als.., dan..’\u00a0\u00a0\u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u00a0 \u2192<\/em><\/p>\n

‘dan en slechts dan als’\u00a0\u00a0\u00a0\u00a0 \u2194<\/em><\/p>\n

Voorbeelden;<\/p>\n

Veel toptalenten vertrekken naar het buitenland of<\/span> hebben niet de mogelijkheid om zich te ontwikkelen. ( p \u2228 q )<\/em><\/p>\n

Als<\/span> Nederland haar best doet, dan<\/span> kan het toptalent blijven trekken.\u00a0 ( p \u2192 q )
\n<\/em><\/p>\n

Maar dan moet Nederland wel investeren in onderwijs en<\/span> een goed ondernemersklimaat cre\u00ebren. ( p \u2227 q )<\/em><\/p>\n

Dus Nederland kan toptalent blijven trekken dan en slechts dan als<\/span> Nederland zich ervoor inzet. ( p \u2194 q )<\/em><\/p>\n

Als Nederland zich niet<\/span> inzet, dan zullen toptalenten vertrekken naar het buitenland. ( \u00acp \u2192 q ) <\/em><\/p>\n

\n

In het laatste voorbeeld hierboven valt als het goed is iets op. Het roodgekleurde ‘niet’, <\/em>oftewel de logische constante \u00ac<\/em>, is een ontkenning van een premisse. De vertaalsleutel wordt positief geformuleerd en de \u00ac<\/em> laat zien dat het een ontkenning betreft.<\/p>\n

Als Nederland zich niet<\/span> inzet, dan zullen toptalenten vertrekken naar het buitenland. ( \u00acp \u2192 q ) <\/em><\/p>\n

p = Nederland zet zich in<\/em><\/p>\n

q = Toptalenten zullen vertrekken naar het buitenland<\/em><\/p>\n

De ontkenning van p,<\/em> \u00acp<\/em>, zegt niet iets over de relatie tussen p <\/em>en q. <\/em>De ontkenning zegt alleen iets over de premisse zelf. ‘Nederland zet zich in’<\/em> wordt namelijk ontkent. Daarom wordt deze vertaalt naar formele taal met \u00acp.<\/p>\n

\n

De relatie tussen premissen worden in formele taal weergegeven met verschillende tekens. Deze tekens wordt in de propositielogica de logische constante genoemd. Er worden vijf verschillende logische constanten gebruikt, \u2192 , \u2194 , \u2227 , \u2228 en de bijzondere \u00ac.<\/p>\n

Toch zijn argumentaties vaker ingewikkelder dan slechts twee premissen en een relatie daartussen. Om deze argumentaties goed om te kunnen zetten hebben wij meer hulptekens<\/a> nodig.<\/p>\n

\n","protected":false},"excerpt":{"rendered":"

Er zijn meerdere logicasystemen waarvan de propositielogica er \u00e9\u00e9n is. De propositielogica is een middel om door middel van formele taal de geldigheid van een redenering te bepalen. De natuurlijke taal, zoals een uitspraak van iemand, wordt omgezet naar variabelen en daarbij wordt bepaald welke relatie de variabelen hebben. De vertaalsleutel is nodig om de … Verder lezen Propositielogica<\/span><\/a><\/p>\n","protected":false},"author":7,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"open","template":"","meta":{"footnotes":""},"class_list":["post-154","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/pages\/154","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/users\/7"}],"replies":[{"embeddable":true,"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/comments?post=154"}],"version-history":[{"count":8,"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/pages\/154\/revisions"}],"predecessor-version":[{"id":188,"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/pages\/154\/revisions\/188"}],"wp:attachment":[{"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/media?parent=154"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}