SHMARQL

logical consequence

<http://www.wikidata.org/entity/Q374182>

fundamental concept in logic
rdfs:label
"logical consequence"@en
skos:altLabel
"=>"@en
"asserted relation"@en
"entailment"@en
"implies"@en
"logical implication"@en
"logically implies"@en
schema:description
"fundamental concept in logic"@en
schema:dateModified "2026-07-15T05:53:52+00:00"^^xsd:dateTime
schema:version 2517663744
wikibase:identifiers 15
wikibase:sitelinks 33
wikibase:statements 31
p:P10283 wd:statement/Q374182-668B769D-E5C5-4C07-BEC8-14E19730DE72
p:P11514 wd:statement/Q374182-E46CD419-2634-4DB3-9F61-2A44942EFFBC
p:P1417 wd:statement/Q374182-E6E152DE-9882-4631-B17F-50D76F98BA06
p:P1889 wd:statement/Q374182-5a95a128-4c7a-86ec-c8fb-3347ad7c1952
wd:statement/Q374182-87afae85-4cf7-1b94-43ca-cd6ff89a8715
p:P227 wd:statement/Q374182-9D11761A-D965-4354-ACC1-E65B1612A58C
p:P2534 wd:statement/Q374182-1c76596a-4551-facc-f670-2782622d1e9f
p:P2579 wd:statement/Q374182-80794221-4d03-c5ff-38e2-30690d87b224
p:P279 wd:statement/Q374182-b8edb3e5-4f4b-a684-1851-6eeacad35dce
p:P2924 wd:statement/Q374182-250e271c-4244-ddcd-675f-79767ce349ab
p:P31 wd:statement/Q374182-b66e5e2f-49a9-c8a2-2563-a7976460f875
p:P3123 wd:statement/Q374182-3635EFBF-C290-445A-A10F-6866AC9AA4D0
p:P361 wd:statement/Q374182-ea251c24-474a-4776-88b6-13f251afe8bc
p:P373 wd:statement/Q374182-A08AA13E-320B-4E32-894B-2A3A24642B76
p:P460 wd:statement/Q374182-54d346e3-4216-b5cb-9f5a-d7802163f195
wd:statement/Q374182-5BE9D401-0CB6-4054-B839-830855BC3ADE
p:P4746 wd:statement/Q374182-E7137127-F97E-4C7C-8E8D-4D552DB656A9
p:P487 wd:statement/Q374182-6d094b29-4d08-7078-1048-169009df103b
p:P5088 wd:statement/Q374182-797747EF-726C-4675-98F3-99E8AC323FCF
p:P6104 wd:statement/Q374182-490D2B5D-509B-4B54-B913-F1826CA31BCC
p:P6366 wd:statement/Q374182-BC12DFCE-4703-4463-A8B4-B84339D4ADE5
p:P6385 wd:statement/Q374182-ec1238c4-42e8-46dc-ec4f-fe0bf9f160c0
p:P646 wd:statement/Q374182-974CD1DC-2111-4171-A1D6-636A33B7B6BB
p:P7033 wd:statement/Q374182-95836174-002A-4361-8E56-1817F6F18D8F
p:P7235 wd:statement/Q374182-11ecdcce-437c-eb58-a07c-a9ad02824926
wd:statement/Q374182-d08f7d07-4b20-1867-c350-1234605e04fa
p:P7276 wd:statement/Q374182-D230E4DC-117A-4467-B2A9-7BB8B52D7BAC
p:P7293 wd:statement/Q374182-fb6f8465-4fee-a03d-7e35-90646e2b67ac
p:P8408 wd:statement/Q374182-528C8784-00BD-4D55-9B7C-C4AE664C8A0E
p:P910 wd:statement/Q374182-BAD93992-4727-439E-A2B8-233D4F6FD0CC
p:P913 wd:statement/Q374182-0cd86b61-4784-f9ef-775d-da9977af0ea1
p:direct-normalized/P227 <https://d-nb.info/gnd/4161414-8>
p:direct-normalized/P6366 <https://makg.org/entity/134752490>
p:direct-normalized/P7033 <http://vocabulary.curriculum.edu.au/scot/15501>
p:direct-normalized/P8408 <http://kbpedia.org/kko/rc/LogicalConsequence>
wdt:P10283 "C134752490"
wdt:P11514 "umozakliuchenie-c6fdc4"
wdt:P1417 "topic/logic-of-consequences"
wdt:P1889 wd:Q55644676
material implication
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 logic
wdt:P279 consequence
wdt:P31 concept
wdt:P3123 "logical-consequence"
wdt:P361 inference
wdt:P373 "Logical consequence"
wdt:P460 wd:Q116159570
conclusion
wdt:P4746 "139751"
wdt:P487 "⇒"
wdt:P5088 "logcon"
wdt:P6104 WikiProject Mathematics
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 Category:Logical consequence
wdt:P913 implication arrow
Download as:
TurtleJSON-LDRDF/XML
data from SPARQL profile: Wikidata