@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:Q655742 rdfs:label "قياس استثنائي"@ar,
        "modus ponens"@be-tarask,
        "Модус поненс"@bg,
        "modus ponens"@ca,
        "modus ponens"@cs,
        "Modus ponens"@da,
        "Modus ponens"@de,
        "modus ponens"@en,
        "aserta modalo"@eo,
        "modus ponendo ponens"@es,
        "Modus ponens"@et,
        "Modus ponendo ponens"@eu,
        "قیاس استثنایی"@fa,
        "modus ponens"@fr,
        "Modus ponens"@gl,
        "מודוס פוננס"@he,
        "Modus ponens"@hr,
        "modus ponens"@hu,
        "modus ponens"@id,
        "Jákvæð játunarregla"@is,
        "modus ponens"@it,
        "モーダスポネンス"@ja,
        "전건 긍정의 형식"@ko,
        "modus ponens"@nl,
        "Modus ponendo ponens"@pl,
        "modus ponens"@pt,
        "Modus ponens"@ru,
        "Modus ponens"@sk,
        "modus ponens"@sl,
        "Модус поненс"@sr,
        "Модус поненс"@sr-ec,
        "Modus ponens"@sr-el,
        "Modus ponens"@sv,
        "modus ponens"@tr,
        "Modus ponens"@uk,
        "肯定前件"@zh,
        "肯定前件"@zh-hans,
        "肯定前件"@zh-hant,
        "肯定前件"@zh-hk ;
    schema1:dateModified "2026-09-17T10:48:31+00:00"^^xsd:dateTime ;
    schema1:description "قاعدة للاستدلال المنطقي"@ar,
        "odvozovací pravidlo"@cs,
        "Schlussregel der formalen Logik"@de,
        "if X implies Y, and X is true, then Y is true"@en,
        "inferencoregulo, laŭ kiu, donita P→Q kaj P, oni inferencas Q"@eo,
        "forma lógica"@es,
        "Figure de raisonnement logique concernant l'implication"@fr,
        "figura do razoamento lóxico"@gl,
        "כלל לוגי"@he,
        "jika X berimplikasi pada Y, dan X adalah benar, maka Y benar"@id,
        "regola di inferenza della logica proposizionale"@it,
        "reguła wnioskowania nazywana też odrywaniem – z implikacji i jej poprzednika wynika jej następnik"@pl,
        "правило вывода в исчислении высказываний"@ru,
        "pravilo formalne logike: če X pomeni Y in je X resničen, je tudi Y resničen"@sl,
        "X Y'yi ima ediyorsa ve X doğruysa, Y doğrudur"@tr ;
    schema1:version 2546989225 ;
    wikibase:identifiers 16 ;
    wikibase:sitelinks 31 ;
    wikibase:statements 25 ;
    skos:altLabel "Modus ponens"@bg,
        "Abtrennungsregel"@de,
        "Modus ponendo ponens"@de,
        "MP"@en,
        "affirming the antecedent"@en,
        "implication elimination"@en,
        "modus ponendo ponens"@en,
        "Modus ponens"@es,
        "وضع مقدم"@fa,
        "Aðskilnaðarháttur"@is,
        "Aðskilnaðarregla"@is,
        "Modus ponendo ponens"@is,
        "Modus ponens"@is,
        "Affermazione dell'antecedente"@it,
        "Modus ponendo ponens"@it,
        "Principio di disgiunzione"@it,
        "Ragionamento diretto"@it,
        "モドゥスポネンス"@ja,
        "モドゥス・ポネンス"@ja,
        "モーダス・ポネンス"@ja,
        "前件肯定"@ja,
        "긍정식"@ko,
        "전건 긍정식"@ko,
        "전건긍정식"@ko,
        "Modus ponendo ponens"@ru,
        "Модус поненс"@ru,
        "Modus ponendo ponens"@sk,
        "Pravidlo modus ponens"@sk,
        "Pravidlo odlúčenia"@sk,
        "limit koyma"@tr,
        "mod ayarının yapılması"@tr,
        "分离规则"@zh,
        "取式推理"@zh ;
    p:P10017 wds:Q655742-7a5aaf24-43f2-5fe0-236c-d040179387bc ;
    p:P10283 wds:Q655742-9DA6C01D-2533-4EE4-B91B-E7C5F6A22BCC ;
    p:P10376 wds:Q655742-4873f696-492a-b10c-4bab-2f561425b1dc ;
    p:P10565 wds:Q655742-2F6C701D-6691-4372-BF2E-66B8FD167CF9 ;
    p:P11514 wds:Q655742-65D9F8D2-639B-4661-B25F-A8163BE4352A ;
    p:P12888 wds:Q655742-13c09401-46f8-1d41-6634-ad7d8f4a15ed ;
    p:P1343 wds:Q655742-d6c238e6-4f5a-0f2e-0941-3f10a136891e ;
    p:P1417 wds:Q655742-DF440B50-148A-41E5-BFCB-E314EE461654 ;
    p:P14541 wds:Q655742-A6C5EE99-A347-4DBB-83B6-C5FE2AFFD42F ;
    p:P2534 wds:Q655742-014b66bc-4f9e-6dcf-3d2b-af8d09bfb14b,
        wds:Q655742-0d9bd93b-4c35-5a9c-2493-97d3b5afc71c ;
    p:P2577 wds:Q655742-81482f58-43d5-2e04-7608-41528ddd1dfe,
        wds:Q655742-97836457-587D-4E27-8A1B-CE0B49321405,
        wds:Q655742-DD8037F5-8EF6-44ED-ABE2-E2924BEC48BF ;
    p:P279 wds:Q655742-651da509-446d-aba8-f513-eae521aaa10a ;
    p:P2812 wds:Q655742-150198E8-4FD9-4F13-8FF0-C8448FF2E5E9 ;
    p:P31 wds:Q655742-49C273CE-FD80-4850-9DE0-02E078EE1B27 ;
    p:P3417 wds:Q655742-AC6CE341-493F-45F8-947C-C7870A387B7E ;
    p:P4215 wds:Q655742-531F0F28-DB05-4D4E-99E4-41F0D1E50B64 ;
    p:P6104 wds:Q655742-BD105130-EEB1-4EB5-AC6C-4FDE764F2453 ;
    p:P6366 wds:Q655742-8422793D-BA2C-4D9A-9A50-5800569DA1E5 ;
    p:P646 wds:Q655742-B2E592CC-36C0-4400-972F-C7E403903923 ;
    p:P7554 wds:Q655742-27551551-4ecc-7adc-455a-d6e00f30a843 ;
    p:P8313 wds:Q655742-8BBCADD8-91FE-4801-BD76-A761B3208880 ;
    p:P9621 wds:Q655742-0f0110ee-4352-1228-56ed-388b73af3aaf ;
    wdtn:P6366 <https://makg.org/entity/193885149> ;
    wdt:P10017 "modus-ponens" ;
    wdt:P10283 "C193885149" ;
    wdt:P10376 "mathematics/modus-ponens" ;
    wdt:P10565 "106646" ;
    wdt:P11514 "modus-ponens-ee5dac" ;
    wdt:P12888 "ax-mp" ;
    wdt:P1343 wd:Q140169500 ;
    wdt:P1417 "topic/modus-ponens" ;
    wdt:P14541 "Ao3eG" ;
    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><mspace width=\"0.278em\"></mspace><mi>P</mi><mspace width=\"0.278em\"></mspace><mspace width=\"0.278em\"></mspace><mo stretchy=\"false\">&#x22A2;</mo><mspace width=\"0.278em\"></mspace><mspace width=\"0.278em\"></mspace><mi>Q</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<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\"><mrow data-mjx-texclass=\"ORD\"><mfrac><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"ORD\"><mi>P</mi><mo stretchy=\"false\" accent=\"false\">&#x2192;</mo><mi>Q</mi><mo>,</mo><mspace width=\"0.278em\"></mspace><mi>P</mi></mrow></mrow><mrow data-mjx-texclass=\"ORD\"><mrow data-mjx-texclass=\"ORD\"><mo stretchy=\"false\">&#x2234;</mo><mi>Q</mi></mrow></mrow></mfrac></mrow></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2577 wd:Q176786,
        wd:Q236975,
        wd:Q3257974 ;
    wdt:P279 wd:Q18400501 ;
    wdt:P2812 "ModusPonens" ;
    wdt:P31 wd:Q1068763 ;
    wdt:P3417 "Modus-Ponens" ;
    wdt:P4215 "modus ponens" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "193885149" ;
    wdt:P646 "/m/04s21" ;
    wdt:P7554 "Modus_ponens" ;
    wdt:P8313 "modus_ponens" ;
    wdt:P9621 "modus-ponens" .