{"id":213,"date":"2018-03-06T11:26:03","date_gmt":"2018-03-06T10:26:03","guid":{"rendered":"http:\/\/onderwijs.stadenesch.nl\/filosofie\/?page_id=213"},"modified":"2018-03-06T11:53:07","modified_gmt":"2018-03-06T10:53:07","slug":"waarheidstafels-2-0","status":"publish","type":"page","link":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/waarheidstafels-2-0\/","title":{"rendered":"Waarheidstafels 2.0"},"content":{"rendered":"

Sommige redeneringen<\/a> bestaan uit meer dan slechts twee premissen of uit meerdere combinaties van de premissen. Als je de waarheid<\/a> van een dergelijke redenering wil bepalen heb je een grotere waarheidstafel nodig, tenminste als je de propositielogica<\/a> gebruikt met de bijhorende taal<\/a>.<\/p>\n

Stel je voor dat je de geldigheid van de formule \u00ac(p \u2228 q)<\/strong> moet bepalen. Dan ziet de waarheidstafel er als volgt uit:<\/p>\n

\"Schermafbeelding<\/a><\/p>\n

De eerste twee kolommen bevat de basiswaarheidstafel<\/a> zoals wij deze al kennen. De derde kolom voegt iets toe, namelijk de negatie van p \u2228 q<\/strong>. <\/strong>Met behulp van de negatie ‘\u00ac<\/strong>‘ kunnen wij vanuit de tweede kolom ‘p \u2228 q<\/strong>‘, de derde ‘\u00ac(p \u2228 q)<\/strong>‘ maken. Uit de waarheidstafel blijkt dat \u00ac(p \u2228 q)<\/strong> alleen geldig<\/a> is wanneer premisse\u00a0p<\/em> en premisse q <\/em>onwaar<\/a> is.<\/p>\n

\n

Nog een ander voorbeeld. Laten wij de geldigheid bepalen van ‘\u00acp \u2228 (q \u2227 r)<\/strong>‘. Allereerst moet opvallen dat er een premisse bij is gekomen, naast premisse p\u00a0<\/em>en premisse q <\/em>zien wij premisse r. <\/em>Allereerst bepalen wij de basis voor p, q<\/em> en r<\/em>. Aan de hand daarvan bepalen wij \u00acp<\/strong> en (q \u2227 r)<\/strong>. Als laatste kijken wij naar de hele redenering \u00acp \u2228 (q \u2227 r)<\/strong>.<\/p>\n

\"Schermafbeelding<\/a><\/p>\n

De eerste drie kolommen (p, q, r)<\/em> geven de mogelijke waarheidswaarde aan van de premisse. De vierde kolom geeft de geldigheidswaarde aan van \u00acp<\/strong>; dit is een basis waarheidstafel. De vijfde kolom geeft de geldigheidswaarde aan van q \u2227 r<\/strong>; dit is een basis waarheidstafel. Ten slotte geeft de laatste kolom aan wat de geldigheidswaarde is van de hele redenering \u00acp \u2228 (q \u2227 r)<\/strong>; dit is een afgeleide van de kolom\u00a0\u00acp<\/strong>\u00a0en<\/span> de kolom (q \u2227 r)<\/strong>. Op de rijen waar een ‘w’ staat is de redenering geldig. Deze is grijs gemarkeerd. Dit betekent dat de hele redenering \u00acp \u2228 (q \u2227 r)<\/strong>\u00a0geldig<\/em> is wanneer;<\/p>\n

    \n
  1. \u00a0p<\/strong>, <\/em>q<\/strong>\u00a0<\/em>en\u00a0r<\/strong> allen\u00a0waar<\/em> zijn<\/li>\n
  2. \u00a0p<\/strong> alleen onwaar<\/em> is, en p <\/strong>en r <\/strong>beide waar<\/em> zijn.<\/li>\n
  3. \u00a0p<\/strong>\u00a0<\/em>en\u00a0r<\/strong> beide onwaar<\/em> zijn en q<\/strong> waar is.<\/li>\n
  4. \u00a0<\/em>p <\/strong>en q<\/strong> beide onwaar <\/em>zijn en r <\/strong>waar is.<\/li>\n
  5. \u00a0<\/em>p<\/strong>, <\/em>q <\/strong>en r<\/strong> onwaar zijn.<\/em><\/li>\n<\/ol>\n
    \n

    Op deze manier kun je elk mogelijke combinatie van de premissen p, q<\/em> en r. <\/em>Je kunt namelijk vanuit de basis van de waarheidstafels alle andere combinaties samenstellen. Nog een voorbeeld p \u2194 ( q \u2192\u00a0\u00ac r ).<\/strong><\/p>\n

    \"Schermafbeelding<\/a><\/p>\n

    De eerste drie kolommen geven de mogelijke waarheidswaarde van p, q <\/em>en r <\/em>aan. De vierde kolom geeft de waarheidswaarde van \u00ac r<\/strong> aan; dit is een basis waarheidstafel. De vijfde kolom geeft de geldigheid aan van q \u2192\u00a0\u00ac<\/strong> r; dit is een afgeleide van de kolom \u00ac r<\/strong>\u00a0en<\/span> de kolom q<\/strong>. De laatste kolom laat de geldigheid zien van de hele redenering p \u2194 ( q \u2192\u00a0\u00ac r )<\/strong>; dit is een afgeleide van de kolom p<\/strong> en<\/span> de kolom\u00a0( q \u2192\u00a0\u00ac r )<\/strong>.<\/p>\n

    De rijen die grijs gemarkeerd zijn, die een ‘w’ bevat, zijn de geldige redeneringen. De redenering p \u2194 ( q \u2192\u00a0\u00ac r )<\/strong> is alleen geldig als;<\/p>\n

      \n
    1. p<\/strong> en q <\/strong>beide waar<\/em> zijn en r<\/strong> alleen onwaar<\/em> is.<\/li>\n
    2. p<\/strong> en r<\/strong> beide waar<\/em> zijn en q <\/strong>alleen onwaar<\/em> is.<\/li>\n
    3. p <\/strong>alleen waar<\/em> is, en q <\/strong>en r <\/strong>beide onwaar<\/em> zijn.<\/li>\n
    4. p <\/strong>alleen onwaar<\/em> is, en q<\/strong> en r<\/strong> beide waar<\/em> zijn.<\/li>\n<\/ol>\n
      \n

      Vanuit de natuurlijke taal kun je door middel van formele taal <\/a>de geldigheid<\/a> van een redenering testen. De positielogica<\/a> is daar slechts een van de manieren van. Wij kennen ook andere logica<\/a> vormen zoals de predikatenlogica.<\/p>\n","protected":false},"excerpt":{"rendered":"

      Sommige redeneringen bestaan uit meer dan slechts twee premissen of uit meerdere combinaties van de premissen. Als je de waarheid van een dergelijke redenering wil bepalen heb je een grotere waarheidstafel nodig, tenminste als je de propositielogica gebruikt met de bijhorende taal. Stel je voor dat je de geldigheid van de formule \u00ac(p \u2228 q) … Verder lezen Waarheidstafels 2.0<\/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-213","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/pages\/213","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=213"}],"version-history":[{"count":4,"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/pages\/213\/revisions"}],"predecessor-version":[{"id":222,"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/pages\/213\/revisions\/222"}],"wp:attachment":[{"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/media?parent=213"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}