Browse using
OpenLink Faceted Browser
OpenLink Structured Data Editor
LodLive Browser
Formats
RDF:
N-Triples
N3
Turtle
JSON
XML
OData:
Atom
JSON
Microdata:
JSON
HTML
Embedded:
JSON
Turtle
Other:
CSV
JSON-LD
Faceted Browser
Sparql Endpoint
About:
Logical biconditional
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia.org
Term
Property
Value
dbo:
description
term
(en)
mehrdeutig verwendeter Begriff
(de)
termo
(pt)
condición necesaria e suficiente
(gl)
言い換え
(ja)
dbo:
thumbnail
wiki-commons
:Special:FilePath/Venn1001.svg?width=300
dbo:
wikiPageWikiLink
dbr
:Polish_notation
dbr
:Józef_Maria_Bocheński
dbc
:Equivalence_(mathematics)
dbc
:Logical_connectives
dbr
:Exclusive_or
dbr
:If_and_only_if
dbr
:Necessary_condition
dbr
:Sufficient_condition
dbr
:Proposition
dbr
:Logic
dbr
:Mathematics
dbr
:Logical_conjunction
dbr
:Biconditional_elimination
dbr
:Biconditional_introduction
dbr
:XNOR_gate
dbr
:Logical_equality
dbr
:Antecedent_(logic)
dbr
:Consequent
dbr
:Logical_connective
dbr
:Negation
dbr
:Necessary_and_sufficient_condition
dbr
:Linear
dbr
:Hadamard_transform
dbr
:Material_conditional
dbr
:Logical_equivalence
dbr
:Logical_disjunction
dbr
:Associativity
dbr
:Distributivity
dbr
:Idempotency
dbr
:Monotone_boolean_function
dbr
:File:Venn0001.svg
dbr
:File:Venn01.svg
dbr
:File:Venn0110.svg
dbr
:File:Venn0111.svg
dbr
:File:Venn_0000_1111.svg
dbr
:File:Venn_0101_0101.svg
dbr
:File:Venn_0110_0110.svg
dbr
:File:Venn_0110_1001.svg
dbr
:File:Venn_1011_1011.svg
dbr
:Commutativity
dbr
:Logical_operation
dbr
:Logical_value
dbr
:Logically_equivalent
dbr
:Universal_affirmative
dbr
:File:Multigrade_operator_XNOR.svg
dbr
:File:Multigrade_operator_all_or_nothing.svg
dbr
:File:Venn1001.svg
dbr
:File:Venn11.svg
dbr
:File:Venn_1000_0001.svg
dbr
:File:Venn_1001_1001.svg
dbr
:File:Venn_1010_0101.svg
dbr
:File:Venn_1100_0011.svg
dbr
:File:Venn_1101_1011.svg
dbp:
id
484
(xsd:integer)
dbp:
title
Biconditional
(en)
dbp:
wikiPageUsesTemplate
dbt
:Portal
dbt
:Main
dbt
:Reflist
dbt
:Math
dbt
:Logical_connectives
dbt
:Clarify
dbt
:PlanetMath_attribution
dbt
:One_source
dbt
:Citation_needed
dbt
:Mvar
dbt
:Vague
dbt
:Mathematical_logic
dbt
:2-ary_truth_table
dbt
:Logical_connectives_sidebar
dbt
:Commonscatinline
dbt
:Short_description
dct:
subject
dbc
:Equivalence_(mathematics)
dbc
:Logical_connectives
gold:
hypernym
dbr
:Antecedent
rdfs:
label
Logical biconditional
(en)
Bikonditional
(de)
Conectivo lógico bicondicional
(pt)
owl:
sameAs
freebase
:Logical biconditional
yago-res
:Logical biconditional
wikidata
:Logical biconditional
dbpedia-de
:Logical biconditional
dbpedia-pt
:Logical biconditional
dbpedia-he
:Logical biconditional
dbpedia-fa
:Logical biconditional
dbpedia-et
:Logical biconditional
dbpedia-mk
:Logical biconditional
dbpedia-no
:Logical biconditional
dbpedia-th
:Logical biconditional
dbpedia-global
:Logical biconditional
prov:
wasDerivedFrom
wikipedia-en
:Logical_biconditional?oldid=1291716940&ns=0
foaf:
depiction
wiki-commons
:Special:FilePath/Venn0001.svg
wiki-commons
:Special:FilePath/Venn0111.svg
wiki-commons
:Special:FilePath/Venn01.svg
wiki-commons
:Special:FilePath/Venn_0000_1111.svg
wiki-commons
:Special:FilePath/Venn_0101_0101.svg
wiki-commons
:Special:FilePath/Venn_1011_1011.svg
wiki-commons
:Special:FilePath/Variadic_logical_XAND.svg
wiki-commons
:Special:FilePath/Variadic_logical_all_or_nothing.svg
wiki-commons
:Special:FilePath/Venn1001.svg
wiki-commons
:Special:FilePath/Venn11.svg
wiki-commons
:Special:FilePath/Venn_0110_1001.svg
wiki-commons
:Special:FilePath/Venn_1001_1001.svg
wiki-commons
:Special:FilePath/Venn_1010_0101.svg
wiki-commons
:Special:FilePath/Venn_1100_0011.svg
wiki-commons
:Special:FilePath/Venn_1101_1011.svg
foaf:
isPrimaryTopicOf
wikipedia-en
:Logical_biconditional
is
dbo:
wikiPageRedirects
of
dbr
:Material_biconditional
dbr
:Biconditional
dbr
:Biconditionality
dbr
:Biconditionals
dbr
:Logical_XNOR
is
dbo:
wikiPageWikiLink
of
dbr
:Józef_Maria_Bocheński
dbr
:Conservative_vector_field
dbr
:Validity_(logic)
dbr
:Denying_the_antecedent
dbr
:First-order_logic
dbr
:The_Hardest_Logic_Puzzle_Ever
dbr
:Bitwise_operation
dbr
:Tweedie_distribution
dbr
:Truth_table
dbr
:Exclusive_or
dbr
:If_and_only_if
dbr
:Functional_completeness
dbr
:Post's_lattice
dbr
:Contraposition
dbr
:Biconditional_elimination
dbr
:Biconditional_introduction
dbr
:Index_of_philosophy_articles_(I–Q)
dbr
:XNOR_gate
dbr
:Index_of_logic_articles
dbr
:Associative_property
dbr
:Logical_equality
dbr
:Identity_element
dbr
:Logical_connective
dbr
:Truth_value
dbr
:Monoid
dbr
:≡
dbr
:Linearity
dbr
:Logical_equivalence
dbr
:Logic_gate
dbr
:Lojban_grammar
dbr
:List_of_Boolean_algebra_topics
dbr
:Randolph_diagram
dbr
:Preparatory_subject
dbr
:Scale_invariance
dbr
:Mxparser
dbr
:Conditional_statement
dbr
:Outline_of_logic
dbr
:List_of_rules_of_inference
dbr
:EQV
dbr
:Material_biconditional
dbr
:Biconditional
dbr
:Biconditionality
dbr
:Biconditionals
dbr
:Logical_XNOR
is
foaf:
primaryTopic
of
wikipedia-en
:Logical_biconditional
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International