CINXE.COM

<!DOCTYPE html> <html class="client-nojs vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-disabled skin-theme-clientpref-day vector-toc-not-available" lang="af" dir="ltr"> <head> <meta charset="UTF-8"> <title>Proposisionele logika - Wikipedia</title> <script>(function(){var className="client-js vector-feature-language-in-header-enabled vector-feature-language-in-main-page-header-disabled vector-feature-sticky-header-disabled vector-feature-page-tools-pinned-disabled vector-feature-toc-pinned-clientpref-1 vector-feature-main-menu-pinned-disabled vector-feature-limited-width-clientpref-1 vector-feature-limited-width-content-enabled vector-feature-custom-font-size-clientpref-1 vector-feature-appearance-pinned-clientpref-1 vector-feature-night-mode-disabled skin-theme-clientpref-day vector-toc-not-available";var cookie=document.cookie.match(/(?:^|; )afwikimwclientpreferences=([^;]+)/);if(cookie){cookie[1].split('%2C').forEach(function(pref){className=className.replace(new RegExp('(^| )'+pref.replace(/-clientpref-\w+$|[^\w-]+/g,'')+'-clientpref-\\w+( |$)'),'$1'+pref+'$2');});}document.documentElement.className=className;}());RLCONF={"wgBreakFrames":false,"wgSeparatorTransformTable":[",\t."," \t,"],"wgDigitTransformTable":["",""], "wgDefaultDateFormat":"dmy","wgMonthNames":["","Januarie","Februarie","Maart","April","Mei","Junie","Julie","Augustus","September","Oktober","November","Desember"],"wgRequestId":"a0821df4-f5b6-4b43-8d39-e0141116bad1","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Proposisionele_logika","wgTitle":"Proposisionele logika","wgCurRevisionId":1395380,"wgRevisionId":1395380,"wgArticleId":26179,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":["Taalkunde"],"wgPageViewLanguage":"af","wgPageContentLanguage":"af","wgPageContentModel":"wikitext","wgRelevantPageName":"Proposisionele_logika","wgRelevantArticleId":26179,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgRestrictionMove":[],"wgNoticeProject":"wikipedia","wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgPopupsFlags":0, "wgVisualEditor":{"pageLanguageCode":"af","pageLanguageDir":"ltr","pageVariantFallbacks":"af"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":true,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":2000,"wgRelatedArticlesCompat":[],"wgCentralAuthMobileDomain":false,"wgEditSubmitButtonLabelPublish":true,"wgULSPosition":"interlanguage","wgULSisCompactLinksEnabled":false,"wgVector2022LanguageInHeader":true,"wgULSisLanguageSelectorEmpty":false,"wgWikibaseItemId":"Q200694","wgCheckUserClientHintsHeadersJsApi":["architecture","bitness","brands","fullVersionList","mobile","model","platform","platformVersion"],"GEHomepageSuggestedEditsEnableTopics":true,"wgGETopicsMatchModeEnabled":false,"wgGEStructuredTaskRejectionReasonTextInputEnabled":false,"wgGELevelingUpEnabledForUser":false};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options": "loading","skins.vector.search.codex.styles":"ready","skins.vector.styles":"ready","skins.vector.icons":"ready","ext.wikimediamessages.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","ext.uls.interlanguage":"ready","wikibase.client.init":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["site","mediawiki.page.ready","skins.vector.js","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.charinsert","ext.gadget.switcher","ext.urlShortener.toolbar","ext.centralauth.centralautologin","ext.popups","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.navigationTiming","ext.uls.interface","ext.cx.eventlogging.campaigns","ext.cx.uls.quick.actions","wikibase.client.vector-2022","ext.checkUser.clientHints","ext.growthExperiments.SuggestedEditSession","wikibase.sidebar.tracking"];</script> <script>(RLQ=window.RLQ||[]).push(function(){mw.loader.impl(function(){return["user.options@12s5i",function($,jQuery,require,module){mw.user.tokens.set({"patrolToken":"+\\","watchToken":"+\\","csrfToken":"+\\"}); }];});});</script> <link rel="stylesheet" href="/w/load.php?lang=af&modules=ext.uls.interlanguage%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikimediaBadges%7Cext.wikimediamessages.styles%7Cskins.vector.icons%2Cstyles%7Cskins.vector.search.codex.styles%7Cwikibase.client.init&only=styles&skin=vector-2022"> <script async="" src="/w/load.php?lang=af&modules=startup&only=scripts&raw=1&skin=vector-2022"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=af&modules=site.styles&only=styles&skin=vector-2022"> <meta name="generator" content="MediaWiki 1.44.0-wmf.3"> <meta name="referrer" content="origin"> <meta name="referrer" content="origin-when-cross-origin"> <meta name="robots" content="max-image-preview:standard"> <meta name="format-detection" content="telephone=no"> <meta name="viewport" content="width=1120"> <meta property="og:title" content="Proposisionele logika - Wikipedia"> <meta property="og:type" content="website"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//af.m.wikipedia.org/wiki/Proposisionele_logika"> <link rel="alternate" type="application/x-wiki" title="Wysig" href="/w/index.php?title=Proposisionele_logika&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikipedia.png"> <link rel="icon" href="/static/favicon/wikipedia.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikipedia (af)"> <link rel="EditURI" type="application/rsd+xml" href="//af.wikipedia.org/w/api.php?action=rsd"> <link rel="canonical" href="https://af.wikipedia.org/wiki/Proposisionele_logika"> <link rel="license" href="https://creativecommons.org/licenses/by-sa/4.0/deed.af"> <link rel="alternate" type="application/atom+xml" title="Wikipedia Atoomvoer" href="/w/index.php?title=Spesiaal:Onlangse_wysigings&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin--responsive skin-vector skin-vector-search-vue mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Proposisionele_logika rootpage-Proposisionele_logika skin-vector-2022 action-view"><a class="mw-jump-link" href="#bodyContent">Gaan na inhoud</a> <div class="vector-header-container"> <header class="vector-header mw-header"> <div class="vector-header-start"> <nav class="vector-main-menu-landmark" aria-label="Werf"> <div id="vector-main-menu-dropdown" class="vector-dropdown vector-main-menu-dropdown vector-button-flush-left vector-button-flush-right" > <input type="checkbox" id="vector-main-menu-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-main-menu-dropdown" class="vector-dropdown-checkbox " aria-label="Hoofkieslys" > <label id="vector-main-menu-dropdown-label" for="vector-main-menu-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-menu mw-ui-icon-wikimedia-menu"></span> <span class="vector-dropdown-label-text">Hoofkieslys</span> </label> <div class="vector-dropdown-content"> <div id="vector-main-menu-unpinned-container" class="vector-unpinned-container"> <div id="vector-main-menu" class="vector-main-menu vector-pinnable-element"> <div class="vector-pinnable-header vector-main-menu-pinnable-header vector-pinnable-header-unpinned" data-feature-name="main-menu-pinned" data-pinnable-element-id="vector-main-menu" data-pinned-container-id="vector-main-menu-pinned-container" data-unpinned-container-id="vector-main-menu-unpinned-container" > <div class="vector-pinnable-header-label">Hoofkieslys</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-main-menu.pin">skuif na kantbalk</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-main-menu.unpin">versteek</button> </div> <div id="p-navigation" class="vector-menu mw-portlet mw-portlet-navigation" > <div class="vector-menu-heading"> Navigasie </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage" class="mw-list-item"><a href="/wiki/Tuisblad" title="Besoek die Tuisblad [z]" accesskey="z"><span>Tuisblad</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Wikipedia:Gebruikersportaal" title="Meer oor die projek, wat jy kan doen, nuttige skakels"><span>Gebruikersportaal</span></a></li><li id="n-currentevents" class="mw-list-item"><a href="/wiki/Wikipedia:Geselshoekie" title="Agtergrondinligting oor aktuele sake"><span>Geselshoekie</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Spesiaal:Onlangse_wysigings" title="'n Lys van onlangse wysigings [r]" accesskey="r"><span>Onlangse wysigings</span></a></li><li id="n-randompage" class="mw-list-item"><a href="/wiki/Spesiaal:Lukraak" title="Laai 'n lukrake bladsye [x]" accesskey="x"><span>Lukrake bladsy</span></a></li><li id="n-help" class="mw-list-item"><a href="https://www.mediawiki.org/wiki/Special:MyLanguage/Help:Contents" title="Vind meer uit oor iets"><span>Hulp</span></a></li><li id="n-Sandput" class="mw-list-item"><a href="/wiki/Wikipedia:Sandput"><span>Sandput</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> <a href="/wiki/Tuisblad" class="mw-logo"> <img class="mw-logo-icon" src="/static/images/icons/wikipedia.png" alt="" aria-hidden="true" height="50" width="50"> <span class="mw-logo-container skin-invert"> <img class="mw-logo-wordmark" alt="Wikipedia" src="/static/images/mobile/copyright/wikipedia-wordmark-en.svg" style="width: 7.5em; height: 1.125em;"> <img class="mw-logo-tagline" alt="" src="/static/images/mobile/copyright/wikipedia-tagline-af.svg" width="118" height="13" style="width: 7.375em; height: 0.8125em;"> </span> </a> </div> <div class="vector-header-end"> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box-collapses vector-search-box-show-thumbnail vector-search-box-auto-expand-width vector-search-box"> <a href="/wiki/Spesiaal:Soek" class="cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only search-toggle" title="Deursoek Wikipedia [f]" accesskey="f"><span class="vector-icon mw-ui-icon-search mw-ui-icon-wikimedia-search"></span> <span>Soek</span> </a> <div class="vector-typeahead-search-container"> <div class="cdx-typeahead-search cdx-typeahead-search--show-thumbnail cdx-typeahead-search--auto-expand-width"> <form action="/w/index.php" id="searchform" class="cdx-search-input cdx-search-input--has-end-button"> <div id="simpleSearch" class="cdx-search-input__input-wrapper" data-search-loc="header-moved"> <div class="cdx-text-input cdx-text-input--has-start-icon"> <input class="cdx-text-input__input" type="search" name="search" placeholder="Deursoek Wikipedia" aria-label="Deursoek Wikipedia" autocapitalize="sentences" title="Deursoek Wikipedia [f]" accesskey="f" id="searchInput" > <span class="cdx-text-input__icon cdx-text-input__start-icon"></span> </div> <input type="hidden" name="title" value="Spesiaal:Soek"> </div> <button class="cdx-button cdx-search-input__end-button">Soek</button> </form> </div> </div> </div> <nav class="vector-user-links vector-user-links-wide" aria-label="Persoonlike gereedskap"> <div class="vector-user-links-main"> <div id="p-vector-user-menu-preferences" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-userpage" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <nav class="vector-appearance-landmark" aria-label="Voorkoms"> <div id="vector-appearance-dropdown" class="vector-dropdown " title="Change the appearance of the page's font size, width, and color" > <input type="checkbox" id="vector-appearance-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-appearance-dropdown" class="vector-dropdown-checkbox " aria-label="Voorkoms" > <label id="vector-appearance-dropdown-label" for="vector-appearance-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-appearance mw-ui-icon-wikimedia-appearance"></span> <span class="vector-dropdown-label-text">Voorkoms</span> </label> <div class="vector-dropdown-content"> <div id="vector-appearance-unpinned-container" class="vector-unpinned-container"> </div> </div> </div> </nav> <div id="p-vector-user-menu-notifications" class="vector-menu mw-portlet emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> <div id="p-vector-user-menu-overflow" class="vector-menu mw-portlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_af.wikipedia.org&uselang=af" class=""><span>Skenkings</span></a> </li> <li id="pt-createaccount-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Spesiaal:SkepRekening&returnto=Proposisionele+logika" title="U word aangemoedig om 'n gebruiker te skep en aan te meld, hoewel dit nie verpligtend is nie." class=""><span>Skep gebruiker</span></a> </li> <li id="pt-login-2" class="user-links-collapsible-item mw-list-item user-links-collapsible-item"><a data-mw="interface" href="/w/index.php?title=Spesiaal:Teken_in&returnto=Proposisionele+logika" title="U word aangemoedig om aan te meld. Dit is egter nie verpligtend nie. [o]" accesskey="o" class=""><span>Meld aan</span></a> </li> </ul> </div> </div> </div> <div id="vector-user-links-dropdown" class="vector-dropdown vector-user-menu vector-button-flush-right vector-user-menu-logged-out" title="Meer opsies" > <input type="checkbox" id="vector-user-links-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-user-links-dropdown" class="vector-dropdown-checkbox " aria-label="Persoonlike gereedskap" > <label id="vector-user-links-dropdown-label" for="vector-user-links-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--icon-only " aria-hidden="true" ><span class="vector-icon mw-ui-icon-ellipsis mw-ui-icon-wikimedia-ellipsis"></span> <span class="vector-dropdown-label-text">Persoonlike gereedskap</span> </label> <div class="vector-dropdown-content"> <div id="p-personal" class="vector-menu mw-portlet mw-portlet-personal user-links-collapsible-item" title="User menu" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-sitesupport" class="user-links-collapsible-item mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_af.wikipedia.org&uselang=af"><span>Skenkings</span></a></li><li id="pt-createaccount" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Spesiaal:SkepRekening&returnto=Proposisionele+logika" title="U word aangemoedig om 'n gebruiker te skep en aan te meld, hoewel dit nie verpligtend is nie."><span class="vector-icon mw-ui-icon-userAdd mw-ui-icon-wikimedia-userAdd"></span> <span>Skep gebruiker</span></a></li><li id="pt-login" class="user-links-collapsible-item mw-list-item"><a href="/w/index.php?title=Spesiaal:Teken_in&returnto=Proposisionele+logika" title="U word aangemoedig om aan te meld. Dit is egter nie verpligtend nie. [o]" accesskey="o"><span class="vector-icon mw-ui-icon-logIn mw-ui-icon-wikimedia-logIn"></span> <span>Meld aan</span></a></li> </ul> </div> </div> <div id="p-user-menu-anon-editor" class="vector-menu mw-portlet mw-portlet-user-menu-anon-editor" > <div class="vector-menu-heading"> Bladsye vir uitgemelde redakteurs <a href="/wiki/Hulp:Inleiding" aria-label="Leer meer oor redigering"><span>leer meer</span></a> </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Spesiaal:Mybydrae" title="A list of edits made from this IP address [y]" accesskey="y"><span>Bydraes</span></a></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Spesiaal:Mybespreking" title="Bespreking oor bydraes van hierdie IP-adres [n]" accesskey="n"><span>Bespreking</span></a></li> </ul> </div> </div> </div> </div> </nav> </div> </header> </div> <div class="mw-page-container"> <div class="mw-page-container-inner"> <div class="vector-sitenotice-container"> <div id="siteNotice"></div> </div> <div class="vector-column-start"> <div class="vector-main-menu-container"> <div id="mw-navigation"> <nav id="mw-panel" class="vector-main-menu-landmark" aria-label="Werf"> <div id="vector-main-menu-pinned-container" class="vector-pinned-container"> </div> </nav> </div> </div> </div> <div class="mw-content-container"> <main id="content" class="mw-body"> <header class="mw-body-header vector-page-titlebar"> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="mw-page-title-main">Proposisionele logika</span></h1> <div id="p-lang-btn" class="vector-dropdown mw-portlet mw-portlet-lang" > <input type="checkbox" id="p-lang-btn-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-lang-btn" class="vector-dropdown-checkbox mw-interlanguage-selector" aria-label="Gaan na 'n artikel in 'n ander taal. Beskikbaar in 49 tale" > <label id="p-lang-btn-label" for="p-lang-btn-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet cdx-button--action-progressive mw-portlet-lang-heading-49" aria-hidden="true" ><span class="vector-icon mw-ui-icon-language-progressive mw-ui-icon-wikimedia-language-progressive"></span> <span class="vector-dropdown-label-text">49 tale</span> </label> <div class="vector-dropdown-content"> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="interlanguage-link interwiki-ar mw-list-item"><a href="https://ar.wikipedia.org/wiki/%D8%AD%D8%B3%D8%A7%D8%A8_%D8%A7%D9%84%D9%82%D8%B6%D8%A7%D9%8A%D8%A7" title="حساب القضايا – Arabies" lang="ar" hreflang="ar" data-title="حساب القضايا" data-language-autonym="العربية" data-language-local-name="Arabies" class="interlanguage-link-target"><span>العربية</span></a></li><li class="interlanguage-link interwiki-ast mw-list-item"><a href="https://ast.wikipedia.org/wiki/L%C3%B3xica_proposicional" title="Lóxica proposicional – Asturies" lang="ast" hreflang="ast" data-title="Lóxica proposicional" data-language-autonym="Asturianu" data-language-local-name="Asturies" class="interlanguage-link-target"><span>Asturianu</span></a></li><li class="interlanguage-link interwiki-be mw-list-item"><a href="https://be.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D1%96%D0%BA%D0%B0_%D0%B2%D1%8B%D0%BA%D0%B0%D0%B7%D0%B2%D0%B0%D0%BD%D0%BD%D1%8F%D1%9E" title="Логіка выказванняў – Belarussies" lang="be" hreflang="be" data-title="Логіка выказванняў" data-language-autonym="Беларуская" data-language-local-name="Belarussies" class="interlanguage-link-target"><span>Беларуская</span></a></li><li class="interlanguage-link interwiki-be-x-old mw-list-item"><a href="https://be-tarask.wikipedia.org/wiki/%D0%97%D1%8C%D0%BB%D1%96%D1%87%D1%8D%D0%BD%D1%8C%D0%BD%D0%B5_%D0%B2%D1%8B%D0%BA%D0%B0%D0%B7%D0%B2%D0%B0%D0%BD%D1%8C%D0%BD%D1%8F%D1%9E" title="Зьлічэньне выказваньняў – Belarusian (Taraškievica orthography)" lang="be-tarask" hreflang="be-tarask" data-title="Зьлічэньне выказваньняў" data-language-autonym="Беларуская (тарашкевіца)" data-language-local-name="Belarusian (Taraškievica orthography)" class="interlanguage-link-target"><span>Беларуская (тарашкевіца)</span></a></li><li class="interlanguage-link interwiki-bg mw-list-item"><a href="https://bg.wikipedia.org/wiki/%D0%9F%D1%80%D0%BE%D0%BF%D0%BE%D0%B7%D0%B8%D1%86%D0%B8%D0%BE%D0%BD%D0%B0%D0%BB%D0%BD%D0%B0_%D0%BB%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0" title="Пропозиционална логика – Bulgaars" lang="bg" hreflang="bg" data-title="Пропозиционална логика" data-language-autonym="Български" data-language-local-name="Bulgaars" class="interlanguage-link-target"><span>Български</span></a></li><li class="interlanguage-link interwiki-ca mw-list-item"><a href="https://ca.wikipedia.org/wiki/L%C3%B2gica_proposicional" title="Lògica proposicional – Katalaans" lang="ca" hreflang="ca" data-title="Lògica proposicional" data-language-autonym="Català" data-language-local-name="Katalaans" class="interlanguage-link-target"><span>Català</span></a></li><li class="interlanguage-link interwiki-cs mw-list-item"><a href="https://cs.wikipedia.org/wiki/V%C3%BDrokov%C3%A1_logika" title="Výroková logika – Tsjeggies" lang="cs" hreflang="cs" data-title="Výroková logika" data-language-autonym="Čeština" data-language-local-name="Tsjeggies" class="interlanguage-link-target"><span>Čeština</span></a></li><li class="interlanguage-link interwiki-cv mw-list-item"><a href="https://cv.wikipedia.org/wiki/%D0%9A%D0%B0%D0%BB%D0%B0%D0%BD%C4%83%D0%BB%C4%83%D1%85%D1%81%D0%B5%D0%BD_%D1%88%D1%83%D1%82%D0%BB%D0%B0%D0%B2%C4%95" title="Каланăлăхсен шутлавĕ – Chuvash" lang="cv" hreflang="cv" data-title="Каланăлăхсен шутлавĕ" data-language-autonym="Чӑвашла" data-language-local-name="Chuvash" class="interlanguage-link-target"><span>Чӑвашла</span></a></li><li class="interlanguage-link interwiki-cy mw-list-item"><a href="https://cy.wikipedia.org/wiki/Rhesymeg_osodiadol" title="Rhesymeg osodiadol – Wallies" lang="cy" hreflang="cy" data-title="Rhesymeg osodiadol" data-language-autonym="Cymraeg" data-language-local-name="Wallies" class="interlanguage-link-target"><span>Cymraeg</span></a></li><li class="interlanguage-link interwiki-de mw-list-item"><a href="https://de.wikipedia.org/wiki/Aussagenlogik" title="Aussagenlogik – Duits" lang="de" hreflang="de" data-title="Aussagenlogik" data-language-autonym="Deutsch" data-language-local-name="Duits" class="interlanguage-link-target"><span>Deutsch</span></a></li><li class="interlanguage-link interwiki-el mw-list-item"><a href="https://el.wikipedia.org/wiki/%CE%A0%CF%81%CE%BF%CF%84%CE%B1%CF%83%CE%B9%CE%B1%CE%BA%CF%8C%CF%82_%CE%BB%CE%BF%CE%B3%CE%B9%CF%83%CE%BC%CF%8C%CF%82" title="Προτασιακός λογισμός – Grieks" lang="el" hreflang="el" data-title="Προτασιακός λογισμός" data-language-autonym="Ελληνικά" data-language-local-name="Grieks" class="interlanguage-link-target"><span>Ελληνικά</span></a></li><li class="interlanguage-link interwiki-en mw-list-item"><a href="https://en.wikipedia.org/wiki/Propositional_calculus" title="Propositional calculus – Engels" lang="en" hreflang="en" data-title="Propositional calculus" data-language-autonym="English" data-language-local-name="Engels" class="interlanguage-link-target"><span>English</span></a></li><li class="interlanguage-link interwiki-es mw-list-item"><a href="https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional" title="Lógica proposicional – Spaans" lang="es" hreflang="es" data-title="Lógica proposicional" data-language-autonym="Español" data-language-local-name="Spaans" class="interlanguage-link-target"><span>Español</span></a></li><li class="interlanguage-link interwiki-et mw-list-item"><a href="https://et.wikipedia.org/wiki/Lauseloogika" title="Lauseloogika – Estnies" lang="et" hreflang="et" data-title="Lauseloogika" data-language-autonym="Eesti" data-language-local-name="Estnies" class="interlanguage-link-target"><span>Eesti</span></a></li><li class="interlanguage-link interwiki-eu mw-list-item"><a href="https://eu.wikipedia.org/wiki/Logika_proposizional" title="Logika proposizional – Baskies" lang="eu" hreflang="eu" data-title="Logika proposizional" data-language-autonym="Euskara" data-language-local-name="Baskies" class="interlanguage-link-target"><span>Euskara</span></a></li><li class="interlanguage-link interwiki-fa mw-list-item"><a href="https://fa.wikipedia.org/wiki/%D8%AD%D8%B3%D8%A7%D8%A8_%DA%AF%D8%B2%D8%A7%D8%B1%D9%87%E2%80%8C%D8%A7%DB%8C" title="حساب گزاره‌ای – Persies" lang="fa" hreflang="fa" data-title="حساب گزاره‌ای" data-language-autonym="فارسی" data-language-local-name="Persies" class="interlanguage-link-target"><span>فارسی</span></a></li><li class="interlanguage-link interwiki-fi mw-list-item"><a href="https://fi.wikipedia.org/wiki/Propositiologiikka" title="Propositiologiikka – Fins" lang="fi" hreflang="fi" data-title="Propositiologiikka" data-language-autonym="Suomi" data-language-local-name="Fins" class="interlanguage-link-target"><span>Suomi</span></a></li><li class="interlanguage-link interwiki-fr mw-list-item"><a href="https://fr.wikipedia.org/wiki/Calcul_des_propositions" title="Calcul des propositions – Frans" lang="fr" hreflang="fr" data-title="Calcul des propositions" data-language-autonym="Français" data-language-local-name="Frans" class="interlanguage-link-target"><span>Français</span></a></li><li class="interlanguage-link interwiki-frr mw-list-item"><a href="https://frr.wikipedia.org/wiki/%C3%9Ctjsaagenloogik" title="Ütjsaagenloogik – Noord-Fries" lang="frr" hreflang="frr" data-title="Ütjsaagenloogik" data-language-autonym="Nordfriisk" data-language-local-name="Noord-Fries" class="interlanguage-link-target"><span>Nordfriisk</span></a></li><li class="interlanguage-link interwiki-gl mw-list-item"><a href="https://gl.wikipedia.org/wiki/L%C3%B3xica_proposicional" title="Lóxica proposicional – Galisies" lang="gl" hreflang="gl" data-title="Lóxica proposicional" data-language-autonym="Galego" data-language-local-name="Galisies" class="interlanguage-link-target"><span>Galego</span></a></li><li class="interlanguage-link interwiki-he mw-list-item"><a href="https://he.wikipedia.org/wiki/%D7%AA%D7%97%D7%A9%D7%99%D7%91_%D7%94%D7%A4%D7%A1%D7%95%D7%A7%D7%99%D7%9D" title="תחשיב הפסוקים – Hebreeus" lang="he" hreflang="he" data-title="תחשיב הפסוקים" data-language-autonym="עברית" data-language-local-name="Hebreeus" class="interlanguage-link-target"><span>עברית</span></a></li><li class="interlanguage-link interwiki-hi mw-list-item"><a href="https://hi.wikipedia.org/wiki/%E0%A4%AA%E0%A5%8D%E0%A4%B0%E0%A4%A4%E0%A4%BF%E0%A4%9C%E0%A5%8D%E0%A4%9E%E0%A4%AA%E0%A5%8D%E0%A4%A4%E0%A4%BF%E0%A4%95_%E0%A4%95%E0%A4%B2%E0%A4%A8" title="प्रतिज्ञप्तिक कलन – Hindi" lang="hi" hreflang="hi" data-title="प्रतिज्ञप्तिक कलन" data-language-autonym="हिन्दी" data-language-local-name="Hindi" class="interlanguage-link-target"><span>हिन्दी</span></a></li><li class="interlanguage-link interwiki-hu mw-list-item"><a href="https://hu.wikipedia.org/wiki/%C3%8Dt%C3%A9letlogika" title="Ítéletlogika – Hongaars" lang="hu" hreflang="hu" data-title="Ítéletlogika" data-language-autonym="Magyar" data-language-local-name="Hongaars" class="interlanguage-link-target"><span>Magyar</span></a></li><li class="interlanguage-link interwiki-hy mw-list-item"><a href="https://hy.wikipedia.org/wiki/%D4%B1%D5%BD%D5%B8%D6%82%D5%B5%D5%A9%D5%B6%D5%A5%D6%80%D5%AB_%D5%BF%D6%80%D5%A1%D5%B4%D5%A1%D5%A2%D5%A1%D5%B6%D5%B8%D6%82%D5%A9%D5%B5%D5%B8%D6%82%D5%B6" title="Ասույթների տրամաբանություն – Armeens" lang="hy" hreflang="hy" data-title="Ասույթների տրամաբանություն" data-language-autonym="Հայերեն" data-language-local-name="Armeens" class="interlanguage-link-target"><span>Հայերեն</span></a></li><li class="interlanguage-link interwiki-id mw-list-item"><a href="https://id.wikipedia.org/wiki/Kalkulus_proposisional" title="Kalkulus proposisional – Indonesies" lang="id" hreflang="id" data-title="Kalkulus proposisional" data-language-autonym="Bahasa Indonesia" data-language-local-name="Indonesies" class="interlanguage-link-target"><span>Bahasa Indonesia</span></a></li><li class="interlanguage-link interwiki-it mw-list-item"><a href="https://it.wikipedia.org/wiki/Logica_proposizionale" title="Logica proposizionale – Italiaans" lang="it" hreflang="it" data-title="Logica proposizionale" data-language-autonym="Italiano" data-language-local-name="Italiaans" class="interlanguage-link-target"><span>Italiano</span></a></li><li class="interlanguage-link interwiki-ja mw-list-item"><a href="https://ja.wikipedia.org/wiki/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86" title="命題論理 – Japannees" lang="ja" hreflang="ja" data-title="命題論理" data-language-autonym="日本語" data-language-local-name="Japannees" class="interlanguage-link-target"><span>日本語</span></a></li><li class="interlanguage-link interwiki-ko mw-list-item"><a href="https://ko.wikipedia.org/wiki/%EB%AA%85%EC%A0%9C_%EB%85%BC%EB%A6%AC" title="명제 논리 – Koreaans" lang="ko" hreflang="ko" data-title="명제 논리" data-language-autonym="한국어" data-language-local-name="Koreaans" class="interlanguage-link-target"><span>한국어</span></a></li><li class="interlanguage-link interwiki-ky mw-list-item"><a href="https://ky.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0%D0%BB%D1%8B%D0%BA_%D1%81%D2%AF%D0%B9%D0%BB%D3%A9%D3%A9" title="Логикалык сүйлөө – Kirgisies" lang="ky" hreflang="ky" data-title="Логикалык сүйлөө" data-language-autonym="Кыргызча" data-language-local-name="Kirgisies" class="interlanguage-link-target"><span>Кыргызча</span></a></li><li class="interlanguage-link interwiki-la mw-list-item"><a href="https://la.wikipedia.org/wiki/Logica_propositionalis" title="Logica propositionalis – Latyn" lang="la" hreflang="la" data-title="Logica propositionalis" data-language-autonym="Latina" data-language-local-name="Latyn" class="interlanguage-link-target"><span>Latina</span></a></li><li class="interlanguage-link interwiki-lt mw-list-item"><a href="https://lt.wikipedia.org/wiki/Teigini%C5%B3_logika" title="Teiginių logika – Litaus" lang="lt" hreflang="lt" data-title="Teiginių logika" data-language-autonym="Lietuvių" data-language-local-name="Litaus" class="interlanguage-link-target"><span>Lietuvių</span></a></li><li class="interlanguage-link interwiki-nl mw-list-item"><a href="https://nl.wikipedia.org/wiki/Propositielogica" title="Propositielogica – Nederlands" lang="nl" hreflang="nl" data-title="Propositielogica" data-language-autonym="Nederlands" data-language-local-name="Nederlands" class="interlanguage-link-target"><span>Nederlands</span></a></li><li class="interlanguage-link interwiki-nn mw-list-item"><a href="https://nn.wikipedia.org/wiki/Utsegnslogikk" title="Utsegnslogikk – Nuwe Noors" lang="nn" hreflang="nn" data-title="Utsegnslogikk" data-language-autonym="Norsk nynorsk" data-language-local-name="Nuwe Noors" class="interlanguage-link-target"><span>Norsk nynorsk</span></a></li><li class="interlanguage-link interwiki-no mw-list-item"><a href="https://no.wikipedia.org/wiki/Setningslogikk" title="Setningslogikk – Boeknoors" lang="nb" hreflang="nb" data-title="Setningslogikk" data-language-autonym="Norsk bokmål" data-language-local-name="Boeknoors" class="interlanguage-link-target"><span>Norsk bokmål</span></a></li><li class="interlanguage-link interwiki-pl mw-list-item"><a href="https://pl.wikipedia.org/wiki/Rachunek_zda%C5%84" title="Rachunek zdań – Pools" lang="pl" hreflang="pl" data-title="Rachunek zdań" data-language-autonym="Polski" data-language-local-name="Pools" class="interlanguage-link-target"><span>Polski</span></a></li><li class="interlanguage-link interwiki-ps mw-list-item"><a href="https://ps.wikipedia.org/wiki/%D9%82%D8%B6%DB%8C%D9%88%D9%8A_%D8%AD%D8%B3%D8%A7%D8%A8_(%D9%85%D9%86%D8%B7%D9%82)" title="قضیوي حساب (منطق) – Pasjtoe" lang="ps" hreflang="ps" data-title="قضیوي حساب (منطق)" data-language-autonym="پښتو" data-language-local-name="Pasjtoe" class="interlanguage-link-target"><span>پښتو</span></a></li><li class="interlanguage-link interwiki-pt mw-list-item"><a href="https://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional" title="Lógica proposicional – Portugees" lang="pt" hreflang="pt" data-title="Lógica proposicional" data-language-autonym="Português" data-language-local-name="Portugees" class="interlanguage-link-target"><span>Português</span></a></li><li class="interlanguage-link interwiki-ru mw-list-item"><a href="https://ru.wikipedia.org/wiki/%D0%9B%D0%BE%D0%B3%D0%B8%D0%BA%D0%B0_%D0%B2%D1%8B%D1%81%D0%BA%D0%B0%D0%B7%D1%8B%D0%B2%D0%B0%D0%BD%D0%B8%D0%B9" title="Логика высказываний – Russies" lang="ru" hreflang="ru" data-title="Логика высказываний" data-language-autonym="Русский" data-language-local-name="Russies" class="interlanguage-link-target"><span>Русский</span></a></li><li class="interlanguage-link interwiki-simple mw-list-item"><a href="https://simple.wikipedia.org/wiki/Propositional_logic" title="Propositional logic – Simple English" lang="en-simple" hreflang="en-simple" data-title="Propositional logic" data-language-autonym="Simple English" data-language-local-name="Simple English" class="interlanguage-link-target"><span>Simple English</span></a></li><li class="interlanguage-link interwiki-sk mw-list-item"><a href="https://sk.wikipedia.org/wiki/V%C3%BDrokov%C3%A1_logika" title="Výroková logika – Slowaaks" lang="sk" hreflang="sk" data-title="Výroková logika" data-language-autonym="Slovenčina" data-language-local-name="Slowaaks" class="interlanguage-link-target"><span>Slovenčina</span></a></li><li class="interlanguage-link interwiki-sl mw-list-item"><a href="https://sl.wikipedia.org/wiki/Propozicijska_logika" title="Propozicijska logika – Sloweens" lang="sl" hreflang="sl" data-title="Propozicijska logika" data-language-autonym="Slovenščina" data-language-local-name="Sloweens" class="interlanguage-link-target"><span>Slovenščina</span></a></li><li class="interlanguage-link interwiki-sr mw-list-item"><a href="https://sr.wikipedia.org/wiki/%D0%98%D1%81%D0%BA%D0%B0%D0%B7%D0%BD%D0%B8_%D1%80%D0%B0%D1%87%D1%83%D0%BD" title="Исказни рачун – Serwies" lang="sr" hreflang="sr" data-title="Исказни рачун" data-language-autonym="Српски / srpski" data-language-local-name="Serwies" class="interlanguage-link-target"><span>Српски / srpski</span></a></li><li class="interlanguage-link interwiki-sv mw-list-item"><a href="https://sv.wikipedia.org/wiki/Satslogik" title="Satslogik – Sweeds" lang="sv" hreflang="sv" data-title="Satslogik" data-language-autonym="Svenska" data-language-local-name="Sweeds" class="interlanguage-link-target"><span>Svenska</span></a></li><li class="interlanguage-link interwiki-th mw-list-item"><a href="https://th.wikipedia.org/wiki/%E0%B9%81%E0%B8%84%E0%B8%A5%E0%B8%84%E0%B8%B9%E0%B8%A5%E0%B8%B1%E0%B8%AA%E0%B9%80%E0%B8%8A%E0%B8%B4%E0%B8%87%E0%B8%9B%E0%B8%A3%E0%B8%B0%E0%B8%9E%E0%B8%88%E0%B8%99%E0%B9%8C" title="แคลคูลัสเชิงประพจน์ – Thai" lang="th" hreflang="th" data-title="แคลคูลัสเชิงประพจน์" data-language-autonym="ไทย" data-language-local-name="Thai" class="interlanguage-link-target"><span>ไทย</span></a></li><li class="interlanguage-link interwiki-tr mw-list-item"><a href="https://tr.wikipedia.org/wiki/%C3%96nermeler_mant%C4%B1%C4%9F%C4%B1" title="Önermeler mantığı – Turks" lang="tr" hreflang="tr" data-title="Önermeler mantığı" data-language-autonym="Türkçe" data-language-local-name="Turks" class="interlanguage-link-target"><span>Türkçe</span></a></li><li class="interlanguage-link interwiki-uk mw-list-item"><a href="https://uk.wikipedia.org/wiki/%D0%A7%D0%B8%D1%81%D0%BB%D0%B5%D0%BD%D0%BD%D1%8F_%D0%B2%D0%B8%D1%81%D0%BB%D0%BE%D0%B2%D0%BB%D0%B5%D0%BD%D1%8C" title="Числення висловлень – Oekraïens" lang="uk" hreflang="uk" data-title="Числення висловлень" data-language-autonym="Українська" data-language-local-name="Oekraïens" class="interlanguage-link-target"><span>Українська</span></a></li><li class="interlanguage-link interwiki-vi mw-list-item"><a href="https://vi.wikipedia.org/wiki/M%E1%BB%87nh_%C4%91%E1%BB%81_to%C3%A1n_h%E1%BB%8Dc" title="Mệnh đề toán học – Viëtnamees" lang="vi" hreflang="vi" data-title="Mệnh đề toán học" data-language-autonym="Tiếng Việt" data-language-local-name="Viëtnamees" class="interlanguage-link-target"><span>Tiếng Việt</span></a></li><li class="interlanguage-link interwiki-zh mw-list-item"><a href="https://zh.wikipedia.org/wiki/%E5%91%BD%E9%A2%98%E9%80%BB%E8%BE%91" title="命题逻辑 – Chinees" lang="zh" hreflang="zh" data-title="命题逻辑" data-language-autonym="中文" data-language-local-name="Chinees" class="interlanguage-link-target"><span>中文</span></a></li><li class="interlanguage-link interwiki-zh-yue mw-list-item"><a href="https://zh-yue.wikipedia.org/wiki/%E5%91%BD%E9%A1%8C%E9%82%8F%E8%BC%AF" title="命題邏輯 – Kantonees" lang="yue" hreflang="yue" data-title="命題邏輯" data-language-autonym="粵語" data-language-local-name="Kantonees" class="interlanguage-link-target"><span>粵語</span></a></li> </ul> <div class="after-portlet after-portlet-lang"><span class="wb-langlinks-edit wb-langlinks-link"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q200694#sitelinks-wikipedia" title="Wysig skakels tussen tale" class="wbc-editpage">Wysig skakels</a></span></div> </div> </div> </div> </header> <div class="vector-page-toolbar"> <div class="vector-page-toolbar-container"> <div id="left-navigation"> <nav aria-label="Naamruimtes"> <div id="p-associated-pages" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-associated-pages" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Proposisionele_logika" title="Bekyk die inhoudbladsy [c]" accesskey="c"><span>Bladsy</span></a></li><li id="ca-talk" class="vector-tab-noicon mw-list-item"><a href="/wiki/Bespreking:Proposisionele_logika" rel="discussion" title="Bespreking oor die inhoudbladsy [t]" accesskey="t"><span>Bespreking</span></a></li> </ul> </div> </div> <div id="vector-variants-dropdown" class="vector-dropdown emptyPortlet" > <input type="checkbox" id="vector-variants-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-variants-dropdown" class="vector-dropdown-checkbox " aria-label="Verander taalvariant" > <label id="vector-variants-dropdown-label" for="vector-variants-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Afrikaans</span> </label> <div class="vector-dropdown-content"> <div id="p-variants" class="vector-menu mw-portlet mw-portlet-variants emptyPortlet" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </div> </div> </div> </nav> </div> <div id="right-navigation" class="vector-collapsible"> <nav aria-label="Weergawes"> <div id="p-views" class="vector-menu vector-menu-tabs mw-portlet mw-portlet-views" > <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected vector-tab-noicon mw-list-item"><a href="/wiki/Proposisionele_logika"><span>Lees</span></a></li><li id="ca-ve-edit" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Proposisionele_logika&veaction=edit" title="Redigeer hierdie bladsy [v]" accesskey="v"><span>Wysig</span></a></li><li id="ca-edit" class="collapsible vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Proposisionele_logika&action=edit" title="Wysig die bladsy se bonkode [e]" accesskey="e"><span>Wysig bron</span></a></li><li id="ca-history" class="vector-tab-noicon mw-list-item"><a href="/w/index.php?title=Proposisionele_logika&action=history" title="Ouer weergawes van hierdie bladsy [h]" accesskey="h"><span>Wys geskiedenis</span></a></li> </ul> </div> </div> </nav> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-dropdown" class="vector-dropdown vector-page-tools-dropdown" > <input type="checkbox" id="vector-page-tools-dropdown-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-vector-page-tools-dropdown" class="vector-dropdown-checkbox " aria-label="Gereedskap" > <label id="vector-page-tools-dropdown-label" for="vector-page-tools-dropdown-checkbox" class="vector-dropdown-label cdx-button cdx-button--fake-button cdx-button--fake-button--enabled cdx-button--weight-quiet" aria-hidden="true" ><span class="vector-dropdown-label-text">Gereedskap</span> </label> <div class="vector-dropdown-content"> <div id="vector-page-tools-unpinned-container" class="vector-unpinned-container"> <div id="vector-page-tools" class="vector-page-tools vector-pinnable-element"> <div class="vector-pinnable-header vector-page-tools-pinnable-header vector-pinnable-header-unpinned" data-feature-name="page-tools-pinned" data-pinnable-element-id="vector-page-tools" data-pinned-container-id="vector-page-tools-pinned-container" data-unpinned-container-id="vector-page-tools-unpinned-container" > <div class="vector-pinnable-header-label">Gereedskap</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-page-tools.pin">skuif na kantbalk</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-page-tools.unpin">versteek</button> </div> <div id="p-cactions" class="vector-menu mw-portlet mw-portlet-cactions emptyPortlet vector-has-collapsible-items" title="More options" > <div class="vector-menu-heading"> Actions </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-more-view" class="selected vector-more-collapsible-item mw-list-item"><a href="/wiki/Proposisionele_logika"><span>Lees</span></a></li><li id="ca-more-ve-edit" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Proposisionele_logika&veaction=edit" title="Redigeer hierdie bladsy [v]" accesskey="v"><span>Wysig</span></a></li><li id="ca-more-edit" class="collapsible vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Proposisionele_logika&action=edit" title="Wysig die bladsy se bonkode [e]" accesskey="e"><span>Wysig bron</span></a></li><li id="ca-more-history" class="vector-more-collapsible-item mw-list-item"><a href="/w/index.php?title=Proposisionele_logika&action=history"><span>Wys geskiedenis</span></a></li> </ul> </div> </div> <div id="p-tb" class="vector-menu mw-portlet mw-portlet-tb" > <div class="vector-menu-heading"> Algemeen </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Spesiaal:Skakels_hierheen/Proposisionele_logika" title="'n Lys bladsye wat hierheen skakel [j]" accesskey="j"><span>Skakels hierheen</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Spesiaal:OnlangseVeranderingsMetSkakels/Proposisionele_logika" rel="nofollow" title="Onlangse wysigings aan bladsye wat vanaf hierdie bladsy geskakel is [k]" accesskey="k"><span>Verwante veranderings</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Spesiaal:Spesiale_bladsye" title="'n Lys van al die spesiale bladsye [q]" accesskey="q"><span>Spesiale bladsye</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Proposisionele_logika&oldid=1395380" title="'n Permanente skakel na hierdie weergawe van die bladsy"><span>Permanente skakel</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Proposisionele_logika&action=info" title="More information about this page"><span>Bladinligting</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Spesiaal:CiteThisPage&page=Proposisionele_logika&id=1395380&wpFormIdentifier=titleform" title="Inligting oor hoe u hierdie bladsy kan verwys"><span>Haal dié blad aan</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Spesiaal:UrlShortener&url=https%3A%2F%2Faf.wikipedia.org%2Fwiki%2FProposisionele_logika"><span>Kry verkorte URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Spesiaal:QrCode&url=https%3A%2F%2Faf.wikipedia.org%2Fwiki%2FProposisionele_logika"><span>Laai QR-kode af</span></a></li> </ul> </div> </div> <div id="p-coll-print_export" class="vector-menu mw-portlet mw-portlet-coll-print_export" > <div class="vector-menu-heading"> Druk/uitvoer </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="coll-create_a_book" class="mw-list-item"><a href="/w/index.php?title=Spesiaal:Boek&bookcmd=book_creator&referer=Proposisionele+logika"><span>Skep boek</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Spesiaal:DownloadAsPdf&page=Proposisionele_logika&action=show-download-screen"><span>Laai af as PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Proposisionele_logika&printable=yes" title="Drukbare weergawe van hierdie bladsy [p]" accesskey="p"><span>Drukbare weergawe</span></a></li> </ul> </div> </div> <div id="p-wikibase-otherprojects" class="vector-menu mw-portlet mw-portlet-wikibase-otherprojects" > <div class="vector-menu-heading"> Ander projekte </div> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li class="wb-otherproject-link wb-otherproject-commons mw-list-item"><a href="https://commons.wikimedia.org/wiki/Category:Propositional_logic" hreflang="en"><span>Wikimedia Commons</span></a></li><li id="t-wikibase" class="wb-otherproject-link wb-otherproject-wikibase-dataitem mw-list-item"><a href="https://www.wikidata.org/wiki/Special:EntityPage/Q200694" title="Skakel na gekonnekteerde databank item [g]" accesskey="g"><span>Wikidata-item</span></a></li> </ul> </div> </div> </div> </div> </div> </div> </nav> </div> </div> </div> <div class="vector-column-end"> <div class="vector-sticky-pinned-container"> <nav class="vector-page-tools-landmark" aria-label="Page tools"> <div id="vector-page-tools-pinned-container" class="vector-pinned-container"> </div> </nav> <nav class="vector-appearance-landmark" aria-label="Voorkoms"> <div id="vector-appearance-pinned-container" class="vector-pinned-container"> <div id="vector-appearance" class="vector-appearance vector-pinnable-element"> <div class="vector-pinnable-header vector-appearance-pinnable-header vector-pinnable-header-pinned" data-feature-name="appearance-pinned" data-pinnable-element-id="vector-appearance" data-pinned-container-id="vector-appearance-pinned-container" data-unpinned-container-id="vector-appearance-unpinned-container" > <div class="vector-pinnable-header-label">Voorkoms</div> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-pin-button" data-event-name="pinnable-header.vector-appearance.pin">skuif na kantbalk</button> <button class="vector-pinnable-header-toggle-button vector-pinnable-header-unpin-button" data-event-name="pinnable-header.vector-appearance.unpin">versteek</button> </div> </div> </div> </nav> </div> </div> <div id="bodyContent" class="vector-body" aria-labelledby="firstHeading" data-mw-ve-target-container> <div class="vector-body-before-content"> <div class="mw-indicators"> </div> <div id="siteSub" class="noprint">in Wikipedia, die vrye ensiklopedie</div> </div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="mw-content-text" class="mw-body-content"><div class="mw-content-ltr mw-parser-output" lang="af" dir="ltr"><p>As ons kyk na die logiese vorm van sinne wat uit eenvoudige ("atomiese") sinne opgebou is met behulp van die <a href="/wiki/Logika" title="Logika">logiese</a> woordjies, konnektiewe, soos "nie", "en", "of" en "as …, dan ...", dan het ons te doen met <b>proposisionele logika</b>, waar 'n proposisie dit is wat 'n sin sê, 'n bewering dus. </p><p>Om die logiese vorm van sinne duidelik na vore te bring, gebruik ons in die proposisielogika 'n verkorte notasie, wat uit letters en spesiale simbole bestaan. Die atomiese sinne word deur letters aangedui: "Andries gaan" skryf ons net as A; en "Bettie gaan" as B. </p><p>Die konnektiewe word deur spesiale simbole aangedui: </p><p>"nie" deur ¬; "en" deur Ù; "of" ("en/of") deur Ú; "as …, dan ..." deur ® </p><p>Met hierdie afsprake kan ons nou ons voorbeeld van 'n argument in die proposisielogika soos volg neerskryf: </p> <ul><li>(1) A Ú B</li> <li>(2) ¬A</li> <li>(3) B</li></ul> <p>Wat ons hier het, is 'n geldige argumentvorm: vir enige twee sinne in die plek van A en B kry ons 'n geldige argument. Ons kan die geldigheid toets met 'n waarheidstabel: stel "waar" voor met die <a href="/wiki/Syfer" title="Syfer">syfer</a> 1 en "onwaar" met 0; skryf dan al die moontlike kombinasies van die waarheid of onwaarheid van A en B neer; kyk vir elk van hierdie (vier) kombinasies wat die waarheid of onwaarheid van (1), (2) en (3) is; kontroleer of vir al daardie gevalle waar (1) en (2) beide waar is, (3) ook waar is; indien wel, dan is die argumentvorm geldig. </p> <table border="1"> <tbody><tr> <td>A</td> <td>(3) B</td> <td>(1) A Ú B</td> <td>(2) ¬A </td></tr> <tr> <td>1</td> <td>1</td> <td>1</td> <td>0 </td></tr> <tr> <td>1</td> <td>0</td> <td>1</td> <td>0 </td></tr> <tr> <td>0</td> <td>1</td> <td>1</td> <td>1 </td></tr> <tr> <td>0</td> <td>0</td> <td>0</td> <td>1 </td></tr></tbody></table> <p>Let op dat daar net een geval (een ry in die tabel) is waarin (1) en (2) beide waar is, naamlik die derde van die vier rye. In daardie geval is (3) ook waar, en ons het dus 'n geldige argument. </p>    </div><noscript><img src="https://login.wikimedia.org/wiki/Special:CentralAutoLogin/start?type=1x1" alt="" width="1" height="1" style="border: none; position: absolute;"></noscript> <div class="printfooter" data-nosnippet="">Ontsluit van "<a dir="ltr" href="https://af.wikipedia.org/w/index.php?title=Proposisionele_logika&oldid=1395380">https://af.wikipedia.org/w/index.php?title=Proposisionele_logika&oldid=1395380</a>"</div></div> <div id="catlinks" class="catlinks" data-mw="interface"><div id="mw-normal-catlinks" class="mw-normal-catlinks"><a href="/wiki/Spesiaal:Kategorie%C3%AB" title="Spesiaal:Kategorieë">Kategorie</a>: <ul><li><a href="/wiki/Kategorie:Taalkunde" title="Kategorie:Taalkunde">Taalkunde</a></li></ul></div></div> </div> </main> </div> <div class="mw-footer-container"> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> Die bladsy is laas op 29 Oktober 2015 om 12:19 bygewerk.</li> <li id="footer-info-copyright">Die teks is beskikbaar onder die lisensie <a rel="nofollow" class="external text" href="https://creativecommons.org/licenses/by-sa/4.0/">Creative Commons Erkenning-Insgelyks Deel</a>. Aanvullende voorwaardes kan moontlik ook van toepassing wees. Sien die <a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use">Algemene Voorwaardes</a> vir meer inligting.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Privaatheidsbeleid</a></li> <li id="footer-places-about"><a href="/wiki/Wikipedia:Oor">Inligting oor Wikipedia</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Wikipedia:Voorwaardes">Vrywaring</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Gedragskode</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Ontwikkelaars</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/af.wikipedia.org">Statistieke</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Koekieverklaring</a></li> <li id="footer-places-mobileview"><a href="//af.m.wikipedia.org/w/index.php?title=Proposisionele_logika&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Selfoonweergawe</a></li> </ul> <ul id="footer-icons" class="noprint"> <li id="footer-copyrightico"><a href="https://wikimediafoundation.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/static/images/footer/wikimedia-button.svg" width="84" height="29" alt="Wikimedia Foundation" loading="lazy"></a></li> <li id="footer-poweredbyico"><a href="https://www.mediawiki.org/" class="cdx-button cdx-button--fake-button cdx-button--size-large cdx-button--fake-button--enabled"><img src="/w/resources/assets/poweredby_mediawiki.svg" alt="Powered by MediaWiki" width="88" height="31" loading="lazy"></a></li> </ul> </footer> </div> </div> </div> <div class="vector-settings" id="p-dock-bottom"> <ul></ul> </div><script>(RLQ=window.RLQ||[]).push(function(){mw.config.set({"wgHostname":"mw-web.codfw.main-84d8f4b96-7zd97","wgBackendResponseTime":185,"wgPageParseReport":{"limitreport":{"cputime":"0.006","walltime":"0.008","ppvisitednodes":{"value":1,"limit":1000000},"postexpandincludesize":{"value":0,"limit":2097152},"templateargumentsize":{"value":0,"limit":2097152},"expansiondepth":{"value":1,"limit":100},"expensivefunctioncount":{"value":0,"limit":500},"unstrip-depth":{"value":0,"limit":20},"unstrip-size":{"value":0,"limit":5000000},"entityaccesscount":{"value":0,"limit":400},"timingprofile":["100.00% 0.000 1 -total"]},"cachereport":{"origin":"mw-web.codfw.main-84d8f4b96-7zd97","timestamp":"20241116140014","ttl":2592000,"transientcontent":false}}});});</script> <script type="application/ld+json">{"@context":"https:\/\/schema.org","@type":"Article","name":"Proposisionele logika","url":"https:\/\/af.wikipedia.org\/wiki\/Proposisionele_logika","sameAs":"http:\/\/www.wikidata.org\/entity\/Q200694","mainEntity":"http:\/\/www.wikidata.org\/entity\/Q200694","author":{"@type":"Organization","name":"Contributors to Wikimedia projects"},"publisher":{"@type":"Organization","name":"Wikimedia Foundation, Inc.","logo":{"@type":"ImageObject","url":"https:\/\/www.wikimedia.org\/static\/images\/wmf-hor-googpub.png"}},"datePublished":"2007-09-27T16:20:58Z","dateModified":"2015-10-29T12:19:52Z"}</script> </body> </html>