{"id":191,"date":"2018-02-05T16:22:07","date_gmt":"2018-02-05T15:22:07","guid":{"rendered":"http:\/\/onderwijs.stadenesch.nl\/filosofie\/?page_id=191"},"modified":"2018-03-06T11:31:01","modified_gmt":"2018-03-06T10:31:01","slug":"basis-waarheidstafels","status":"publish","type":"page","link":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/basis-waarheidstafels\/","title":{"rendered":"Basis waarheidstafels"},"content":{"rendered":"

Binnen de propositielogica<\/a> gaan wij de geldigheid<\/a> van een argumentatie na. Voordat wij de geldigheid na kunnen gaan moet de natuurlijke taal eerst omgezet worden naar formele taal<\/a> met logische constanten<\/a> en hulptekens<\/a>. Wij hebben al vastgesteld dat een redenering logisch geldig is als de conclusie noodzakelijk volgt uit de premissen. Door middel van waarheidstafels gaan wij na of dit het geval is bij een argumentatie.<\/p>\n

Voorbeeld van een waarheidstafel <\/strong>bij de logische constante \u00ac:<\/p>\n

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

In het tabel zie je in de linker kolom onder\u00a0‘p’<\/em> een ‘w’ of een ‘o’ staan. De ‘w’ staat voor\u00a0waar<\/em> en de ‘o’ staat voor\u00a0onwaar<\/em>. Rechts staat hetzelfde onder ‘\u00acp’<\/em>. De waarheidstafel geeft aan als ‘p’<\/em>\u00a0waar <\/em>is ‘w’, dan is ‘\u00acp<\/em>‘ onwaar<\/em> oftewel ‘o’. Als ‘p’<\/em> waar<\/em> is, dan is ‘\u00acp<\/em>‘ onwaar. <\/em>Als je stelt dat p = het regent, dan is \u00acp = het regent niet.<\/p>\n

\n

\u2227<\/h3>\n

Voor elke logische constante is er een andere waarheidstafel. Dus ook voor de logische constante ‘\u2227’, en. In het voorbeeld is p = het regent en q = de straat is nat, de uitspraak is dus ‘het regent en straat is nat<\/em>‘:<\/p>\n

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

    \n
  1. Hier staat in de eerste regel dat ‘p \u2227 q’<\/em> alleen waar<\/em> ‘w’ is als zowel ‘p’<\/em> als ‘q’<\/em> afzonderlijk ook waar <\/em>‘w’ zijn. Dus het regent en de straat is nat. De hele premisse is waar als beide variabelen waar zijn.<\/li>\n
  2. In de tweede regel staat dat ‘p \u2227 q’<\/em>,\u00a0het regent en de straat is nat, onwaar<\/em> is wanneer ‘p’<\/em> waar <\/em>is en ‘q’<\/em> onwaar<\/em>. Dus ‘p \u2227 q’<\/em> is onwaar als het wel regent en de straat niet nat is. Als \u00e9\u00e9n variabele onwaar is, dan is de hele premisse onwaar.<\/li>\n
  3. In de derde regel staat\u00a0 dat ‘p \u2227 q’,\u00a0<\/em>het regent en de straat is nat, onwaar <\/em>is wanneer ‘p’ onwaar<\/em> is en ‘q’ <\/em> waar<\/em>. Dus ‘p \u2227 q’<\/em> is onwaar als het niet regent en de straat nat is. Als \u00e9\u00e9n variabele onwaar is, dan is de hele premisse onwaar.<\/li>\n
  4. In de vierde regel staat dat ‘p \u2227 q’<\/em>, het regent en de straat is nat, onwaar<\/em> is wanneer zowel ‘p’<\/em> als ‘q’<\/em> onwaar<\/em> is. Dus ‘p \u2227 q’<\/em> is onwaar als het niet regent en de straat niet nat is. Als beide variabelen onwaar zijn, dan is de hele premisse onwaar.<\/li>\n<\/ol>\n
    \n

    \u00a0\u2228<\/h3>\n

    De waarheidstafel voor de logische constante ‘\u2228’, of,\u00a0 ziet er weer anders uit. In het voorbeeld is p = het regent en q = de straat is nat, de uitspraak is dus ‘het regent of straat is nat<\/em>‘:<\/p>\n

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

      \n
    1. Hier staat in de eerste regel dat ‘p \u2228 q’<\/em> waar<\/em> ‘w’ is als zowel ‘p’<\/em> als ‘q’<\/em> afzonderlijk ook waar <\/em>‘w’ zijn. Dus het regent of de straat is nat. Als ze beiden waar zijn, dan is de hele premisse ook waar.<\/li>\n
    2. In de tweede regel staat dat ‘p \u2228 q’<\/em>,\u00a0het regent of de straat is nat, waar<\/em> is wanneer ‘p’<\/em> waar <\/em>is en ‘q’<\/em> onwaar<\/em>. Dus ‘p \u2228 q’<\/em> is waar als het wel regent of de straat niet nat is. Slechts \u00e9\u00e9n variabele hoeft hiervoor waar te zijn.<\/li>\n
    3. In de derde regel staat dat ‘p \u2228 q’,\u00a0<\/em>het regent of de straat is nat, waar <\/em>is wanneer ‘p’ onwaar<\/em> is en ‘q’ <\/em> waar<\/em>. Dus ‘p \u2228 q’<\/em> is waar als het niet regent of de straat nat is. Slechts \u00e9\u00e9n variabele hoeft hiervoor waar te zijn.<\/li>\n
    4. In de vierde regel staat dat ‘p \u2228 q’<\/em>, het regent of de straat is nat, onwaar<\/em> is wanneer zowel ‘p’<\/em> als ‘q’<\/em> onwaar<\/em> is. Dus ‘p \u2228 q’<\/em> is onwaar als het niet regent of de straat niet nat is. Als beide variabelen onwaar zijn, is de hele premisse onwaar.<\/li>\n<\/ol>\n
      \n

      \u2194<\/h3>\n

      De waarheidstafel voor de logische constante ‘\u2194’, dan en slechts dan alleen. In het voorbeeld is p = het regent en q = de straat is nat, de uitspraak is dus ‘het regent dan en slechts dan als straat nat is<\/em>‘:<\/p>\n

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

        \n
      1. Hier staat in de eerste regel dat ‘p \u2194 q’<\/em> waar<\/em> ‘w’ is als zowel ‘p’<\/em> als ‘q’<\/em> afzonderlijk ook waar <\/em>‘w’ zijn. Dus het regent dan en slechts dan als de straat nat is. Als ze beiden waar zijn, dan is de hele premisse ook waar.<\/li>\n
      2. In de tweede regel staat dat ‘p \u2194 q’<\/em>, het regent dan en slechts dan als de straat nat is, on<\/em>waar<\/em> is wanneer ‘p’<\/em> waar <\/em>is en ‘q’<\/em> onwaar<\/em>. Dus ‘p \u2194 q’<\/em> is onwaar als het wel regent en de straat niet nat is. Als de variabelen niet dezelfde waarheidswaarde hebben, dan is de hele premisse onwaar.<\/li>\n
      3. In de derde regel staat dat ‘p \u2194 q’,\u00a0<\/em>het regent dan en slechts dan als de straat nat is, waar <\/em>is wanneer ‘p’ onwaar<\/em> is en ‘q’ <\/em> waar<\/em>. Dus ‘p \u2194 q’<\/em> is waar als het niet regent en de straat nat is. Als de variabelen niet dezelfde waarheidswaarde hebben, dan is de hele premisse onwaar.<\/li>\n
      4. In de vierde regel staat dat ‘p \u2194 q’<\/em>, het regent dan en slechts dan als de straat nat is, waar<\/em> is wanneer zowel ‘p’<\/em> als ‘q’<\/em> onwaar<\/em> zijn. Dus ‘p \u2194 q’<\/em> is waar als het niet regent en de straat niet nat is. Als beide variabelen onwaar zijn, is de hele premisse waar.<\/li>\n<\/ol>\n
        \n

        \u2192<\/h3>\n

        De laatste waarheidstafel die wij moeten behandelen is die van de logische constante ‘\u2192’, als.., dan… <\/em>In het voorbeeld is p = het regent en q = de straat is nat, de uitspraak is dus ‘als <\/em>het regent dan is de straat nat<\/em>‘:<\/em><\/p>\n

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

          \n
        1. Hier staat in de eerste regel dat ‘p \u2192 q’<\/em> waar<\/em> ‘w’ is als zowel ‘p’<\/em> als ‘q’<\/em> afzonderlijk ook waar <\/em>‘w’ zijn. Dus het regent en de straat is nat. Als ze beiden waar zijn, dan is de hele premisse ook waar.<\/li>\n
        2. In de tweede regel staat dat ‘p \u2192 q’<\/em>, als het regent, dan is de straat nat, onwaar<\/em> is wanneer ‘p’<\/em> waar <\/em>is en ‘q’<\/em> onwaar<\/em>. Dus ‘p \u2192 q’<\/em> is onwaar als het wel regent, maar de straat niet nat is. De oorzaak ‘p’<\/em> is er wel, maar het gevolg ‘q’\u00a0<\/em>niet en dat kan niet. Volgens de premisse kan het niet zo zijn dat het wel regent, maar de straten niet nat worden.<\/li>\n
        3. In de derde regel staat dat ‘p \u2192 q’, <\/em>als het regent, dan is de straat nat, waar <\/em>is wanneer ‘p’ onwaar<\/em> is en ‘q’ <\/em> waar<\/em>. Dus ‘p \u2192 q’<\/em> is waar als het niet regent en de straat nat is. De hele premisse kan nog wel waar zijn, ondanks dat deze ene oorzaak er niet is. Het gevolg, de natte straten, zou een andere oorzaak kunnen hebben.<\/li>\n
        4. In de vierde regel staat dat ‘p \u2192 q’<\/em>, als het regent, dan is de straat nat, waar<\/em> is wanneer zowel ‘p’<\/em> als ‘q’<\/em> onwaar<\/em>\u00a0is. Dus ‘p \u2192 q’<\/em> is waar als het niet regent en de straat niet nat is. Als beide variabelen onwaar zijn, dan kan de premisse wel waar zijn. Als het niet regent en de straten niet nat zijn, dan kan de hele premisse (als het regent, dan is de straat nat) nog wel waar zijn.<\/li>\n<\/ol>\n
          \n

          De waarheidstafels zijn een manier om de geldigheid van een argumentatie te bepalen. Er zijn vijf basiswaarheidstafels, van elke logische constante \u00e9\u00e9n. Voor een waarheidstafel van een hele argumentatie moet je soms meerdere basiswaarheidstafels samenvoegen. Oftewel waarheidstafels 2.0<\/a>.<\/p>\n

           <\/p>\n

           <\/p>\n","protected":false},"excerpt":{"rendered":"

          Binnen de propositielogica gaan wij de geldigheid van een argumentatie na. Voordat wij de geldigheid na kunnen gaan moet de natuurlijke taal eerst omgezet worden naar formele taal met logische constanten en hulptekens. Wij hebben al vastgesteld dat een redenering logisch geldig is als de conclusie noodzakelijk volgt uit de premissen. Door middel van waarheidstafels … Verder lezen Basis waarheidstafels<\/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-191","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/pages\/191","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=191"}],"version-history":[{"count":5,"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/pages\/191\/revisions"}],"predecessor-version":[{"id":218,"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/pages\/191\/revisions\/218"}],"wp:attachment":[{"href":"https:\/\/onderwijs.stadenesch.nl\/filosofie\/wp-json\/wp\/v2\/media?parent=191"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}