@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:Q374182 rdfs:label "ጥገኛ አምክንዮ"@am,
        "قضية شرطية"@ar,
        "вывад"@be-tarask,
        "умозаключение"@bg,
        "conseqüència lògica"@ca,
        "شوێنھاتی لۆژیکی"@ckb,
        "implikace"@cs,
        "Ăсларăш"@cv,
        "Implikation"@de,
        "Λογική συνέπεια"@el,
        "logical consequence"@en,
        "logical consequence"@en-gb,
        "implico"@eo,
        "consecuencia lógica"@es,
        "ondorio logiko"@eu,
        "شرطی منطقی"@fa,
        "Looginen seuraus"@fi,
        "déduction logique"@fr,
        "rud a leanann go loighciúil"@ga,
        "consecuencia lóxica"@gl,
        "מסקנה לוגית"@he,
        "निष्कर्ष"@hi,
        "implikáció"@hu,
        "Իմպլիկացիա"@hy,
        "konsekuensi logis"@id,
        "conseguenza logica"@it,
        "論理的帰結"@ja,
        "selni'i"@jbo,
        "İmplikatsiya"@kaa,
        "Импликация"@kk,
        "논리적 귀결"@ko,
        "slēdziens"@lv,
        "Материјална импликација"@mk,
        "akibat logik"@ms,
        "عاقبة لوݢيک"@ms-arab,
        "logisk konsekvens"@nb,
        "logisch gevolg"@nl,
        "logisk konsekvens"@nn,
        "implikacja logiczna"@pl,
        "Amplicassion"@pms,
        "consequência lógica"@pt,
        "consecință logică"@ro,
        "умозаключение"@ru,
        "Implikácia"@sk,
        "implikacija"@sl,
        "pasojë logjike"@sq,
        "логичка импликација"@sr,
        "логичка импликација"@sr-ec,
        "logička implikacija"@sr-el,
        "medför"@sv,
        "เงื่อนไขเชิงตรรกศาสตร์"@th,
        "умовивід"@uk,
        "結論"@yue,
        "蕴涵"@zh ;
    schema1:dateModified "2026-07-15T05:53:52+00:00"^^xsd:dateTime ;
    schema1:description "مفهوم أساسي في المنطق"@ar,
        "مفهوم أساسي في المنطق"@ary,
        "базавае паняцьце лёгікі"@be-tarask,
        "چەمکێکی سەرەکی لە لۆژیک"@ckb,
        "logický výrok"@cs,
        "logische Verknüpfung"@de,
        "fundamental concept in logic"@en,
        "consecuencia a la que llevan necesariamente una serie de premisas"@es,
        "Baliozko arrazoibide baten premisen eta konklusioaren artean dagoen erlazioa."@eu,
        "concept fondamental en logique"@fr,
        "consecuencia á que levan necesariamente unha serie de premisas"@gl,
        "פעולה מחשבתית"@he,
        "konsep mendasar dalam logika"@id,
        "複数の文の集合と1つの文の間が「～だから、当然～」という繋がり方をする関係。"@ja,
        "논리학의 개념"@ko,
        "begrep i logikk"@nb,
        "podstawowe pojęcie w logice"@pl,
        "conceito fundamental na lógica"@pt,
        "concept fundamental în logică"@ro,
        "фундаментальне поняття логіки"@uk ;
    schema1:version 2517663744 ;
    wikibase:identifiers 15 ;
    wikibase:sitelinks 33 ;
    wikibase:statements 31 ;
    skos:altLabel "استلزام"@ar,
        "اقتضاء"@ar,
        "الاستتباع المنطقي"@ar,
        "الاستلزام"@ar,
        "الاقتضاء"@ar,
        "تێوەپێچراوی"@ckb,
        "jestliže, pak"@cs,
        "=>"@en,
        "asserted relation"@en,
        "entailment"@en,
        "implies"@en,
        "logical implication"@en,
        "logically implies"@en,
        "deducción lógica"@es,
        "conséquence"@fr,
        "implication logique"@fr,
        "implique"@fr,
        "relation affirmée"@fr,
        "dedución lóxica"@gl,
        "אם-אז"@he,
        "גרירה"@he,
        "הסקת מסקנות"@he,
        "ha–akkor viszony"@hu,
        "következtetés"@hu,
        "implikasi"@id,
        "논리적 함의"@ko,
        "implikasjon"@nb,
        "impliserer"@nb,
        "konsekvens"@nb,
        "logische consequentie"@nl,
        "operacja konsekwencji"@pl,
        "relacja wynikania"@pl,
        "stosunek wynikania"@pl,
        "wynikanie logiczne"@pl,
        "implicação"@pt,
        "implicații logice"@ro,
        "заключение (логика)"@ru,
        "импликация"@ru,
        "логический вывод"@ru,
        "логическое следствие"@ru,
        "следствие"@ru,
        "логічна імплікація"@uk ;
    p:P10283 wds:Q374182-668B769D-E5C5-4C07-BEC8-14E19730DE72 ;
    p:P11514 wds:Q374182-E46CD419-2634-4DB3-9F61-2A44942EFFBC ;
    p:P1417 wds:Q374182-E6E152DE-9882-4631-B17F-50D76F98BA06 ;
    p:P1889 wds:Q374182-5a95a128-4c7a-86ec-c8fb-3347ad7c1952,
        wds:Q374182-87afae85-4cf7-1b94-43ca-cd6ff89a8715 ;
    p:P227 wds:Q374182-9D11761A-D965-4354-ACC1-E65B1612A58C ;
    p:P2534 wds:Q374182-1c76596a-4551-facc-f670-2782622d1e9f ;
    p:P2579 wds:Q374182-80794221-4d03-c5ff-38e2-30690d87b224 ;
    p:P279 wds:Q374182-b8edb3e5-4f4b-a684-1851-6eeacad35dce ;
    p:P2924 wds:Q374182-250e271c-4244-ddcd-675f-79767ce349ab ;
    p:P31 wds:Q374182-b66e5e2f-49a9-c8a2-2563-a7976460f875 ;
    p:P3123 wds:Q374182-3635EFBF-C290-445A-A10F-6866AC9AA4D0 ;
    p:P361 wds:Q374182-ea251c24-474a-4776-88b6-13f251afe8bc ;
    p:P373 wds:Q374182-A08AA13E-320B-4E32-894B-2A3A24642B76 ;
    p:P460 wds:Q374182-54d346e3-4216-b5cb-9f5a-d7802163f195,
        wds:Q374182-5BE9D401-0CB6-4054-B839-830855BC3ADE ;
    p:P4746 wds:Q374182-E7137127-F97E-4C7C-8E8D-4D552DB656A9 ;
    p:P487 wds:Q374182-6d094b29-4d08-7078-1048-169009df103b ;
    p:P5088 wds:Q374182-797747EF-726C-4675-98F3-99E8AC323FCF ;
    p:P6104 wds:Q374182-490D2B5D-509B-4B54-B913-F1826CA31BCC ;
    p:P6366 wds:Q374182-BC12DFCE-4703-4463-A8B4-B84339D4ADE5 ;
    p:P6385 wds:Q374182-ec1238c4-42e8-46dc-ec4f-fe0bf9f160c0 ;
    p:P646 wds:Q374182-974CD1DC-2111-4171-A1D6-636A33B7B6BB ;
    p:P7033 wds:Q374182-95836174-002A-4361-8E56-1817F6F18D8F ;
    p:P7235 wds:Q374182-11ecdcce-437c-eb58-a07c-a9ad02824926,
        wds:Q374182-d08f7d07-4b20-1867-c350-1234605e04fa ;
    p:P7276 wds:Q374182-D230E4DC-117A-4467-B2A9-7BB8B52D7BAC ;
    p:P7293 wds:Q374182-fb6f8465-4fee-a03d-7e35-90646e2b67ac ;
    p:P8408 wds:Q374182-528C8784-00BD-4D55-9B7C-C4AE664C8A0E ;
    p:P910 wds:Q374182-BAD93992-4727-439E-A2B8-233D4F6FD0CC ;
    p:P913 wds:Q374182-0cd86b61-4784-f9ef-775d-da9977af0ea1 ;
    wdtn:P227 <https://d-nb.info/gnd/4161414-8> ;
    wdtn:P6366 <https://makg.org/entity/134752490> ;
    wdtn:P7033 <http://vocabulary.curriculum.edu.au/scot/15501> ;
    wdtn:P8408 <http://kbpedia.org/kko/rc/LogicalConsequence> ;
    wdt:P10283 "C134752490" ;
    wdt:P11514 "umozakliuchenie-c6fdc4" ;
    wdt:P1417 "topic/logic-of-consequences" ;
    wdt:P1889 wd:Q55644676,
        wd:Q7881229 ;
    wdt:P227 "4161414-8" ;
    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 mathvariant=\"normal\">&#x2200;</mi><mi>x</mi><mtext>&#160;</mtext><mo stretchy=\"false\">(</mo><mi>A</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">&#x2192;</mo><mi>B</mi><mo stretchy=\"false\">(</mo><mi>x</mi><mo stretchy=\"false\">)</mo><mo stretchy=\"false\">)</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" class=\"mwe-math-element mwe-math-element-inline\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mo stretchy=\"false\">(</mo><mi>T</mi><mo stretchy=\"false\">⊨</mo><mo stretchy=\"false\">⟨</mo><mi>ϕ</mi><mo stretchy=\"false\">⟩</mo><mo stretchy=\"false\">)</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo>&#x27FA;</mo><mstyle scriptlevel=\"0\"><mspace width=\"0.278em\"></mspace></mstyle><mo stretchy=\"false\">(</mo><mi mathvariant=\"normal\">∀</mi><mi>M</mi><mo stretchy=\"false\">⊨</mo><mi>T</mi><mo stretchy=\"false\">:</mo><mi>M</mi><mo stretchy=\"false\">⊨</mo><mo stretchy=\"false\">⟨</mo><mi>ϕ</mi><mo stretchy=\"false\">⟩</mo><mo stretchy=\"false\">)</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P2579 wd:Q8078 ;
    wdt:P279 wd:Q733541 ;
    wdt:P31 wd:Q151885 ;
    wdt:P3123 "logical-consequence" ;
    wdt:P361 wd:Q408386 ;
    wdt:P373 "Logical consequence" ;
    wdt:P460 wd:Q116159570,
        wd:Q20665666 ;
    wdt:P4746 "139751" ;
    wdt:P487 "⇒" ;
    wdt:P5088 "logcon" ;
    wdt:P6104 wd:Q8487137 ;
    wdt:P6366 "134752490" ;
    wdt:P6385 "gumanitarnye_nauki/filosofiya/UMOZAKLYUCHENIE.html" ;
    wdt:P646 "/m/0c6np" ;
    wdt:P7033 "scot/15501" ;
    wdt:P7235 "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" class=\"mwe-math-element mwe-math-element-inline\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi>M</mi><mo stretchy=\"false\">⊨</mo><mi>T</mi></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML>,
        "<math xmlns=\"http://www.w3.org/1998/Math/MathML\" class=\"mwe-math-element mwe-math-element-inline\"><mrow data-mjx-texclass=\"ORD\"><mstyle displaystyle=\"true\" scriptlevel=\"0\"><mi>T</mi><mo stretchy=\"false\">⊨</mo><mo stretchy=\"false\">⟨</mo><mi>ϕ</mi><mo stretchy=\"false\">⟩</mo></mstyle></mrow></math>"^^<http://www.w3.org/1998/Math/MathML> ;
    wdt:P7276 "IMPLIKACE" ;
    wdt:P7293 "9810693501105606" ;
    wdt:P8408 "LogicalConsequence" ;
    wdt:P910 wd:Q7207501 ;
    wdt:P913 wd:Q1435347 .