Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Logical_equivalence> ?p ?o. }
Showing items 1 to 27 of
27
with 100 items per page.
- Logical_equivalence abstract "In logic, statements p and q are logically equivalent if they have the same logical content. This is a semantic concept; two statements are equivalent if they have the same truth value in every model (Mendelson 1979:56). The logical equivalence of p and q is sometimes expressed as , Epq, or .However, these symbols are also used for material equivalence; the proper interpretation depends on the context. Logical equivalence is different from material equivalence, although the two concepts are closely related.".
- Logical_equivalence wikiPageID "169324".
- Logical_equivalence wikiPageRevisionID "605030701".
- Logical_equivalence hasPhotoCollection Logical_equivalence.
- Logical_equivalence subject Category:Logical_consequence.
- Logical_equivalence subject Category:Mathematical_logic.
- Logical_equivalence subject Category:Metalogic.
- Logical_equivalence comment "In logic, statements p and q are logically equivalent if they have the same logical content. This is a semantic concept; two statements are equivalent if they have the same truth value in every model (Mendelson 1979:56). The logical equivalence of p and q is sometimes expressed as , Epq, or .However, these symbols are also used for material equivalence; the proper interpretation depends on the context.".
- Logical_equivalence label "Equivalencia lógica".
- Logical_equivalence label "Equivalência lógica".
- Logical_equivalence label "Logical equivalence".
- Logical_equivalence label "Logische equivalentie".
- Logical_equivalence label "Logische Äquivalenz".
- Logical_equivalence label "Équivalence logique".
- Logical_equivalence label "逻辑等价".
- Logical_equivalence sameAs Ekvivalence_(logika).
- Logical_equivalence sameAs Logische_Äquivalenz.
- Logical_equivalence sameAs Equivalencia_lógica.
- Logical_equivalence sameAs Équivalence_logique.
- Logical_equivalence sameAs 동치.
- Logical_equivalence sameAs Logische_equivalentie.
- Logical_equivalence sameAs Equivalência_lógica.
- Logical_equivalence sameAs m.016p9n.
- Logical_equivalence sameAs Q220433.
- Logical_equivalence sameAs Q220433.
- Logical_equivalence wasDerivedFrom Logical_equivalence?oldid=605030701.
- Logical_equivalence isPrimaryTopicOf Logical_equivalence.