logical equivalence

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

concept in logic
logical equivalence
rdfs:label
"logical equivalence"@en
skos:altLabel
"equivalent"@en
"equivalence"@en
"equivalent to"@en
"logically equivalent"@en
schema:description
"concept in logic"@en
schema:dateModified "2026-08-27T20:25:35+00:00"^^xsd:dateTime
schema:version 2537173164
wikibase:identifiers 8
wikibase:sitelinks 27
wikibase:statements 20
p:P10283 wd:statement/Q220433-3AC96226-944A-4DD1-9CF9-751F676989F1
p:P1299 wd:statement/Q220433-08fa3446-488b-a9f4-6c99-25bae2d660e2
wd:statement/Q220433-41fd1438-42c2-fb13-2538-d00af6e01e3a
wd:statement/Q220433-c7cbaffd-4ea3-ee8c-c47d-233cab3fabc2
wd:statement/Q220433-fd7a0bda-4674-de8a-2c2d-622049313ee7
p:P1343 wd:statement/Q220433-54848100-45c8-6cb4-8efa-743d38be87d4
wd:statement/Q220433-bbb15515-4350-a811-8cc4-4a36d9c1f204
p:P1417 wd:statement/Q220433-528338D0-C711-47F7-AA14-2EE224BC8C08
p:P18 wd:statement/Q220433-e531a5e3-43b8-3ab5-c249-9b88578f0553
p:P1889 wd:statement/Q220433-f441a846-4ecb-a2f1-eb4e-57e996dee13b
p:P1993 wd:statement/Q220433-c32ccbe5-45df-ef6a-2499-b092ef3f66ec
p:P2812 wd:statement/Q220433-EF6808D3-428C-41B2-B3C2-4299FEF8F07C
wd:statement/Q220433-cbb45385-436d-b87f-d8c1-923479adc6f9
p:P31 wd:statement/Q220433-a03365c6-4414-fed6-1aa7-7cf3c1b1403c
p:P3417 wd:statement/Q220433-4CFFCA1B-A399-4969-A173-60F7D6C3E498
p:P4215 wd:statement/Q220433-C1452AFC-2E68-4DE1-91F3-1D003DE3889F
p:P460 wd:statement/Q220433-c4d2a07d-4448-15ce-b95a-bb749ada1335
p:P6104 wd:statement/Q220433-CEBD27E2-466F-4602-86DB-D64830F8E5B4
p:P6366 wd:statement/Q220433-BF584391-BB50-4193-9BBE-3B775BF86DAC
p:P646 wd:statement/Q220433-4505C318-ECF4-4EDF-B912-31FF552429B1
p:direct-normalized/P6366 <https://makg.org/entity/70846408>
wdt:P10283 "C70846408"
wdt:P1299 wd:Q87524164
wd:Q87524307
wd:Q87524618
wd:Q87527759
wdt:P1343 wd:Q109490582
wd:Q140169500
wdt:P1417 "topic/logical-equivalence"
wdt:P18 <http://commons.wikimedia.org/wiki/Special:FilePath/Venn1001.svg>
wdt:P1889 wd:Q26161438
wdt:P1993 "\iff"
wdt:P2812 "Equivalent"
"Equivalence"
wdt:P31 wd:Q211790
wdt:P3417 "Logical-Equivalence"
wdt:P4215 "logical equivalence"
wdt:P460 wd:Q204355
wdt:P6104 wd:Q8487137
wdt:P6366 "70846408"
wdt:P646 "/m/016p9n"

Inverse relations

[ .. ] → owl:sameAs → logical equivalence

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

[ .. ] → schema:about → logical equivalence

Echivalență logicăschema:Article Ekvivalencaschema:Article Ekvivalence (logika)schema:Article Ekvivalencia (logika)schema:Article Ekvivalencijaschema:Article Ekvivalens (logik)schema:Article Equivalencia lógicaschema:Article Equivalenza logicaschema:Article Equivalència lògicaschema:Article Equivalência lógicaschema:Article Implication et équivalenceschema:Article Kesetaraan logikaschema:Article Logical equivalenceschema:Article Logical equivalenceschema:Article Logikai ekvivalenciaschema:Article Logische equivalentieschema:Article Logische Äquivalenzschema:Article Tương đương logicschema:Article Équivalence logiqueschema:Article Еквіваленціяschema:Article ... show all 27

[ .. ] → p:statement/P5137 → logical equivalence

<http://www.wikidata.org/entity/statement/L620029-S1-75a44486-40b2-3503-13e1-7eea0641f3f6>wikibase:BestRank <http://www.wikidata.org/entity/statement/L1317663-S1-C91F592C-EAC1-4C63-B197-608595A67D2F>wikibase:BestRank

[ .. ] → p:statement/P921 → logical equivalence

<http://www.wikidata.org/entity/statement/Q131370876-7D7E2C67-2C6E-4656-ADC6-5138F94EA0C1>wikibase:BestRank

[ .. ] → wdt:P180 → logical equivalence

↔ ⇔ ≡ ⟺

[ .. ] → p:statement/P460 → logical equivalence

<http://www.wikidata.org/entity/statement/Q204355-e0044ac6-4492-140a-e8d1-480538955a03>wikibase:BestRank

[ .. ] → p:statement/P180 → logical equivalence

<http://www.wikidata.org/entity/statement/Q87527759-6748b95e-4cc9-35ba-b78a-97c3395e2824>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q87524164-7d862ca2-46ce-81a7-62dd-8dff59bfd721>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q87524618-489d827a-4aa4-cf7a-538a-b8e9689f717d>wikibase:BestRank <http://www.wikidata.org/entity/statement/Q87524307-34688145-4bc0-8398-8f06-041a3f00ca70>wikibase:BestRank

[ .. ] → wdt:P5137 → logical equivalence

<http://www.wikidata.org/entity/L620029-S1>http://www.w3.org/ns/lemon/ontolex#LexicalSense <http://www.wikidata.org/entity/L1317663-S1>http://www.w3.org/ns/lemon/ontolex#LexicalSense

[ .. ] → wdt:P279 → logical equivalence

маральная роўнасьць

[ .. ] → wdt:P921 → logical equivalence

Law No. 14620 of July 13, 2023

[ .. ] → wdt:P460 → logical equivalence

שקילות

[ .. ] → p:statement/P366 → logical equivalence

<http://www.wikidata.org/entity/statement/Q87524307-a03ee92b-47b9-d7b0-aaac-c6e34e4535e6>wikibase:BestRank

[ .. ] → wdt:P366 → logical equivalence

⇔

[ .. ] → p:statement/P279 → logical equivalence

<http://www.wikidata.org/entity/statement/Q3019768-f5a7267a-48da-4673-28ad-7775979ae29b>wikibase:BestRank
Download as:
RDF/XML JSON-LD Turtle
data from SPARQL endpoint: https://query.wikidata.org/sparql