CINXE.COM

<!DOCTYPE html> <html class="client-nojs" lang="en" dir="ltr"> <head> <meta charset="UTF-8"> <title>propositional calculus - Wikidata</title> <script>(function(){var className="client-js";var cookie=document.cookie.match(/(?:^|; )wikidatawikimwclientpreferences=([^;]+)/);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":["",""],"wgDigitTransformTable":["",""],"wgDefaultDateFormat":"dmy","wgMonthNames":["","January","February","March","April","May","June","July","August","September","October","November","December"],"wgRequestId":"f3b6fdf9-1851-4d03-a384-efc97d1053f6","wgCanonicalNamespace":"","wgCanonicalSpecialPageName":false,"wgNamespaceNumber":0,"wgPageName":"Q200694","wgTitle":"Q200694","wgCurRevisionId":2278135849,"wgRevisionId":2278135849,"wgArticleId":197418,"wgIsArticle":true,"wgIsRedirect":false,"wgAction":"view","wgUserName":null,"wgUserGroups":["*"],"wgCategories":[], "wgPageViewLanguage":"en","wgPageContentLanguage":"en","wgPageContentModel":"wikibase-item","wgRelevantPageName":"Q200694","wgRelevantArticleId":197418,"wgIsProbablyEditable":true,"wgRelevantPageIsProbablyEditable":true,"wgRestrictionEdit":[],"wgNoticeProject":"wikidata","wgCiteReferencePreviewsActive":true,"wgMediaViewerOnClick":true,"wgMediaViewerEnabledByDefault":true,"wgVisualEditor":{"pageLanguageCode":"en","pageLanguageDir":"ltr","pageVariantFallbacks":"en"},"wgMFDisplayWikibaseDescriptions":{"search":true,"watchlist":true,"tagline":false,"nearby":true},"wgWMESchemaEditAttemptStepOversample":false,"wgWMEPageLength":50000,"wbUserPreferredContentLanguages":["en"],"wbUserSpecifiedLanguages":[],"wbCopyright":{"version":"wikibase-1","messageHtml": "By clicking \"publish\", you agree to the \u003Ca href=\"https://foundation.wikimedia.org/wiki/Terms_of_Use\" class=\"extiw\" title=\"wikimedia:Terms of Use\"\u003Eterms of use\u003C/a\u003E, and you irrevocably agree to release your contribution under the \u003Ca rel=\"nofollow\" class=\"external text\" href=\"https://creativecommons.org/publicdomain/zero/1.0/\"\u003ECreative Commons CC0 License\u003C/a\u003E."},"wbBadgeItems":{"Q17437798":"wb-badge-goodarticle","Q17437796":"wb-badge-featuredarticle","Q17559452":"wb-badge-recommendedarticle","Q17506997":"wb-badge-featuredlist","Q17580674":"wb-badge-featuredportal","Q20748091":"wb-badge-notproofread","Q20748094":"wb-badge-problematic","Q20748092":"wb-badge-proofread","Q20748093":"wb-badge-validated","Q28064618":"wb-badge-digitaldocument","Q51759403":"wb-badge-goodlist","Q70893996":"wb-badge-redirect-sitelink","Q70894304":"wb-badge-redirect-intentional-sitelink"},"wbMultiLingualStringLimit":250,"wbTaintedReferencesEnabled":true, "wbIsEditView":true,"wbEntityId":"Q200694","wgEditSubmitButtonLabelPublish":true,"wgCentralAuthMobileDomain":false,"wgULSPosition":"personal","wgULSisCompactLinksEnabled":true,"wgVector2022LanguageInHeader":false,"wgULSisLanguageSelectorEmpty":false,"wgCheckUserClientHintsHeadersJsApi":["brands","architecture","bitness","fullVersionList","mobile","model","platform","platformVersion"]};RLSTATE={"ext.globalCssJs.user.styles":"ready","site.styles":"ready","user.styles":"ready","ext.globalCssJs.user":"ready","user":"ready","user.options":"loading","ext.math.styles":"ready","wikibase.alltargets":"ready","wikibase.desktop":"ready","jquery.wikibase.toolbar.styles":"ready","skins.vector.styles.legacy":"ready","jquery.makeCollapsible.styles":"ready","ext.visualEditor.desktopArticleTarget.noscript":"ready","codex-search-styles":"ready","ext.uls.pt":"ready","ext.wikidata-org.badges":"ready","ext.wikimediaBadges":"ready"};RLPAGEMODULES=["wikibase.entityPage.entityLoaded", "wikibase.ui.entityViewInit","site","mediawiki.page.ready","jquery.makeCollapsible","skins.vector.legacy.js","wikibase.ui.entitysearch","ext.centralNotice.geoIP","ext.centralNotice.startUp","ext.gadget.Search","ext.gadget.AuthorityControl","ext.gadget.SiteIdToInterwiki","ext.gadget.ProtectionIndicators","ext.gadget.imagelinks","ext.gadget.formWizard","ext.urlShortener.toolbar","ext.centralauth.centralautologin","ext.visualEditor.desktopArticleTarget.init","ext.visualEditor.targetLoader","ext.citoid.wikibase.init","ext.echo.centralauth","ext.eventLogging","ext.wikimediaEvents","ext.wikimediaEvents.wikibase","ext.navigationTiming","ext.uls.compactlinks","ext.uls.interface","propertySuggester.suggestions","wikibase.quality.constraints.suggestions","wikibase.quality.constraints.gadget","ext.checkUser.clientHints"];</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=en&modules=codex-search-styles%7Cext.math.styles%7Cext.uls.pt%7Cext.visualEditor.desktopArticleTarget.noscript%7Cext.wikidata-org.badges%7Cext.wikimediaBadges%7Cjquery.makeCollapsible.styles%7Cjquery.wikibase.toolbar.styles%7Cskins.vector.styles.legacy%7Cwikibase.alltargets%2Cdesktop&only=styles&skin=vector"> <script async="" src="/w/load.php?lang=en&modules=startup&only=scripts&raw=1&skin=vector"></script> <meta name="ResourceLoaderDynamicStyles" content=""> <link rel="stylesheet" href="/w/load.php?lang=en&modules=site.styles&only=styles&skin=vector"> <meta name="generator" content="MediaWiki 1.44.0-wmf.4"> <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 property="og:title" content="propositional calculus"> <meta name="description" content="branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components"> <meta property="og:description" content="branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components"> <meta property="og:type" content="summary"> <meta name="viewport" content="width=1120"> <link rel="alternate" href="https://www.wikidata.org/wiki/Special:EntityData/Q200694.json" type="application/json"> <link rel="alternate" href="https://www.wikidata.org/wiki/Special:EntityData/Q200694.php" type="application/vnd.php.serialized"> <link rel="alternate" href="https://www.wikidata.org/wiki/Special:EntityData/Q200694.n3" type="text/n3"> <link rel="alternate" href="https://www.wikidata.org/wiki/Special:EntityData/Q200694.ttl" type="text/turtle"> <link rel="alternate" href="https://www.wikidata.org/wiki/Special:EntityData/Q200694.nt" type="application/n-triples"> <link rel="alternate" href="https://www.wikidata.org/wiki/Special:EntityData/Q200694.rdf" type="application/rdf+xml"> <link rel="alternate" href="https://www.wikidata.org/wiki/Special:EntityData/Q200694.jsonld" type="application/ld+json"> <link rel="alternate" media="only screen and (max-width: 640px)" href="//m.wikidata.org/wiki/Q200694"> <link rel="alternate" type="application/x-wiki" title="Edit" href="/w/index.php?title=Q200694&action=edit"> <link rel="apple-touch-icon" href="/static/apple-touch/wikidata.png"> <link rel="icon" href="/static/favicon/wikidata.ico"> <link rel="search" type="application/opensearchdescription+xml" href="/w/rest.php/v1/search" title="Wikidata (en)"> <link rel="EditURI" type="application/rsd+xml" href="//www.wikidata.org/w/api.php?action=rsd"> <link rel="canonical" href="https://www.wikidata.org/wiki/Q200694"> <link rel="license" href="/wiki/Wikidata:Copyright"> <link rel="alternate" type="application/atom+xml" title="Wikidata Atom feed" href="/w/index.php?title=Special:RecentChanges&feed=atom"> <link rel="dns-prefetch" href="//meta.wikimedia.org" /> <link rel="dns-prefetch" href="//login.wikimedia.org"> </head> <body class="skin-vector-legacy mediawiki ltr sitedir-ltr mw-hide-empty-elt ns-0 ns-subject mw-editable page-Q200694 rootpage-Q200694 skin-vector action-view wb-entitypage wb-itempage wb-itempage-Q200694"><div id="mw-page-base" class="noprint"></div> <div id="mw-head-base" class="noprint"></div> <div id="content" class="mw-body" role="main"> <a id="top"></a> <div id="siteNotice"></div> <div class="mw-indicators"> </div> <h1 id="firstHeading" class="firstHeading mw-first-heading"><span class="wikibase-title "> <span class="wikibase-title-label">propositional calculus</span> <span class="wikibase-title-id">(Q200694)</span> </span></h1> <div id="bodyContent" class="vector-body"> <div id="siteSub" class="noprint">From Wikidata</div> <div id="contentSub"><div id="mw-content-subtitle"></div></div> <div id="contentSub2"></div> <div id="jump-to-nav"></div> <a class="mw-jump-link" href="#mw-head">Jump to navigation</a> <a class="mw-jump-link" href="#searchInput">Jump to search</a> <div id="mw-content-text" class="mw-body-content"><div id="wb-item-Q200694" class="wikibase-entityview wb-item" lang="en" dir="ltr"> <div class="wikibase-entityview-main"><div class="wikibase-entitytermsview"> <div class="wikibase-entitytermsview-heading"> <div class="wikibase-entitytermsview-heading-description ">branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components</div><div class="wikibase-entitytermsview-heading-aliases "><ul class="wikibase-entitytermsview-aliases"><li class="wikibase-entitytermsview-aliases-alias" data-aliases-separator="|">sentential calculus</li><li class="wikibase-entitytermsview-aliases-alias" data-aliases-separator="|">sentential logic</li><li class="wikibase-entitytermsview-aliases-alias" data-aliases-separator="|">statement logic</li><li class="wikibase-entitytermsview-aliases-alias" data-aliases-separator="|">zeroth-order logic</li><li class="wikibase-entitytermsview-aliases-alias" data-aliases-separator="|">propositional logic</li></ul></div> </div> <span class="wikibase-toolbar-container"><span class="wikibase-toolbar-item wikibase-toolbar "><span class="wikibase-toolbar-item wikibase-toolbar-button wikibase-toolbar-button-edit"><a href="/wiki/Special:SetLabelDescriptionAliases/Q200694/en" title=""><span class="wb-icon"></span>edit</a></span></span></span> <div class="wikibase-entitytermsview-entitytermsforlanguagelistview "><table class="wikibase-entitytermsforlanguagelistview"> <thead class="wikibase-entitytermsforlanguagelistview-header"> <tr class="wikibase-entitytermsforlanguagelistview-header-row"> <th scope="col" class="wikibase-entitytermsforlanguagelistview-cell wikibase-entitytermsforlanguagelistview-language">Language</th> <th scope="col" class="wikibase-entitytermsforlanguagelistview-cell wikibase-entitytermsforlanguagelistview-label">Label</th> <th scope="col" class="wikibase-entitytermsforlanguagelistview-cell wikibase-entitytermsforlanguagelistview-description">Description</th> <th scope="col" class="wikibase-entitytermsforlanguagelistview-cell wikibase-entitytermsforlanguagelistview-aliases">Also known as</th> </tr> </thead> <tbody class="wikibase-entitytermsforlanguagelistview-listview"><tr class="wikibase-entitytermsforlanguageview wikibase-entitytermsforlanguageview-en" > <th class="wikibase-entitytermsforlanguageview-language">English</th> <td class="wikibase-entitytermsforlanguageview-label"><div class="wikibase-labelview " dir="ltr" lang="en"><div class="wikibase-labelview-container"><span class="wikibase-labelview-text">propositional calculus</span></div></div></td> <td class="wikibase-entitytermsforlanguageview-description"><div class="wikibase-descriptionview " dir="ltr" lang="en"><div class="wikibase-descriptionview-container"><span class="wikibase-descriptionview-text">branch of logic concerned with the study of propositions (whether they are true or false) that are formed by other propositions with the use of logical connectives, and how their value depends on the truth value of their components</span></div></div></td> <td class="wikibase-entitytermsforlanguageview-aliases"><div class="wikibase-aliasesview "> <ul class="wikibase-aliasesview-list" dir="ltr" lang="en"><li class="wikibase-aliasesview-list-item">sentential calculus</li><li class="wikibase-aliasesview-list-item">sentential logic</li><li class="wikibase-aliasesview-list-item">statement logic</li><li class="wikibase-aliasesview-list-item">zeroth-order logic</li><li class="wikibase-aliasesview-list-item">propositional logic</li></ul> </div></td> </tr></tbody> </table></div> </div><div id="toc"></div><h2 class="wb-section-heading section-heading wikibase-statements" dir="auto" id="claims">Statements</h2><div class="wikibase-statementgrouplistview"><div class="wikibase-listview"><div class="wikibase-statementgroupview" id="P279" data-property-id="P279"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P279" href="/wiki/Property:P279">subclass of</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$91ebe053-483a-a885-e7cb-fe99e7ab8819" class="wikibase-statementview wikibase-statement-Q200694$91ebe053-483a-a885-e7cb-fe99e7ab8819 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-21f1cab25e81bc940407388bc10a3fc6c43c6f9b"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q17488292" href="/wiki/Q17488292">logical system</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P361" data-property-id="P361"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P361" href="/wiki/Property:P361">part of</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$CE1971AE-A0E7-4F9A-BE43-3BE62D939169" class="wikibase-statementview wikibase-statement-Q200694$CE1971AE-A0E7-4F9A-BE43-3BE62D939169 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-55213e27a6d59fdbfa4647928fd91f430cd2f66c"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q8078" href="/wiki/Q8078">logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div><div id="Q200694$88798F7D-D9FB-4FBD-9F9F-54BDFE446D9D" class="wikibase-statementview wikibase-statement-Q200694$88798F7D-D9FB-4FBD-9F9F-54BDFE446D9D wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-6b4a4e1c2521b7744cb440db33fe9300933066a7"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q1166618" href="/wiki/Q1166618">mathematical logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P2578" data-property-id="P2578"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P2578" href="/wiki/Property:P2578">is the study of</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$01cd8be7-42b3-7edc-ed48-0e94b7efa98e" class="wikibase-statementview wikibase-statement-Q200694$01cd8be7-42b3-7edc-ed48-0e94b7efa98e wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-282ca69af3ff4ea1c38a731e2bd353ff2a75f296"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q1372900" href="/wiki/Q1372900">propositional formula</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P2534" data-property-id="P2534"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P2534" href="/wiki/Property:P2534">defining formula</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$A377584B-B250-4C7E-A8A2-3F94AB15247F" class="wikibase-statementview wikibase-statement-Q200694$A377584B-B250-4C7E-A8A2-3F94AB15247F wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-7fd953855ed56e80f917bcbca1d1d37408320698"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><span class="mwe-math-element"><span class="mwe-math-mathml-inline mwe-math-mathml-a11y" style="display: none;"><math xmlns="http://www.w3.org/1998/Math/MathML" alttext="{\displaystyle P\to Q,P\vdash Q}"> <semantics> <mrow class="MJX-TeXAtom-ORD"> <mstyle displaystyle="true" scriptlevel="0"> <mi>P</mi> <mo stretchy="false">→</mo> <mi>Q</mi> <mo>,</mo> <mi>P</mi> <mo>⊢</mo> <mi>Q</mi> </mstyle> </mrow> <annotation encoding="application/x-tex">{\displaystyle P\to Q,P\vdash Q}</annotation> </semantics> </math></span><img src="https://wikimedia.org/api/rest_v1/media/math/render/svg/2f6b1bf712367f9c2db9774415f397953dda2fc8" class="mwe-math-fallback-image-inline mw-invert skin-invert" aria-hidden="true" style="vertical-align: -0.671ex; width:14.526ex; height:2.509ex;" alt="{\displaystyle P\to Q,P\vdash Q}"></span></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">1 reference</div> <div class="wikibase-statementview-references wikibase-initially-collapsed"><div class="wikibase-listview"><div class="wikibase-referenceview wikibase-referenceview-fa278ebfc458360e5aed63d5058cca83c46134f1"> <div class="wikibase-referenceview-heading"></div> <div class="wikibase-referenceview-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-e4f6d9441d0600513c4533c672b5ab472dc73694"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P143" href="/wiki/Property:P143">imported from Wikimedia project</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q328" href="/wiki/Q328">English Wikipedia</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div> </div></div></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P1343" data-property-id="P1343"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P1343" href="/wiki/Property:P1343">described by source</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$734bfbca-e31d-4882-8471-5e54f1fe89d9" class="wikibase-statementview wikibase-statement-Q200694$734bfbca-e31d-4882-8471-5e54f1fe89d9 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-5e9fb52299a9fa21b40b379de8b213215b87e2c0"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q123560817" href="/wiki/Q123560817">Armenian Soviet Encyclopedia, vol. 1</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-065e5b65b6a48819e0b7707e639e7518d935ab2b"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P304" href="/wiki/Property:P304">page(s)</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">596-597</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P1552" data-property-id="P1552"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P1552" href="/wiki/Property:P1552">has characteristic</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$64f72c5c-46f4-b194-986d-55c9c0caa457" class="wikibase-statementview wikibase-statement-Q200694$64f72c5c-46f4-b194-986d-55c9c0caa457 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-30ef0d59163994cfc8a53a4877119726d48e9d38"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q1047000" href="/wiki/Q1047000">validity</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P5008" data-property-id="P5008"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P5008" href="/wiki/Property:P5008">on focus list of Wikimedia project</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$3974B3CB-211F-4741-AE93-E6AEA6C7B539" class="wikibase-statementview wikibase-statement-Q200694$3974B3CB-211F-4741-AE93-E6AEA6C7B539 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-136e3fbe19158e73e4bfebf3f2d98a9df8638b7e"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q6173448" href="/wiki/Q6173448">Wikipedia:Vital articles/Level/4</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-7661f66dd5b82a1ea92515ddb16c09ce3088edea"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P585" href="/wiki/Property:P585">point in time</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">31 October 2022</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P6104" data-property-id="P6104"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P6104" href="/wiki/Property:P6104">maintained by WikiProject</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$B72FB31A-585D-4602-AA59-F5905472E480" class="wikibase-statementview wikibase-statement-Q200694$B72FB31A-585D-4602-AA59-F5905472E480 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-a27c5fdb35b42381f12b2a603711e56d98dd77fd"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q8487137" href="/wiki/Q8487137">WikiProject Mathematics</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P1482" data-property-id="P1482"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P1482" href="/wiki/Property:P1482">Stack Exchange tag</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$DD1E1399-9398-4965-AB09-16F7E24D9DF5" class="wikibase-statementview wikibase-statement-Q200694$DD1E1399-9398-4965-AB09-16F7E24D9DF5 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-8b7dc2a2ca87debda873d0829796971e5ecff29a"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a rel="nofollow" class="external free" href="https://philosophy.stackexchange.com/tags/propositional-logic">https://philosophy.stackexchange.com/tags/propositional-logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P1889" data-property-id="P1889"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P1889" href="/wiki/Property:P1889">different from</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$c71016d1-4a5a-aeb2-4489-0b75a66cbc88" class="wikibase-statementview wikibase-statement-Q200694$c71016d1-4a5a-aeb2-4489-0b75a66cbc88 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-16cc07418d0e7bf7be960ac17329ee3f515f1528"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q8069651" href="/wiki/Q8069651">zeroth-order logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P460" data-property-id="P460"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P460" href="/wiki/Property:P460">said to be the same as</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$0214f3af-48c9-b52e-b4e4-926ce2aa27e1" class="wikibase-statementview wikibase-statement-Q200694$0214f3af-48c9-b52e-b4e4-926ce2aa27e1 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-9616d9de6d92cba568a974adee7beec31117f579"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q16705128" href="/wiki/Q16705128">propositional logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P2959" data-property-id="P2959"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P2959" href="/wiki/Property:P2959">permanent duplicated item</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$b406f962-4b07-4068-33d7-2c6f0689f878" class="wikibase-statementview wikibase-statement-Q200694$b406f962-4b07-4068-33d7-2c6f0689f878 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-903f537e62eb288aee4eb0a3e71be984c32ecce5"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q16705128" href="/wiki/Q16705128">propositional logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P373" data-property-id="P373"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P373" href="/wiki/Property:P373">Commons category</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$081076E0-7BA0-45DD-AC23-E4A427890A29" class="wikibase-statementview wikibase-statement-Q200694$081076E0-7BA0-45DD-AC23-E4A427890A29 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-c08533e5db2bad6b87a13dd75668dddb7342a915"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">Propositional logic</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P910" data-property-id="P910"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P910" href="/wiki/Property:P910">topic's main category</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$6F912728-66C8-47B8-9FCC-A6BB7805DC2B" class="wikibase-statementview wikibase-statement-Q200694$6F912728-66C8-47B8-9FCC-A6BB7805DC2B wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-8fb51d3ce8051b1c6c801da942b3bc215db6f9b6"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q7470263" href="/wiki/Q7470263">Category:Propositional calculus</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div></div></div><h2 class="wb-section-heading section-heading wikibase-statements wikibase-statements-identifiers" dir="auto" id="identifiers">Identifiers</h2><div class="wikibase-statementgrouplistview"><div class="wikibase-listview"><div class="wikibase-statementgroupview" id="P227" data-property-id="P227"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P227" href="/wiki/Property:P227">GND ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$CD72063E-4590-4707-82CE-46B4C258919F" class="wikibase-statementview wikibase-statement-Q200694$CD72063E-4590-4707-82CE-46B4C258919F wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-e778160aa04fcc3e1031a0bbc3d56c59b36109ae"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://d-nb.info/gnd/4136098-9" rel="nofollow">4136098-9</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">1 reference</div> <div class="wikibase-statementview-references wikibase-initially-collapsed"><div class="wikibase-listview"><div class="wikibase-referenceview wikibase-referenceview-9a24f7c0208b05d6be97077d855671d1dfdbc0dd"> <div class="wikibase-referenceview-heading"></div> <div class="wikibase-referenceview-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-d38375ffe6fe142663ff55cd783aa4df4301d83d"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P143" href="/wiki/Property:P143">imported from Wikimedia project</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q48183" href="/wiki/Q48183">German Wikipedia</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div> </div></div></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P8189" data-property-id="P8189"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P8189" href="/wiki/Property:P8189">J9U ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$1CD69645-2573-43A2-8E30-1B49D314CB96" class="wikibase-statementview wikibase-statement-Q200694$1CD69645-2573-43A2-8E30-1B49D314CB96 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-fc545eb7cd818013f67238e3a91ee0053072f923"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="http://olduli.nli.org.il/F/?func=find-b&local_base=NLX10&find_code=UID&request=987007541095305171" rel="nofollow">987007541095305171</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">1 reference</div> <div class="wikibase-statementview-references wikibase-initially-collapsed"><div class="wikibase-listview"><div class="wikibase-referenceview wikibase-referenceview-ecb7a39cf436eb1fba419853af168ef9f2ba1dab"> <div class="wikibase-referenceview-heading"></div> <div class="wikibase-referenceview-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-a03bb6ffe37be9554492f4eea5bd18afcb57df19"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P248" href="/wiki/Property:P248">stated in</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q106509962" href="/wiki/Q106509962">National Library of Israel Names and Subjects Authority File</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div> </div></div></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P691" data-property-id="P691"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P691" href="/wiki/Property:P691">NL CR AUT ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$B906D693-AEBE-4ABD-B315-DF02C383E235" class="wikibase-statementview wikibase-statement-Q200694$B906D693-AEBE-4ABD-B315-DF02C383E235 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-c2f3302bc693b596ffe1c974d23d124a8716507a"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://aleph.nkp.cz/F/?func=find-c&local_base=aut&ccl_term=ica=ph127455" rel="nofollow">ph127455</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-f7966c413327e85959a4d4d2ee8c8bf351ef016b"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1810" href="/wiki/Property:P1810">subject named as</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">výroková logika</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P1417" data-property-id="P1417"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P1417" href="/wiki/Property:P1417">Encyclopædia Britannica Online ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$6329377F-58D8-4A5A-A707-93F4BC71331F" class="wikibase-statementview wikibase-statement-Q200694$6329377F-58D8-4A5A-A707-93F4BC71331F wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-a758515523a7e28526f787db5cb1ec56ce6cd3ad"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://www.britannica.com/topic/logic-of-propositions" rel="nofollow">topic/logic-of-propositions</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-2fc252bc9dc864ce56d94e81e1bf5d40a8a76d33"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1810" href="/wiki/Property:P1810">subject named as</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">logic of propositions</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div><div id="Q200694$A2D17EFC-E08F-4975-8D6F-D86E91097027" class="wikibase-statementview wikibase-statement-Q200694$A2D17EFC-E08F-4975-8D6F-D86E91097027 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-6f5c2edbde14b29efb36badaa7e0833322eb4fc9"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://www.britannica.com/topic/propositional-calculus" rel="nofollow">topic/propositional-calculus</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-4858e42eb6c9b856457c0b6adbbd4ae301f322cb"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1810" href="/wiki/Property:P1810">subject named as</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">propositional calculus</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P3219" data-property-id="P3219"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P3219" href="/wiki/Property:P3219">Encyclopædia Universalis ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$77341825-65D1-4239-BF92-BE7BC6692AC4" class="wikibase-statementview wikibase-statement-Q200694$77341825-65D1-4239-BF92-BE7BC6692AC4 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-e4098b051e288211e11fd92dbf3e1e00ba5c80d0"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://www.universalis.fr/encyclopedie/calcul-propositionnel/" rel="nofollow">calcul-propositionnel</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P10565" data-property-id="P10565"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P10565" href="/wiki/Property:P10565">Encyclopedia of China (Third Edition) ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$EF79C81B-C4F5-4A4D-B1AC-0CA8EA58E223" class="wikibase-statementview wikibase-statement-Q200694$EF79C81B-C4F5-4A4D-B1AC-0CA8EA58E223 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-61466a05c49e0f447ec4d1ec82e8076cb703457a"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://www.zgbk.com/ecph/words?SiteID=1&ID=216779" rel="nofollow">216779</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P7554" data-property-id="P7554"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P7554" href="/wiki/Property:P7554">Encyclopedia of Mathematics article ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$7ddde81c-4b79-90d0-4a9d-df421d74cd5d" class="wikibase-statementview wikibase-statement-Q200694$7ddde81c-4b79-90d0-4a9d-df421d74cd5d wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-eb279be77c5e86281eeb1b0d9326ddce33fcdc06"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://encyclopediaofmath.org/wiki/Propositional_calculus%282%29" rel="nofollow">Propositional_calculus(2)</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-d64599ea8feac006a496c3e08e712fb0f869a7ad"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1810" href="/wiki/Property:P1810">subject named as</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">Propositional calculus(2)</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div><div id="Q200694$ada20b78-4685-181b-10c6-5ca2ab1c6f40" class="wikibase-statementview wikibase-statement-Q200694$ada20b78-4685-181b-10c6-5ca2ab1c6f40 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-f6e4663e06e00982d0a27b615e5885107c3bc3c7"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://encyclopediaofmath.org/wiki/Propositional_calculus" rel="nofollow">Propositional_calculus</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-de6d54905bcb0bd33778b684e1daf19d0a42c508"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1810" href="/wiki/Property:P1810">subject named as</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">Propositional calculus</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P646" data-property-id="P646"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P646" href="/wiki/Property:P646">Freebase ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$A69DAE38-F0EB-4D4B-B948-EAD1BB9AB5E4" class="wikibase-statementview wikibase-statement-Q200694$A69DAE38-F0EB-4D4B-B948-EAD1BB9AB5E4 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-eddc394e8ffbf2353b5ca4bc8228854bbd0798a7"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://www.google.com/search?kgmid=/m/04m3r" rel="nofollow">/m/04m3r</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">1 reference</div> <div class="wikibase-statementview-references wikibase-initially-collapsed"><div class="wikibase-listview"><div class="wikibase-referenceview wikibase-referenceview-2b00cb481cddcac7623114367489b5c194901c4a"> <div class="wikibase-referenceview-heading"></div> <div class="wikibase-referenceview-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-a94b740202b097dd33355e0e6c00e54b9395e5e0"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P248" href="/wiki/Property:P248">stated in</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q15241312" href="/wiki/Q15241312">Freebase Data Dumps</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-fde79ecb015112d2f29229ccc1ec514ed3e71fa2"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P577" href="/wiki/Property:P577">publication date</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">28 October 2013</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div> </div></div></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P9100" data-property-id="P9100"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P9100" href="/wiki/Property:P9100">GitHub topic</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$42B2E5BC-28E4-41C8-BAE6-5B8091A01E98" class="wikibase-statementview wikibase-statement-Q200694$42B2E5BC-28E4-41C8-BAE6-5B8091A01E98 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-ed7fc414e73bdb6ed04fc9950e84eea89f8bdd17"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://github.com/topics/propositional-logic" rel="nofollow">propositional-logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">1 reference</div> <div class="wikibase-statementview-references wikibase-initially-collapsed"><div class="wikibase-listview"><div class="wikibase-referenceview wikibase-referenceview-af9fe5f9930de0c578bff029fcdf7b2883dca577"> <div class="wikibase-referenceview-heading"></div> <div class="wikibase-referenceview-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-568eb1df9e71db1ed736bd4ec92c8b23911776ee"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P854" href="/wiki/Property:P854">reference URL</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a rel="nofollow" class="external free" href="https://github.com/topics/propositional-logic">https://github.com/topics/propositional-logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-3396e720103e00c14cb4eba23e4fac4ab3ef7b1a"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1476" href="/wiki/Property:P1476">title</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><span lang="en" class="wb-monolingualtext-value">propositional-logic · GitHub Topics · GitHub</span> <span class="wb-monolingualtext-language-name" dir="auto">(English)</span></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-b837408859538e7f710f85c9500dea9b97889acd"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P813" href="/wiki/Property:P813">retrieved</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">20 July 2021</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div> </div></div></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P2924" data-property-id="P2924"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P2924" href="/wiki/Property:P2924">Great Russian Encyclopedia Online ID (old version)</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$87ae78b2-4343-8c79-5703-2650ad104e52" class="wikibase-statementview wikibase-statement-Q200694$87ae78b2-4343-8c79-5703-2650ad104e52 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-0558bc2a59c45ae7855c3d596b7501c3d825a8f0"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://old.bigenc.ru/text/2177731" rel="nofollow">2177731</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-cd1c4bbabb5714c4e6a6f65c024e054a6da11350"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1810" href="/wiki/Property:P1810">subject named as</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">ЛОГИКА ВЫСКАЗЫВАНИЙ</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P5088" data-property-id="P5088"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P5088" href="/wiki/Property:P5088">Internet Encyclopedia of Philosophy ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$36BA5832-5C8B-4B73-B73B-7995A797F07B" class="wikibase-statementview wikibase-statement-Q200694$36BA5832-5C8B-4B73-B73B-7995A797F07B wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-20720bfb3573300b2243a6174bc091327a62e6d7"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://www.iep.utm.edu/prop-log/" rel="nofollow">prop-log</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-c9859a0647019f10201f3597687cd02e22bc17a5"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1810" href="/wiki/Property:P1810">subject named as</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">Propositional Logic</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-7207cb25ba1e9085112aa6836ce72226a95316c6"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P50" href="/wiki/Property:P50">author</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q113767116" href="/wiki/Q113767116">Kevin C. Klement</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P3827" data-property-id="P3827"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P3827" href="/wiki/Property:P3827">JSTOR topic ID (archived)</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$2BD8DB04-20AD-4100-822A-D49A49C48880" class="wikibase-statementview wikibase-statement-Q200694$2BD8DB04-20AD-4100-822A-D49A49C48880 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-39680f0cf97fe4d55706cb62113a295efcd6ad96"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://web.archive.org/web/*/https://www.jstor.org/topic/propositional-logic" rel="nofollow">propositional-logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P8408" data-property-id="P8408"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P8408" href="/wiki/Property:P8408">KBpedia ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$ECA90B57-9459-4C65-9206-6DE8B5FE5297" class="wikibase-statementview wikibase-statement-Q200694$ECA90B57-9459-4C65-9206-6DE8B5FE5297 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-5c4cf402143e9cde8e86f59d563356286d755a24"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://kbpedia.org/knowledge-graph/reference-concept/?uri=PropositionalLogic" rel="nofollow">PropositionalLogic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">1 reference</div> <div class="wikibase-statementview-references wikibase-initially-collapsed"><div class="wikibase-listview"><div class="wikibase-referenceview wikibase-referenceview-9a681f9dd95c90224547c404e11295f4f7dcf54e"> <div class="wikibase-referenceview-heading"></div> <div class="wikibase-referenceview-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-9d5780dddffa8746637a9929a936ab6b0f601e24"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P248" href="/wiki/Property:P248">stated in</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q64139102" href="/wiki/Q64139102">KBpedia</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-622a5a27fa5b25e7e7984974e9db494cf8460990"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P813" href="/wiki/Property:P813">retrieved</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">9 July 2020</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div> </div></div></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P6058" data-property-id="P6058"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P6058" href="/wiki/Property:P6058">Larousse ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$3fb5d713-4047-350f-725f-66c3ae028fd1" class="wikibase-statementview wikibase-statement-Q200694$3fb5d713-4047-350f-725f-66c3ae028fd1 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-81f0845985d38a51c7f8536bcda4c8f48756762c"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://www.larousse.fr/encyclopedie/divers/calcul_des_propositions/83640" rel="nofollow">divers/calcul_des_propositions/83640</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P3285" data-property-id="P3285"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P3285" href="/wiki/Property:P3285">Mathematics Subject Classification ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$4f912ca8-4c5e-0386-7dd6-0e3e35a1826c" class="wikibase-statementview wikibase-statement-Q200694$4f912ca8-4c5e-0386-7dd6-0e3e35a1826c wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-a1a4b115c1bc7eac59d29414f07e5007a5d17753"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://zbmath.org/classification/?q=cc:03B05" rel="nofollow">03B05</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P2812" data-property-id="P2812"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P2812" href="/wiki/Property:P2812">MathWorld ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$d9a38ca9-4eea-6e83-ebc6-0d5a79b3272b" class="wikibase-statementview wikibase-statement-Q200694$d9a38ca9-4eea-6e83-ebc6-0d5a79b3272b wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-1f05cd9bfabcac062cfe52c9fe24f83355a8392f"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://mathworld.wolfram.com/PropositionalCalculus.html" rel="nofollow">PropositionalCalculus</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-6949d88ac34c67026c08a270a27932d16f4e182c"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1810" href="/wiki/Property:P1810">subject named as</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">Propositional Calculus</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P6366" data-property-id="P6366"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P6366" href="/wiki/Property:P6366">Microsoft Academic ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$4AF6321A-40F6-4057-BAAF-154F76E8A831" class="wikibase-statementview wikibase-statement-Q200694$4AF6321A-40F6-4057-BAAF-154F76E8A831 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-c19cc134360b73184056ae130ff39267bbd1653f"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://web.archive.org/web/*/https://academic.microsoft.com/v2/detail/69562738" rel="nofollow">69562738</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P1245" data-property-id="P1245"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P1245" href="/wiki/Property:P1245">OmegaWiki Defined Meaning</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$73782AD1-0969-4B14-A8E9-707CBB6FDDF0" class="wikibase-statementview wikibase-statement-Q200694$73782AD1-0969-4B14-A8E9-707CBB6FDDF0 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-c313195ac267943ac5160fae41b35608129b5fdf"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="http://www.omegawiki.org/DefinedMeaning:(967134)" rel="nofollow">967134</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P10283" data-property-id="P10283"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P10283" href="/wiki/Property:P10283">OpenAlex ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$027BE99C-2BFC-4CE6-898A-6E7EED508AB7" class="wikibase-statementview wikibase-statement-Q200694$027BE99C-2BFC-4CE6-898A-6E7EED508AB7 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-7543193a3506ebaa6b564ec7e9520cb5e37b73d8"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://openalex.org/C69562738" rel="nofollow">C69562738</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">1 reference</div> <div class="wikibase-statementview-references wikibase-initially-collapsed"><div class="wikibase-listview"><div class="wikibase-referenceview wikibase-referenceview-c13ba4d7902ead2693f79396bc25bd35d4d14030"> <div class="wikibase-referenceview-heading"></div> <div class="wikibase-referenceview-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-4a4f26a5361b5707266e48e425bf2be2f99fd2ab"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P248" href="/wiki/Property:P248">stated in</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q107507571" href="/wiki/Q107507571">OpenAlex</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-435834d08182bb9f3dbe974ba9840af0f12899cc"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P813" href="/wiki/Property:P813">retrieved</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">26 January 2022</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-a4a4bf53f22268815c51ec10fed608da703c9c7f"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P854" href="/wiki/Property:P854">reference URL</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a rel="nofollow" class="external free" href="https://docs.openalex.org/download-snapshot/snapshot-data-format">https://docs.openalex.org/download-snapshot/snapshot-data-format</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div> </div></div></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P3235" data-property-id="P3235"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P3235" href="/wiki/Property:P3235">PhilPapers topic</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$eadfd3af-4a56-0118-88a7-24002a432ba5" class="wikibase-statementview wikibase-statement-Q200694$eadfd3af-4a56-0118-88a7-24002a432ba5 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-b21441796fd1ada444c00e43347067dfc755c47c"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://philpapers.org/browse/propositional-logic" rel="nofollow">propositional-logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P6781" data-property-id="P6781"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P6781" href="/wiki/Property:P6781">ProofWiki ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$9192d795-4a9b-c0fe-3bff-a7ddd8bc0e58" class="wikibase-statementview wikibase-statement-Q200694$9192d795-4a9b-c0fe-3bff-a7ddd8bc0e58 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-3db118257daa907757f45cfdd856914ca3b8bfb6"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://proofwiki.org/wiki/Definition%3APropositional_Logic" rel="nofollow">Definition:Propositional_Logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P1051" data-property-id="P1051"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P1051" href="/wiki/Property:P1051">PSH ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$b7077baf-4026-9f7e-43bf-fdbc2f8d5c6d" class="wikibase-statementview wikibase-statement-Q200694$b7077baf-4026-9f7e-43bf-fdbc2f8d5c6d wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-eec84a8c5dfba10fe23aa93a083dc78843fef138"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://psh.techlib.cz/skos/PSH7100" rel="nofollow">7100</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P3417" data-property-id="P3417"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P3417" href="/wiki/Property:P3417">Quora topic ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$FA0B51DF-C48B-4489-83AB-86F5AEF0FAC1" class="wikibase-statementview wikibase-statement-Q200694$FA0B51DF-C48B-4489-83AB-86F5AEF0FAC1 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-b23a385953f5a6df2f90c7b137fb22cd7e341580"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://www.quora.com/topic/Propositional-Logic" rel="nofollow">Propositional-Logic</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">1 reference</div> <div class="wikibase-statementview-references wikibase-initially-collapsed"><div class="wikibase-listview"><div class="wikibase-referenceview wikibase-referenceview-3b0a5bb3c1f955edce73740124f7d935698092ad"> <div class="wikibase-referenceview-heading"></div> <div class="wikibase-referenceview-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-3ac9682e789a3a3791d4fd088b265ea03abef101"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P248" href="/wiki/Property:P248">stated in</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q51711" href="/wiki/Q51711">Quora</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div> </div></div></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P3123" data-property-id="P3123"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P3123" href="/wiki/Property:P3123">Stanford Encyclopedia of Philosophy ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$082debea-40f3-45a4-bf00-aafa6d5395a6" class="wikibase-statementview wikibase-statement-Q200694$082debea-40f3-45a4-bf00-aafa6d5395a6 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-c787b85c9b6ee4e24ad3e83a2c3fa7b486581293"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://plato.stanford.edu/entries/logic-propositional/" rel="nofollow">logic-propositional</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-c9859a0647019f10201f3597687cd02e22bc17a5"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1810" href="/wiki/Property:P1810">subject named as</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">Propositional Logic</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-e5813471d2c0c13989eb9fbe45e020a8dd4f7da2"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P50" href="/wiki/Property:P50">author</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a title="Q102398729" href="/wiki/Q102398729">Curtis Franks</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P7993" data-property-id="P7993"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P7993" href="/wiki/Property:P7993">Treccani's Dizionario di Filosofia ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$29B9E7BD-FFF3-42C6-84CE-750AD15F5533" class="wikibase-statementview wikibase-statement-Q200694$29B9E7BD-FFF3-42C6-84CE-750AD15F5533 wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-5975c5e170e3d1096305caa22e3ae656a304f69b"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://www.treccani.it/enciclopedia/calcolo-proposizionale_(Dizionario-di-filosofia)" rel="nofollow">calcolo-proposizionale</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"><div class="wikibase-listview"><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-7710d391edbd565f9b942cb5422e56c2e9c43d01"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P1810" href="/wiki/Property:P1810">subject named as</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">proposizionale, calcolo</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div><div class="wikibase-snaklistview"> <div class="wikibase-snaklistview-listview"><div class="wikibase-snakview wikibase-snakview-0a7a83a4bf3aeb8d136cc85ef3c23538c4654940"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"><a title="Property:P577" href="/wiki/Property:P577">publication date</a></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak">2009</div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> </div></div></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div><div class="wikibase-statementgroupview" id="P2347" data-property-id="P2347"> <div class="wikibase-statementgroupview-property"> <div class="wikibase-statementgroupview-property-label" dir="auto"><a title="Property:P2347" href="/wiki/Property:P2347">YSO ID</a></div> </div> <div class="wikibase-statementlistview"> <div class="wikibase-statementlistview-listview"> <div id="Q200694$BC3F8867-156C-4B81-9524-50D699138BCA" class="wikibase-statementview wikibase-statement-Q200694$BC3F8867-156C-4B81-9524-50D699138BCA wb-normal"> <div class="wikibase-statementview-rankselector"><div class="wikibase-rankselector ui-state-disabled"> <span class="ui-icon ui-icon-rankselector wikibase-rankselector-normal" title="Normal rank"></span> </div></div> <div class="wikibase-statementview-mainsnak-container"> <div class="wikibase-statementview-mainsnak" dir="auto"><div class="wikibase-snakview wikibase-snakview-5050ce416395bd47c5b12c7d496040c290d1cce8"> <div class="wikibase-snakview-property-container"> <div class="wikibase-snakview-property" dir="auto"></div> </div> <div class="wikibase-snakview-value-container" dir="auto"> <div class="wikibase-snakview-typeselector"></div> <div class="wikibase-snakview-body"> <div class="wikibase-snakview-value wikibase-snakview-variation-valuesnak"><a class="wb-external-id external" href="https://www.yso.fi/onto/yso/p10364" rel="nofollow">10364</a></div> <div class="wikibase-snakview-indicators"></div> </div> </div> </div></div> <div class="wikibase-statementview-qualifiers"></div> </div> <span class="wikibase-toolbar-container"></span> <div class="wikibase-statementview-references-container"> <div class="wikibase-statementview-references-heading">0 references</div> <div class="wikibase-statementview-references "></div> </div> </div> </div> <span class="wikibase-toolbar-container"></span> </div> </div></div></div></div> <div class="wikibase-entityview-side"><div class="wikibase-pageImage"> <div class="help"> <span class="wb-help-field-hint wikibase-toolbar-item wikibase-wbtooltip" title="This image is taken from the statements of this Item. You can adjust the image by changing the statement."> </span> </div> </div><h2 class="wb-section-heading section-heading wikibase-sitelinks" dir="auto" id="sitelinks">Sitelinks</h2><div class="wikibase-sitelinkgrouplistview"><div class="wikibase-listview"><div class="wikibase-sitelinkgroupview mw-collapsible" data-wb-sitelinks-group="wikipedia"> <div class="wikibase-sitelinkgroupview-heading-section"> <div class="mw-collapsible-toggle-placeholder"></div> <div class="wikibase-sitelinkgroupview-heading-container"> <h3 class="wb-sitelinks-heading" dir="auto" id="sitelinks-wikipedia">Wikipedia<span class="wikibase-sitelinkgroupview-counter">(50 entries)</span></h3> <span class="wikibase-toolbar-container"><span class="wikibase-toolbar-item wikibase-toolbar "><span class="wikibase-toolbar-item wikibase-toolbar-button wikibase-toolbar-button-edit"><a href="/wiki/Special:SetSiteLink/Q200694" title=""><span class="wb-icon"></span>edit</a></span></span></span> </div> </div> <div class="mw-collapsible-content"> <div class="wikibase-sitelinklistview"> <ul class="wikibase-sitelinklistview-listview"><li class="wikibase-sitelinkview wikibase-sitelinkview-afwiki" data-wb-siteid="afwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-afwiki" title="Afrikaans">afwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-afwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="af"><a href="https://af.wikipedia.org/wiki/Proposisionele_logika" hreflang="af" title="Proposisionele logika">Proposisionele logika</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-arwiki" data-wb-siteid="arwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-arwiki" title="Arabic">arwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-arwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="ar"><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" hreflang="ar" title="حساب القضايا">حساب القضايا</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-astwiki" data-wb-siteid="astwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-astwiki" title="Asturian">astwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-astwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="ast"><a href="https://ast.wikipedia.org/wiki/L%C3%B3xica_proposicional" hreflang="ast" title="Lóxica proposicional">Lóxica proposicional</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-be_x_oldwiki" data-wb-siteid="be_x_oldwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-be_x_oldwiki" title="Belarusian (Taraškievica orthography)">be_x_oldwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-be_x_oldwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="be-tarask"><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" hreflang="be-tarask" title="Зьлічэньне выказваньняў">Зьлічэньне выказваньняў</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-bewiki" data-wb-siteid="bewiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-bewiki" title="Belarusian">bewiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-bewiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="be"><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" hreflang="be" title="Логіка выказванняў">Логіка выказванняў</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-bgwiki" data-wb-siteid="bgwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-bgwiki" title="Bulgarian">bgwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-bgwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="bg"><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" hreflang="bg" title="Пропозиционална логика">Пропозиционална логика</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-cawiki" data-wb-siteid="cawiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-cawiki" title="Catalan">cawiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-cawiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="ca"><a href="https://ca.wikipedia.org/wiki/L%C3%B2gica_proposicional" hreflang="ca" title="Lògica proposicional">Lògica proposicional</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-cswiki" data-wb-siteid="cswiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-cswiki" title="Czech">cswiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-cswiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="cs"><a href="https://cs.wikipedia.org/wiki/V%C3%BDrokov%C3%A1_logika" hreflang="cs" title="Výroková logika">Výroková logika</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-cvwiki" data-wb-siteid="cvwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-cvwiki" title="Chuvash">cvwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-cvwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="cv"><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" hreflang="cv" title="Каланăлăхсен шутлавĕ">Каланăлăхсен шутлавĕ</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-cywiki" data-wb-siteid="cywiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-cywiki" title="Welsh">cywiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-cywiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="cy"><a href="https://cy.wikipedia.org/wiki/Rhesymeg_osodiadol" hreflang="cy" title="Rhesymeg osodiadol">Rhesymeg osodiadol</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-dewiki" data-wb-siteid="dewiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-dewiki" title="German">dewiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-dewiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="de"><a href="https://de.wikipedia.org/wiki/Aussagenlogik" hreflang="de" title="Aussagenlogik">Aussagenlogik</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-elwiki" data-wb-siteid="elwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-elwiki" title="Greek">elwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-elwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="el"><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" hreflang="el" title="Προτασιακός λογισμός">Προτασιακός λογισμός</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-enwiki" data-wb-siteid="enwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-enwiki" title="English">enwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-enwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="en"><a href="https://en.wikipedia.org/wiki/Propositional_calculus" hreflang="en" title="Propositional calculus">Propositional calculus</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-eswiki" data-wb-siteid="eswiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-eswiki" title="Spanish">eswiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-eswiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="es"><a href="https://es.wikipedia.org/wiki/L%C3%B3gica_proposicional" hreflang="es" title="Lógica proposicional">Lógica proposicional</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-etwiki" data-wb-siteid="etwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-etwiki" title="Estonian">etwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-etwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="et"><a href="https://et.wikipedia.org/wiki/Lauseloogika" hreflang="et" title="Lauseloogika">Lauseloogika</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-euwiki" data-wb-siteid="euwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-euwiki" title="Basque">euwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-euwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="eu"><a href="https://eu.wikipedia.org/wiki/Logika_proposizional" hreflang="eu" title="Logika proposizional">Logika proposizional</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-fawiki" data-wb-siteid="fawiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-fawiki" title="Persian">fawiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-fawiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="fa"><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" hreflang="fa" title="حساب گزاره‌ای">حساب گزاره‌ای</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-fiwiki" data-wb-siteid="fiwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-fiwiki" title="Finnish">fiwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-fiwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="fi"><a href="https://fi.wikipedia.org/wiki/Propositiologiikka" hreflang="fi" title="Propositiologiikka">Propositiologiikka</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-frrwiki" data-wb-siteid="frrwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-frrwiki" title="Northern Frisian">frrwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-frrwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="frr"><a href="https://frr.wikipedia.org/wiki/%C3%9Ctjsaagenloogik" hreflang="frr" title="Ütjsaagenloogik">Ütjsaagenloogik</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-frwiki" data-wb-siteid="frwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-frwiki" title="French">frwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-frwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="fr"><a href="https://fr.wikipedia.org/wiki/Calcul_des_propositions" hreflang="fr" title="Calcul des propositions">Calcul des propositions</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-glwiki" data-wb-siteid="glwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-glwiki" title="Galician">glwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-glwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="gl"><a href="https://gl.wikipedia.org/wiki/L%C3%B3xica_proposicional" hreflang="gl" title="Lóxica proposicional">Lóxica proposicional</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-hewiki" data-wb-siteid="hewiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-hewiki" title="Hebrew">hewiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-hewiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="he"><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" hreflang="he" title="תחשיב הפסוקים">תחשיב הפסוקים</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-hiwiki" data-wb-siteid="hiwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-hiwiki" title="Hindi">hiwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-hiwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="hi"><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" hreflang="hi" title="प्रतिज्ञप्तिक कलन">प्रतिज्ञप्तिक कलन</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-huwiki" data-wb-siteid="huwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-huwiki" title="Hungarian">huwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-huwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="hu"><a href="https://hu.wikipedia.org/wiki/%C3%8Dt%C3%A9letlogika" hreflang="hu" title="Ítéletlogika">Ítéletlogika</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-hywiki" data-wb-siteid="hywiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-hywiki" title="Armenian">hywiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-hywiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="hy"><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" hreflang="hy" title="Ասույթների տրամաբանություն">Ասույթների տրամաբանություն</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-idwiki" data-wb-siteid="idwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-idwiki" title="Indonesian">idwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-idwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="id"><a href="https://id.wikipedia.org/wiki/Kalkulus_proposisional" hreflang="id" title="Kalkulus proposisional">Kalkulus proposisional</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-itwiki" data-wb-siteid="itwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-itwiki" title="Italian">itwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-itwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="it"><a href="https://it.wikipedia.org/wiki/Logica_proposizionale" hreflang="it" title="Logica proposizionale">Logica proposizionale</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-jawiki" data-wb-siteid="jawiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-jawiki" title="Japanese">jawiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-jawiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="ja"><a href="https://ja.wikipedia.org/wiki/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86" hreflang="ja" title="命題論理">命題論理</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-kowiki" data-wb-siteid="kowiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-kowiki" title="Korean">kowiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-kowiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="ko"><a href="https://ko.wikipedia.org/wiki/%EB%AA%85%EC%A0%9C_%EB%85%BC%EB%A6%AC" hreflang="ko" title="명제 논리">명제 논리</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-kywiki" data-wb-siteid="kywiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-kywiki" title="Kyrgyz">kywiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-kywiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="ky"><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" hreflang="ky" title="Логикалык сүйлөө">Логикалык сүйлөө</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-lawiki" data-wb-siteid="lawiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-lawiki" title="Latin">lawiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-lawiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="la"><a href="https://la.wikipedia.org/wiki/Logica_propositionalis" hreflang="la" title="Logica propositionalis">Logica propositionalis</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-ltwiki" data-wb-siteid="ltwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-ltwiki" title="Lithuanian">ltwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-ltwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="lt"><a href="https://lt.wikipedia.org/wiki/Teigini%C5%B3_logika" hreflang="lt" title="Teiginių logika">Teiginių logika</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-nlwiki" data-wb-siteid="nlwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-nlwiki" title="Dutch">nlwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-nlwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="nl"><a href="https://nl.wikipedia.org/wiki/Propositielogica" hreflang="nl" title="Propositielogica">Propositielogica</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-nnwiki" data-wb-siteid="nnwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-nnwiki" title="Norwegian Nynorsk">nnwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-nnwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="nn"><a href="https://nn.wikipedia.org/wiki/Utsegnslogikk" hreflang="nn" title="Utsegnslogikk">Utsegnslogikk</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-nowiki" data-wb-siteid="nowiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-nowiki" title="Norwegian">nowiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-nowiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="no"><a href="https://no.wikipedia.org/wiki/Setningslogikk" hreflang="no" title="Setningslogikk">Setningslogikk</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-plwiki" data-wb-siteid="plwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-plwiki" title="Polish">plwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-plwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="pl"><a href="https://pl.wikipedia.org/wiki/Rachunek_zda%C5%84" hreflang="pl" title="Rachunek zdań">Rachunek zdań</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-pswiki" data-wb-siteid="pswiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-pswiki" title="Pashto">pswiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-pswiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="ps"><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)" hreflang="ps" title="قضیوي حساب (منطق)">قضیوي حساب (منطق)</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-ptwiki" data-wb-siteid="ptwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-ptwiki" title="Portuguese">ptwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-ptwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="pt"><a href="https://pt.wikipedia.org/wiki/L%C3%B3gica_proposicional" hreflang="pt" title="Lógica proposicional">Lógica proposicional</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-ruwiki" data-wb-siteid="ruwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-ruwiki" title="Russian">ruwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-ruwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="ru"><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" hreflang="ru" title="Логика высказываний">Логика высказываний</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-simplewiki" data-wb-siteid="simplewiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-simplewiki" title="Simple English">simplewiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-simplewiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="en-simple"><a href="https://simple.wikipedia.org/wiki/Propositional_logic" hreflang="en-simple" title="Propositional logic">Propositional logic</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-skwiki" data-wb-siteid="skwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-skwiki" title="Slovak">skwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-skwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="sk"><a href="https://sk.wikipedia.org/wiki/V%C3%BDrokov%C3%A1_logika" hreflang="sk" title="Výroková logika">Výroková logika</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-slwiki" data-wb-siteid="slwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-slwiki" title="Slovenian">slwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-slwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="sl"><a href="https://sl.wikipedia.org/wiki/Propozicijska_logika" hreflang="sl" title="Propozicijska logika">Propozicijska logika</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-srwiki" data-wb-siteid="srwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-srwiki" title="Serbian">srwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-srwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="sr"><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" hreflang="sr" title="Исказни рачун">Исказни рачун</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-svwiki" data-wb-siteid="svwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-svwiki" title="Swedish">svwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-svwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="sv"><a href="https://sv.wikipedia.org/wiki/Satslogik" hreflang="sv" title="Satslogik">Satslogik</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-thwiki" data-wb-siteid="thwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-thwiki" title="Thai">thwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-thwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="th"><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" hreflang="th" title="แคลคูลัสเชิงประพจน์">แคลคูลัสเชิงประพจน์</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-trwiki" data-wb-siteid="trwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-trwiki" title="Turkish">trwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-trwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="tr"><a href="https://tr.wikipedia.org/wiki/%C3%96nermeler_mant%C4%B1%C4%9F%C4%B1" hreflang="tr" title="Önermeler mantığı">Önermeler mantığı</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-ukwiki" data-wb-siteid="ukwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-ukwiki" title="Ukrainian">ukwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-ukwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="uk"><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" hreflang="uk" title="Числення висловлень">Числення висловлень</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-viwiki" data-wb-siteid="viwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-viwiki" title="Vietnamese">viwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-viwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="vi"><a href="https://vi.wikipedia.org/wiki/M%E1%BB%87nh_%C4%91%E1%BB%81_to%C3%A1n_h%E1%BB%8Dc" hreflang="vi" title="Mệnh đề toán học">Mệnh đề toán học</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-zh_yuewiki" data-wb-siteid="zh_yuewiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-zh_yuewiki" title="Cantonese">zh_yuewiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-zh_yuewiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="yue"><a href="https://zh-yue.wikipedia.org/wiki/%E5%91%BD%E9%A1%8C%E9%82%8F%E8%BC%AF" hreflang="yue" title="命題邏輯">命題邏輯</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-zhwiki" data-wb-siteid="zhwiki"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-zhwiki" title="Chinese">zhwiki</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-zhwiki"><span class="wikibase-sitelinkview-page" dir="auto" lang="zh"><a href="https://zh.wikipedia.org/wiki/%E5%91%BD%E9%A2%98%E9%80%BB%E8%BE%91" hreflang="zh" title="命题逻辑">命题逻辑</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li></ul> </div> </div> </div><div class="wikibase-sitelinkgroupview mw-collapsible" data-wb-sitelinks-group="wikibooks"> <div class="wikibase-sitelinkgroupview-heading-section"> <div class="mw-collapsible-toggle-placeholder"></div> <div class="wikibase-sitelinkgroupview-heading-container"> <h3 class="wb-sitelinks-heading" dir="auto" id="sitelinks-wikibooks">Wikibooks<span class="wikibase-sitelinkgroupview-counter">(4 entries)</span></h3> <span class="wikibase-toolbar-container"><span class="wikibase-toolbar-item wikibase-toolbar "><span class="wikibase-toolbar-item wikibase-toolbar-button wikibase-toolbar-button-edit"><a href="/wiki/Special:SetSiteLink/Q200694" title=""><span class="wb-icon"></span>edit</a></span></span></span> </div> </div> <div class="mw-collapsible-content"> <div class="wikibase-sitelinklistview"> <ul class="wikibase-sitelinklistview-listview"><li class="wikibase-sitelinkview wikibase-sitelinkview-dewikibooks" data-wb-siteid="dewikibooks"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-dewikibooks" title="German">dewikibooks</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-dewikibooks"><span class="wikibase-sitelinkview-page" dir="auto" lang="de"><a href="https://de.wikibooks.org/wiki/Mathe_f%C3%BCr_Nicht-Freaks:_Logik_und_Aussagen" hreflang="de" title="Mathe für Nicht-Freaks: Logik und Aussagen">Mathe für Nicht-Freaks: Logik und Aussagen</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-enwikibooks" data-wb-siteid="enwikibooks"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-enwikibooks" title="English">enwikibooks</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-enwikibooks"><span class="wikibase-sitelinkview-page" dir="auto" lang="en"><a href="https://en.wikibooks.org/wiki/Logic_for_Computer_Scientists/Propositional_Logic" hreflang="en" title="Logic for Computer Scientists/Propositional Logic">Logic for Computer Scientists/Propositional Logic</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-itwikibooks" data-wb-siteid="itwikibooks"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-itwikibooks" title="Italian">itwikibooks</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-itwikibooks"><span class="wikibase-sitelinkview-page" dir="auto" lang="it"><a href="https://it.wikibooks.org/wiki/Logica_matematica/Calcolo_delle_proposizioni" hreflang="it" title="Logica matematica/Calcolo delle proposizioni">Logica matematica/Calcolo delle proposizioni</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-jawikibooks" data-wb-siteid="jawikibooks"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-jawikibooks" title="Japanese">jawikibooks</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-jawikibooks"><span class="wikibase-sitelinkview-page" dir="auto" lang="ja"><a href="https://ja.wikibooks.org/wiki/%E6%95%B0%E7%90%86%E8%AB%96%E7%90%86%E5%AD%A6/%E5%91%BD%E9%A1%8C%E8%AB%96%E7%90%86" hreflang="ja" title="数理論理学/命題論理">数理論理学/命題論理</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li></ul> </div> </div> </div><div class="wikibase-sitelinkgroupview" data-wb-sitelinks-group="wikinews"> <div class="wikibase-sitelinkgroupview-heading-section"> <div class="mw-collapsible-toggle-placeholder"></div> <div class="wikibase-sitelinkgroupview-heading-container"> <h3 class="wb-sitelinks-heading" dir="auto" id="sitelinks-wikinews">Wikinews<span class="wikibase-sitelinkgroupview-counter">(0 entries)</span></h3> <span class="wikibase-toolbar-container"><span class="wikibase-toolbar-item wikibase-toolbar "><span class="wikibase-toolbar-item wikibase-toolbar-button wikibase-toolbar-button-edit"><a href="/wiki/Special:SetSiteLink/Q200694" title=""><span class="wb-icon"></span>edit</a></span></span></span> </div> </div> <div class="mw-collapsible-content"> <div class="wikibase-sitelinklistview"> <ul class="wikibase-sitelinklistview-listview"></ul> </div> </div> </div><div class="wikibase-sitelinkgroupview" data-wb-sitelinks-group="wikiquote"> <div class="wikibase-sitelinkgroupview-heading-section"> <div class="mw-collapsible-toggle-placeholder"></div> <div class="wikibase-sitelinkgroupview-heading-container"> <h3 class="wb-sitelinks-heading" dir="auto" id="sitelinks-wikiquote">Wikiquote<span class="wikibase-sitelinkgroupview-counter">(0 entries)</span></h3> <span class="wikibase-toolbar-container"><span class="wikibase-toolbar-item wikibase-toolbar "><span class="wikibase-toolbar-item wikibase-toolbar-button wikibase-toolbar-button-edit"><a href="/wiki/Special:SetSiteLink/Q200694" title=""><span class="wb-icon"></span>edit</a></span></span></span> </div> </div> <div class="mw-collapsible-content"> <div class="wikibase-sitelinklistview"> <ul class="wikibase-sitelinklistview-listview"></ul> </div> </div> </div><div class="wikibase-sitelinkgroupview" data-wb-sitelinks-group="wikisource"> <div class="wikibase-sitelinkgroupview-heading-section"> <div class="mw-collapsible-toggle-placeholder"></div> <div class="wikibase-sitelinkgroupview-heading-container"> <h3 class="wb-sitelinks-heading" dir="auto" id="sitelinks-wikisource">Wikisource<span class="wikibase-sitelinkgroupview-counter">(0 entries)</span></h3> <span class="wikibase-toolbar-container"><span class="wikibase-toolbar-item wikibase-toolbar "><span class="wikibase-toolbar-item wikibase-toolbar-button wikibase-toolbar-button-edit"><a href="/wiki/Special:SetSiteLink/Q200694" title=""><span class="wb-icon"></span>edit</a></span></span></span> </div> </div> <div class="mw-collapsible-content"> <div class="wikibase-sitelinklistview"> <ul class="wikibase-sitelinklistview-listview"></ul> </div> </div> </div><div class="wikibase-sitelinkgroupview mw-collapsible" data-wb-sitelinks-group="wikiversity"> <div class="wikibase-sitelinkgroupview-heading-section"> <div class="mw-collapsible-toggle-placeholder"></div> <div class="wikibase-sitelinkgroupview-heading-container"> <h3 class="wb-sitelinks-heading" dir="auto" id="sitelinks-wikiversity">Wikiversity<span class="wikibase-sitelinkgroupview-counter">(4 entries)</span></h3> <span class="wikibase-toolbar-container"><span class="wikibase-toolbar-item wikibase-toolbar "><span class="wikibase-toolbar-item wikibase-toolbar-button wikibase-toolbar-button-edit"><a href="/wiki/Special:SetSiteLink/Q200694" title=""><span class="wb-icon"></span>edit</a></span></span></span> </div> </div> <div class="mw-collapsible-content"> <div class="wikibase-sitelinklistview"> <ul class="wikibase-sitelinklistview-listview"><li class="wikibase-sitelinkview wikibase-sitelinkview-eswikiversity" data-wb-siteid="eswikiversity"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-eswikiversity" title="Spanish">eswikiversity</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-eswikiversity"><span class="wikibase-sitelinkview-page" dir="auto" lang="es"><a href="https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional" hreflang="es" title="Lógica proposicional">Lógica proposicional</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-frwikiversity" data-wb-siteid="frwikiversity"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-frwikiversity" title="French">frwikiversity</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-frwikiversity"><span class="wikibase-sitelinkview-page" dir="auto" lang="fr"><a href="https://fr.wikiversity.org/wiki/Logique_des_propositions" hreflang="fr" title="Logique des propositions">Logique des propositions</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-itwikiversity" data-wb-siteid="itwikiversity"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-itwikiversity" title="Italian">itwikiversity</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-itwikiversity"><span class="wikibase-sitelinkview-page" dir="auto" lang="it"><a href="https://it.wikiversity.org/wiki/Calcolo_proposizionale" hreflang="it" title="Calcolo proposizionale">Calcolo proposizionale</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li><li class="wikibase-sitelinkview wikibase-sitelinkview-ptwikiversity" data-wb-siteid="ptwikiversity"> <span class="wikibase-sitelinkview-siteid-container"> <span class="wikibase-sitelinkview-siteid wikibase-sitelinkview-siteid-ptwikiversity" title="Portuguese">ptwikiversity</span> </span><span class="wikibase-sitelinkview-link wikibase-sitelinkview-link-ptwikiversity"><span class="wikibase-sitelinkview-page" dir="auto" lang="pt"><a href="https://pt.wikiversity.org/wiki/L%C3%B3gica:_C%C3%A1lculo_Proposicional_Cl%C3%A1ssico" hreflang="pt" title="Lógica: Cálculo Proposicional Clássico">Lógica: Cálculo Proposicional Clássico</a></span><span class="wikibase-badgeselector wikibase-sitelinkview-badges"></span></span> </li></ul> </div> </div> </div><div class="wikibase-sitelinkgroupview" data-wb-sitelinks-group="wikivoyage"> <div class="wikibase-sitelinkgroupview-heading-section"> <div class="mw-collapsible-toggle-placeholder"></div> <div class="wikibase-sitelinkgroupview-heading-container"> <h3 class="wb-sitelinks-heading" dir="auto" id="sitelinks-wikivoyage">Wikivoyage<span class="wikibase-sitelinkgroupview-counter">(0 entries)</span></h3> <span class="wikibase-toolbar-container"><span class="wikibase-toolbar-item wikibase-toolbar "><span class="wikibase-toolbar-item wikibase-toolbar-button wikibase-toolbar-button-edit"><a href="/wiki/Special:SetSiteLink/Q200694" title=""><span class="wb-icon"></span>edit</a></span></span></span> </div> </div> <div class="mw-collapsible-content"> <div class="wikibase-sitelinklistview"> <ul class="wikibase-sitelinklistview-listview"></ul> </div> </div> </div><div class="wikibase-sitelinkgroupview" data-wb-sitelinks-group="wiktionary"> <div class="wikibase-sitelinkgroupview-heading-section"> <div class="mw-collapsible-toggle-placeholder"></div> <div class="wikibase-sitelinkgroupview-heading-container"> <h3 class="wb-sitelinks-heading" dir="auto" id="sitelinks-wiktionary">Wiktionary<span class="wikibase-sitelinkgroupview-counter">(0 entries)</span></h3> <span class="wikibase-toolbar-container"><span class="wikibase-toolbar-item wikibase-toolbar "><span class="wikibase-toolbar-item wikibase-toolbar-button wikibase-toolbar-button-edit"><a href="/wiki/Special:SetSiteLink/Q200694" title=""><span class="wb-icon"></span>edit</a></span></span></span> </div> </div> <div class="mw-collapsible-content"> <div class="wikibase-sitelinklistview"> <ul class="wikibase-sitelinklistview-listview"></ul> </div> </div> </div><div class="wikibase-sitelinkgroupview" data-wb-sitelinks-group="special"> <div class="wikibase-sitelinkgroupview-heading-section"> <div class="mw-collapsible-toggle-placeholder"></div> <div class="wikibase-sitelinkgroupview-heading-container"> <h3 class="wb-sitelinks-heading" dir="auto" id="sitelinks-special">Multilingual sites<span class="wikibase-sitelinkgroupview-counter">(0 entries)</span></h3> <span class="wikibase-toolbar-container"><span class="wikibase-toolbar-item wikibase-toolbar "><span class="wikibase-toolbar-item wikibase-toolbar-button wikibase-toolbar-button-edit"><a href="/wiki/Special:SetSiteLink/Q200694" title=""><span class="wb-icon"></span>edit</a></span></span></span> </div> </div> <div class="mw-collapsible-content"> <div class="wikibase-sitelinklistview"> <ul class="wikibase-sitelinklistview-listview"></ul> </div> </div> </div></div></div></div> </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="">Retrieved from "<a dir="ltr" href="https://www.wikidata.org/w/index.php?title=Q200694&oldid=2278135849">https://www.wikidata.org/w/index.php?title=Q200694&oldid=2278135849</a>"</div></div> <div id="catlinks" class="catlinks catlinks-allhidden" data-mw="interface"></div> </div> </div> <div id="mw-navigation"> <h2>Navigation menu</h2> <div id="mw-head"> <nav id="p-personal" class="mw-portlet mw-portlet-personal vector-user-menu-legacy vector-menu" aria-labelledby="p-personal-label" > <h3 id="p-personal-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Personal tools</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="pt-uls" class="mw-list-item active"><a class="uls-trigger" href="#"><span>English</span></a></li><li id="pt-anonuserpage" class="mw-list-item"><span title="The user page for the IP address you are editing as">Not logged in</span></li><li id="pt-anontalk" class="mw-list-item"><a href="/wiki/Special:MyTalk" title="Discussion about edits from this IP address [n]" accesskey="n"><span>Talk</span></a></li><li id="pt-anoncontribs" class="mw-list-item"><a href="/wiki/Special:MyContributions" title="A list of edits made from this IP address [y]" accesskey="y"><span>Contributions</span></a></li><li id="pt-createaccount" class="mw-list-item"><a href="/w/index.php?title=Special:CreateAccount&returnto=Q200694" title="You are encouraged to create an account and log in; however, it is not mandatory"><span>Create account</span></a></li><li id="pt-login" class="mw-list-item"><a href="/w/index.php?title=Special:UserLogin&returnto=Q200694" title="You are encouraged to log in; however, it is not mandatory [o]" accesskey="o"><span>Log in</span></a></li> </ul> </div> </nav> <div id="left-navigation"> <nav id="p-namespaces" class="mw-portlet mw-portlet-namespaces vector-menu-tabs vector-menu-tabs-legacy vector-menu" aria-labelledby="p-namespaces-label" > <h3 id="p-namespaces-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Namespaces</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-nstab-main" class="selected mw-list-item"><a href="/wiki/Q200694" title="View the item [c]" accesskey="c"><span>Item</span></a></li><li id="ca-talk" class="mw-list-item"><a href="/wiki/Talk:Q200694" rel="discussion" title="Discussion about the content page [t]" accesskey="t"><span>Discussion</span></a></li> </ul> </div> </nav> <nav id="p-variants" class="mw-portlet mw-portlet-variants emptyPortlet vector-menu-dropdown vector-menu" aria-labelledby="p-variants-label" > <input type="checkbox" id="p-variants-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-variants" class="vector-menu-checkbox" aria-labelledby="p-variants-label" > <label id="p-variants-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">English</span> </label> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> </div> <div id="right-navigation"> <nav id="p-views" class="mw-portlet mw-portlet-views vector-menu-tabs vector-menu-tabs-legacy vector-menu" aria-labelledby="p-views-label" > <h3 id="p-views-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Views</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="ca-view" class="selected mw-list-item"><a href="/wiki/Q200694"><span>Read</span></a></li><li id="ca-history" class="mw-list-item"><a href="/w/index.php?title=Q200694&action=history" title="Past revisions of this page [h]" accesskey="h"><span>View history</span></a></li> </ul> </div> </nav> <nav id="p-cactions" class="mw-portlet mw-portlet-cactions emptyPortlet vector-menu-dropdown vector-menu" aria-labelledby="p-cactions-label" title="More options" > <input type="checkbox" id="p-cactions-checkbox" role="button" aria-haspopup="true" data-event-name="ui.dropdown-p-cactions" class="vector-menu-checkbox" aria-labelledby="p-cactions-label" > <label id="p-cactions-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">More</span> </label> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> <div id="p-search" role="search" class="vector-search-box-vue vector-search-box"> <h3 >Search</h3> <form action="/w/index.php" id="searchform" class="vector-search-box-form"> <div id="simpleSearch" class="vector-search-box-inner" data-search-loc="header-navigation"> <input class="vector-search-box-input" type="search" name="search" placeholder="Search Wikidata" aria-label="Search Wikidata" autocapitalize="sentences" title="Search Wikidata [f]" accesskey="f" id="searchInput" > <input type="hidden" name="title" value="Special:Search"> <input id="mw-searchButton" class="searchButton mw-fallbackSearchButton" type="submit" name="fulltext" title="Search the pages for this text" value="Search"> <input id="searchButton" class="searchButton" type="submit" name="go" title="Go to a page with this exact name if it exists" value="Go"> </div> </form> </div> </div> </div> <div id="mw-panel" class="vector-legacy-sidebar"> <div id="p-logo" role="banner"> <a class="mw-wiki-logo" href="/wiki/Wikidata:Main_Page" title="Visit the main page"></a> </div> <nav id="p-navigation" class="mw-portlet mw-portlet-navigation vector-menu-portal portal vector-menu" aria-labelledby="p-navigation-label" > <h3 id="p-navigation-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Navigation</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-mainpage-description" class="mw-list-item"><a href="/wiki/Wikidata:Main_Page" title="Visit the main page [z]" accesskey="z"><span>Main page</span></a></li><li id="n-portal" class="mw-list-item"><a href="/wiki/Special:MyLanguage/Project:Community_portal" title="About the project, what you can do, where to find things"><span>Community portal</span></a></li><li id="n-villagepump" class="mw-list-item"><a href="/wiki/Wikidata:Project_chat"><span>Project chat</span></a></li><li id="n-special-newitem" class="mw-list-item"><a href="/wiki/Special:NewItem"><span>Create a new Item</span></a></li><li id="n-recentchanges" class="mw-list-item"><a href="/wiki/Special:RecentChanges" title="A list of recent changes in the wiki [r]" accesskey="r"><span>Recent changes</span></a></li><li id="n-wikibase-randomitem" class="mw-list-item"><a href="/wiki/Special:Random/Main" title="[x]" accesskey="x"><span>Random Item</span></a></li><li id="n-wikibase-queryservice" class="mw-list-item"><a href="//query.wikidata.org/"><span>Query Service</span></a></li><li id="n-nearby-pages-title" class="mw-list-item"><a href="/wiki/Special:Nearby"><span>Nearby</span></a></li><li id="n-help" class="mw-list-item"><a href="/wiki/Special:MyLanguage/Help:Contents" title="The place to find out"><span>Help</span></a></li><li id="n-sitesupport" class="mw-list-item"><a href="//donate.wikimedia.org/wiki/Special:FundraiserRedirector?utm_source=donate&utm_medium=sidebar&utm_campaign=C13_wikidata.org&uselang=en" title="Support us"><span>Donate</span></a></li> </ul> </div> </nav> <nav id="p-wikibase-lexeme-lexicographical-data" class="mw-portlet mw-portlet-wikibase-lexeme-lexicographical-data vector-menu-portal portal vector-menu" aria-labelledby="p-wikibase-lexeme-lexicographical-data-label" > <h3 id="p-wikibase-lexeme-lexicographical-data-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Lexicographical data</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="n-special-newlexeme" class="mw-list-item"><a href="/wiki/Special:NewLexeme"><span>Create a new Lexeme</span></a></li><li id="n-recentchanges-lexemes" class="mw-list-item"><a href="https://www.wikidata.org/wiki/Special:RecentChanges?namespace=146%3B147"><span>Recent changes</span></a></li><li id="n-wikibase-lexeme-randomlexeme" class="mw-list-item"><a href="/wiki/Special:Random/Lexeme"><span>Random Lexeme</span></a></li> </ul> </div> </nav> <nav id="p-tb" class="mw-portlet mw-portlet-tb vector-menu-portal portal vector-menu" aria-labelledby="p-tb-label" > <h3 id="p-tb-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Tools</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> <li id="t-whatlinkshere" class="mw-list-item"><a href="/wiki/Special:WhatLinksHere/Q200694" title="A list of all wiki pages that link here [j]" accesskey="j"><span>What links here</span></a></li><li id="t-recentchangeslinked" class="mw-list-item"><a href="/wiki/Special:RecentChangesLinked/Q200694" rel="nofollow" title="Recent changes in pages linked from this page [k]" accesskey="k"><span>Related changes</span></a></li><li id="t-specialpages" class="mw-list-item"><a href="/wiki/Special:SpecialPages" title="A list of all special pages [q]" accesskey="q"><span>Special pages</span></a></li><li id="t-permalink" class="mw-list-item"><a href="/w/index.php?title=Q200694&oldid=2278135849" title="Permanent link to this revision of this page"><span>Permanent link</span></a></li><li id="t-info" class="mw-list-item"><a href="/w/index.php?title=Q200694&action=info" title="More information about this page"><span>Page information</span></a></li><li id="t-wb-concept-uri" class="mw-list-item"><a href="http://www.wikidata.org/entity/Q200694" title="URI that identifies the concept described by this Item"><span>Concept URI</span></a></li><li id="t-cite" class="mw-list-item"><a href="/w/index.php?title=Special:CiteThisPage&page=Q200694&id=2278135849&wpFormIdentifier=titleform" title="Information on how to cite this page"><span>Cite this page</span></a></li><li id="t-urlshortener" class="mw-list-item"><a href="/w/index.php?title=Special:UrlShortener&url=https%3A%2F%2Fwww.wikidata.org%2Fwiki%2FQ200694"><span>Get shortened URL</span></a></li><li id="t-urlshortener-qrcode" class="mw-list-item"><a href="/w/index.php?title=Special:QrCode&url=https%3A%2F%2Fwww.wikidata.org%2Fwiki%2FQ200694"><span>Download QR code</span></a></li> </ul> </div> </nav> <nav id="p-coll-print_export" class="mw-portlet mw-portlet-coll-print_export vector-menu-portal portal vector-menu" aria-labelledby="p-coll-print_export-label" > <h3 id="p-coll-print_export-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">Print/export</span> </h3> <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=Special:Book&bookcmd=book_creator&referer=Q200694"><span>Create a book</span></a></li><li id="coll-download-as-rl" class="mw-list-item"><a href="/w/index.php?title=Special:DownloadAsPdf&page=Q200694&action=show-download-screen"><span>Download as PDF</span></a></li><li id="t-print" class="mw-list-item"><a href="/w/index.php?title=Q200694&printable=yes" title="Printable version of this page [p]" accesskey="p"><span>Printable version</span></a></li> </ul> </div> </nav> <nav id="p-wikibase-otherprojects" class="mw-portlet mw-portlet-wikibase-otherprojects emptyPortlet vector-menu-portal portal vector-menu" aria-labelledby="p-wikibase-otherprojects-label" > <h3 id="p-wikibase-otherprojects-label" class="vector-menu-heading " > <span class="vector-menu-heading-label">In other projects</span> </h3> <div class="vector-menu-content"> <ul class="vector-menu-content-list"> </ul> </div> </nav> </div> </div> <footer id="footer" class="mw-footer" > <ul id="footer-info"> <li id="footer-info-lastmod"> This page was last edited on 22 November 2024, at 00:20.</li> <li id="footer-info-copyright">All structured data from the main, Property, Lexeme, and EntitySchema namespaces is available under the <a rel="nofollow" class="external text" href="//creativecommons.org/publicdomain/zero/1.0/">Creative Commons CC0 License</a>; text in the other namespaces is available under the <a rel="nofollow" class="external text" href="//creativecommons.org/licenses/by-sa/4.0/">Creative Commons Attribution-ShareAlike License</a>; additional terms may apply. By using this site, you agree to the <a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Terms_of_Use">Terms of Use</a> and <a class="external text" href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Privacy Policy</a>.</li> </ul> <ul id="footer-places"> <li id="footer-places-privacy"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Privacy_policy">Privacy policy</a></li> <li id="footer-places-about"><a href="/wiki/Special:MyLanguage/Project:Introduction">About Wikidata</a></li> <li id="footer-places-disclaimers"><a href="/wiki/Special:MyLanguage/Project:General_disclaimer">Disclaimers</a></li> <li id="footer-places-wm-codeofconduct"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Universal_Code_of_Conduct">Code of Conduct</a></li> <li id="footer-places-developers"><a href="https://developer.wikimedia.org">Developers</a></li> <li id="footer-places-statslink"><a href="https://stats.wikimedia.org/#/www.wikidata.org">Statistics</a></li> <li id="footer-places-cookiestatement"><a href="https://foundation.wikimedia.org/wiki/Special:MyLanguage/Policy:Cookie_statement">Cookie statement</a></li> <li id="footer-places-mobileview"><a href="//m.wikidata.org/w/index.php?title=Q200694&mobileaction=toggle_view_mobile" class="noprint stopMobileRedirectToggle">Mobile view</a></li> <li id="footer-places-data-access"><a href="/wiki/Special:MyLanguage/Wikidata:Data_access">Data access</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> <script>(RLQ=window.RLQ||[]).push(function(){mw.log.warn("This page is using the deprecated ResourceLoader module \"codex-search-styles\".\n[1.43] Use a CodexModule with codexComponents to set your specific components used: https://www.mediawiki.org/wiki/Codex#Using_a_limited_subset_of_components");mw.config.set({"wgHostname":"mw-web.codfw.main-f69cdc8f6-8p8br","wgBackendResponseTime":101});});</script> </body> </html>