@prefix p: <http://www.wikidata.org/prop/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix schema1: <http://schema.org/> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix wd: <http://www.wikidata.org/entity/> .
@prefix wds: <http://www.wikidata.org/entity/statement/> .
@prefix wdt: <http://www.wikidata.org/prop/direct/> .
@prefix wdtn: <http://www.wikidata.org/prop/direct-normalized/> .
@prefix wikibase: <http://wikiba.se/ontology#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

wd:Q200694 rdfs:label "Proposisionele logika"@af,
        "حساب القضايا"@ar,
        "Lóxica proposicional"@ast,
        "Логіка выказванняў"@be,
        "зьлічэньне выказваньняў"@be-tarask,
        "Пропозиционна логика"@bg,
        "lògica proposicional"@ca,
        "výroková logika"@cs,
        "Каланăлăхсен шутлавĕ"@cv,
        "Rhesymeg osodiadol"@cy,
        "Aussagenlogik"@de,
        "Aussagenlogik"@de-ch,
        "Προτασιακός λογισμός"@el,
        "propositional calculus"@en,
        "Propositional calculus"@en-ca,
        "Propositional calculus"@en-gb,
        "propozicia kalkulo"@eo,
        "lógica proposicional"@es,
        "Lauseloogika"@et,
        "Logika proposizional"@eu,
        "حساب گزارهای"@fa,
        "propositiologiikka"@fi,
        "calcul des propositions"@fr,
        "Ütjsaagenloogik"@frr,
        "lóxica proposicional"@gl,
        "תחשיב הפסוקים"@he,
        "प्रतिज्ञप्तिक कलन"@hi,
        "ítéletlogika"@hu,
        "ասույթների տրամաբանություն"@hy,
        "Kalkulus proposisional"@id,
        "Propozicionala logiko"@io,
        "logica proposizionale"@it,
        "命題論理"@ja,
        "jufra logji"@jbo,
        "명제 논리"@ko,
        "Логикалык сүйлөө"@ky,
        "logica propositionalis"@la,
        "Teiginių logika"@lt,
        "исказна логика"@mk,
        "Пропозицын логик"@mn,
        "setningslogikk"@nb,
        "propositielogica"@nl,
        "utsegnslogikk"@nn,
        "rachunek zdań"@pl,
        "قضیوي حساب (منطق)"@ps,
        "lógica proposicional"@pt,
        "lógica proposicional"@pt-br,
        "logică propozițională"@ro,
        "исчисление высказываний"@ru,
        "výroková logika"@sk,
        "propozicijski račun"@sl,
        "Исказни рачун"@sr,
        "Исказни рачун"@sr-ec,
        "Iskazni račun"@sr-el,
        "satslogik"@sv,
        "แคลคูลัสเชิงประพจน์"@th,
        "Lohikang proposisyonal"@tl,
        "Önermeler mantığı"@tr,
        "числення висловлень"@uk,
        "Mệnh đề toán học"@vi,
        "命題邏輯"@yue,
        "命题逻辑"@zh,
        "命题逻辑"@zh-cn,
        "命题逻辑"@zh-hans,
        "命題邏輯"@zh-hant,
        "命題邏輯"@zh-hk,
        "命题逻辑"@zh-sg,
        "命題邏輯"@zh-tw ;
    schema1:dateModified "2026-09-28T01:51:46+00:00"^^xsd:dateTime ;
    schema1:description "branca de la lògica que es dedica a l'estudi de les proposicions"@ca,
        "formální odvozovací systém, ve kterém atomické formule tvoří výrokové proměnné"@cs,
        "Teilgebiet der Logik"@de,
        "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"@en,
        "sistema formal cuyos elementos más simples representan proposiciones o enunciados, y cuyas constantes lógicas, llamadas conectivas lógicas, representan operaciones sobre proposiciones, capaces de formar otras proposiciones de mayor complejidad"@es,
        "propositiosymboleista ja loogisista konnektiiveista koostuva symbolinen logiikka"@fi,
        "théorie de logique mathématique"@fr,
        "a formális logika egyik ága"@hu,
        "branca della logica"@it,
        "数理論理学の基礎的な一部門"@ja,
        "tak van logica binnen de wiskunde"@nl,
        "podstawy dział logiki matematycznej, inaczej logika zerowego rzędu"@pl,
        "sistema formal que permite demonstrações através da equivalência lógica das proposições categóricas"@pt,
        "раздел символической логики изучающий сложные высказывания, составленные из простых"@ru,
        "邏輯系統"@zh ;
    schema1:version 2550261698 ;
    wikibase:identifiers 31 ;
    wikibase:sitelinks 63 ;
    wikibase:statements 47 ;
    skos:altLabel "حسبان القضايا"@ar,
        "منطق اقتراحي"@ar,
        "منطق القضايا"@ar,
        "выказваньняў зьлічэньне"@be-tarask,
        "вылічэньне выказваньняў"@be-tarask,
        "càlcul proposicional"@ca,
        "formule výrokové logiky"@cs,
        "výrokový kalkul"@cs,
        "Junktorenlogik"@de,
        "Urteilslogik"@de,
        "falsche Aussage"@de,
        "wahre Aussage"@de,
        "propositional logic"@en,
        "sentential calculus"@en,
        "sentential logic"@en,
        "statement logic"@en,
        "zeroth-order logic"@en,
        "Asertologiko"@eo,
        "&&"@es,
        "calculo proposicional"@es,
        "conjuncion logica"@es,
        "cálculo proposicional"@es,
        "logica de proposiciones"@es,
        "logica proposicional"@es,
        "lógica de enunciados"@es,
        "lógica de orden cero"@es,
        "lógica de proposiciones"@es,
        "Lausearvutus"@et,
        "Enuntziatu-logika"@eu,
        "Esakune-kalkulu"@eu,
        "Esakune-logika"@eu,
        "Kalkulu proposizional"@eu,
        "Proposizio logika"@eu,
        "Proposizio-kalkulu"@eu,
        "حساب گزار ه ای"@fa,
        "حساب گزاره ای"@fa,
        "حساب گزاره ها"@fa,
        "حساب گزارهای"@fa,
        "حساب گزارهها"@fa,
        "حساب گزارهٔ ای"@fa,
        "حساب گزارهٔ ها"@fa,
        "منطق گزاره ای"@fa,
        "منطق گزارهای"@fa,
        "منطق گزارهها"@fa,
        "lausekalkyyli"@fi,
        "lauselogiikka"@fi,
        "propositiokalkyyli"@fi,
        "propositionaalilogiikka"@fi,
        "antilogie"@fr,
        "calcul propositionnel"@fr,
        "expression booléenne"@fr,
        "logique des propositions"@fr,
        "logique propositionnelle"@fr,
        "לוגיקה פרופוזיציונית"@he,
        "לוגיקת הפסוקים"@he,
        "תחשיב פסוקים"@he,
        "kijelentéslogika"@hu,
        "ítéletkalkulus"@hu,
        "calcolo proposizionale"@it,
        "logica delle proposizioni"@it,
        "logica enunciativa"@it,
        "命題計算"@ja,
        "命題論理学"@ja,
        "명제 논리학"@ko,
        "명제논리학"@ko,
        "Logica Propositionis"@la,
        "исказно сметање"@mk,
        "junktorlogikk"@nb,
        "utsagnslogikk"@nb,
        "junktorlogikk"@nn,
        "setningslogikk"@nn,
        "utsagnslogikk"@nn,
        "KRZ"@pl,
        "cálculo Proposicional"@pt,
        "logica proposicional"@pt,
        "lógica de ordem zero"@pt,
        "lógica sentencial"@pt,
        "исчисления высказываний"@ru,
        "классическое исчисление высказываний"@ru,
        "логика нулевого порядка"@ru,
        "пропозициональная логика"@ru,
        "теория L"@ru,
        "logika ničelnega reda"@sl,
        "propozicijska logika"@sl,
        "ตรรกศาสตร์เชิงประพจน์"@th,
        "алгебра висловлювань"@uk,
        "числення висловлювань"@uk,
        "句子逻辑"@zh,
        "命题演算"@zh,
        "命题逻辑推理"@zh,
        "逻辑命题"@zh ;
    p:P10283 wds:Q200694-027BE99C-2BFC-4CE6-898A-6E7EED508AB7 ;
    p:P1051 wds:Q200694-b7077baf-4026-9f7e-43bf-fdbc2f8d5c6d ;
    p:P10565 wds:Q200694-EF79C81B-C4F5-4A4D-B1AC-0CA8EA58E223 ;
    p:P1245 wds:Q200694-73782AD1-0969-4B14-A8E9-707CBB6FDDF0 ;
    p:P1343 wds:Q200694-15307cb7-40fa-60f0-a94f-213f357c4f77,
        wds:Q200694-734bfbca-e31d-4882-8471-5e54f1fe89d9 ;
    p:P13750 wds:Q200694-51484C2F-68B0-4C03-A00F-A651B451ABCA ;
    p:P1417 wds:Q200694-6329377F-58D8-4A5A-A707-93F4BC71331F,
        wds:Q200694-A2D17EFC-E08F-4975-8D6F-D86E91097027 ;
    p:P14541 wds:Q200694-42E05C34-854E-4CF6-95CB-D45691D44930 ;
    p:P1482 wds:Q200694-DD1E1399-9398-4965-AB09-16F7E24D9DF5 ;
    p:P1552 wds:Q200694-64f72c5c-46f4-b194-986d-55c9c0caa457 ;
    p:P1889 wds:Q200694-c71016d1-4a5a-aeb2-4489-0b75a66cbc88 ;
    p:P227 wds:Q200694-CD72063E-4590-4707-82CE-46B4C258919F ;
    p:P2347 wds:Q200694-BC3F8867-156C-4B81-9524-50D699138BCA ;
    p:P2534 wds:Q200694-A377584B-B250-4C7E-A8A2-3F94AB15247F ;
    p:P2578 wds:Q200694-01cd8be7-42b3-7edc-ed48-0e94b7efa98e ;
    p:P279 wds:Q200694-91ebe053-483a-a885-e7cb-fe99e7ab8819 ;
    p:P2812 wds:Q200694-d9a38ca9-4eea-6e83-ebc6-0d5a79b3272b ;
    p:P2924 wds:Q200694-87ae78b2-4343-8c79-5703-2650ad104e52 ;
    p:P2959 wds:Q200694-b406f962-4b07-4068-33d7-2c6f0689f878 ;
    p:P3123 wds:Q200694-082debea-40f3-45a4-bf00-aafa6d5395a6 ;
    p:P3219 wds:Q200694-77341825-65D1-4239-BF92-BE7BC6692AC4 ;
    p:P3235 wds:Q200694-eadfd3af-4a56-0118-88a7-24002a432ba5 ;
    p:P3285 wds:Q200694-4f912ca8-4c5e-0386-7dd6-0e3e35a1826c ;
    p:P3417 wds:Q200694-FA0B51DF-C48B-4489-83AB-86F5AEF0FAC1 ;
    p:P361 wds:Q200694-88798F7D-D9FB-4FBD-9F9F-54BDFE446D9D,
        wds:Q200694-CE1971AE-A0E7-4F9A-BE43-3BE62D939169 ;
    p:P373 wds:Q200694-081076E0-7BA0-45DD-AC23-E4A427890A29 ;
    p:P3827 wds:Q200694-2BD8DB04-20AD-4100-822A-D49A49C48880 ;
    p:P460 wds:Q200694-0214f3af-48c9-b52e-b4e4-926ce2aa27e1 ;
    p:P5008 wds:Q200694-3974B3CB-211F-4741-AE93-E6AEA6C7B539 ;
    p:P5088 wds:Q200694-36BA5832-5C8B-4B73-B73B-7995A797F07B ;
    p:P6058 wds:Q200694-3fb5d713-4047-350f-725f-66c3ae028fd1 ;
    p:P6104 wds:Q200694-B72FB31A-585D-4602-AA59-F5905472E480 ;
    p:P6366 wds:Q200694-4AF6321A-40F6-4057-BAAF-154F76E8A831 ;
    p:P646 wds:Q200694-A69DAE38-F0EB-4D4B-B948-EAD1BB9AB5E4 ;
    p:P6781 wds:Q200694-9192d795-4a9b-c0fe-3bff-a7ddd8bc0e58 ;
    p:P691 wds:Q200694-B906D693-AEBE-4ABD-B315-DF02C383E235 ;
    p:P7554 wds:Q200694-7ddde81c-4b79-90d0-4a9d-df421d74cd5d,
        wds:Q200694-ada20b78-4685-181b-10c6-5ca2ab1c6f40 ;
    p:P7993 wds:Q200694-29B9E7BD-FFF3-42C6-84CE-750AD15F5533 ;
    p:P8189 wds:Q200694-1CD69645-2573-43A2-8E30-1B49D314CB96 ;
    p:P8408 wds:Q200694-ECA90B57-9459-4C65-9206-6DE8B5FE5297 ;
    p:P910 wds:Q200694-6F912728-66C8-47B8-9FCC-A6BB7805DC2B ;
    p:P9100 wds:Q200694-42B2E5BC-28E4-41C8-BAE6-5B8091A01E98 ;
    p:P9322 wds:Q200694-4C57F120-B59E-45D3-A6B4-8D0E39F4F507 ;
    wdtn:P227 <https://d-nb.info/gnd/4136098-9> ;
    wdtn:P2347 <http://www.yso.fi/onto/yso/p10364> ;
    wdtn:P3285 <http://msc2010.org/resources/MSC/2010/03B05> ;
    wdtn:P6366 <https://makg.org/entity/69562738> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/PropositionalLogic> ;
    wdt:P10283 "C69562738" ;
    wdt:P1051 "7100" ;
    wdt:P10565 "216779" ;
    wdt:P1245 "967134" ;
    wdt:P1343 wd:Q123560817,
        wd:Q140169500 ;
    wdt:P13750 "160220" ;
    wdt:P1417 "topic/logic-of-propositions",
        "topic/propositional-calculus" ;
    wdt:P14541 "1W1JDQ" ;
    wdt:P1482 <https://philosophy.stackexchange.com/tags/propositional-logic> ;
    wdt:P1552 wd:Q1047000 ;
    wdt:P1889 wd:Q8069651 ;
    wdt:P227 "4136098-9" ;
    wdt:P2347 "10364" ;
    wdt:P2534 "<math class=\"mwe-math-element mwe-math-element-inline\" xmlns=\"http://www.w3.org/1998/Math/MathML\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi>P</mi><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>Q</mi><mo>,</mo><mi>P</mi><mo stretchy=\"false\">&#x22A2;</mo><mi>Q</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2578 wd:Q1372900 ;
    wdt:P279 wd:Q17488292 ;
    wdt:P2812 "PropositionalCalculus" ;
    wdt:P2924 "2177731" ;
    wdt:P2959 wd:Q16705128 ;
    wdt:P3123 "logic-propositional" ;
    wdt:P3219 "calcul-propositionnel" ;
    wdt:P3235 "propositional-logic" ;
    wdt:P3285 "03B05" ;
    wdt:P3417 "Propositional-Logic" ;
    wdt:P361 wd:Q1166618,
        wd:Q8078 ;
    wdt:P373 "Propositional logic" ;
    wdt:P3827 "propositional-logic" ;
    wdt:P460 wd:Q16705128 ;
    wdt:P5008 wd:Q6173448 ;
    wdt:P5088 "prop-log" ;
    wdt:P6058 "divers/calcul_des_propositions/83640" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "69562738" ;
    wdt:P646 "/m/04m3r" ;
    wdt:P6781 "Definition:Propositional_Logic" ;
    wdt:P691 "ph127455" ;
    wdt:P7554 "Propositional_calculus",
        "Propositional_calculus(2)" ;
    wdt:P7993 "calcolo-proposizionale" ;
    wdt:P8189 "987007541095305171" ;
    wdt:P8408 "PropositionalLogic" ;
    wdt:P910 wd:Q7470263 ;
    wdt:P9100 "propositional-logic" ;
    wdt:P9322 "0202695-vyrokova-logika" .