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:
Biconditional introduction
An Entity of Type:
Thing
,
from Named Graph:
http://dbpedia.org
,
within Data Space:
dbpedia-live.demo.openlinksw.com
Inference in propositional logic
Property
Value
dbo:
description
Inference in propositional logic
(en)
dbo:
wikiPageWikiLink
dbc
:Theorems_in_propositional_logic
dbr
:Validity_(logic)
dbr
:Rule_of_inference
dbr
:Logical_consequence
dbr
:Propositional_calculus
dbr
:If_and_only_if
dbr
:Metalogic
dbr
:Inference
dbr
:Formal_system
dbr
:Tautology_(logic)
dbr
:Biconditional_elimination
dbr
:Formal_proof
dbr
:Logical_biconditional
dbc
:Rules_of_inference
dbr
:Converse_(logic)
dbr
:Material_conditional
dbr
:Theorem
dbr
:Sequent
dbp:
field
dbr
:Propositional_calculus
dbp:
name
Biconditional introduction
(en)
dbp:
statement
If is true, and if is true, then one may infer that is true.
(en)
dbp:
type
dbr
:Rule_of_inference
dbp:
wikiPageUsesTemplate
dbt
:Reflist
dbt
:Infobox_mathematical_statement
dbt
:Transformation_rules
dbt
:Short_description
dct:
subject
dbc
:Theorems_in_propositional_logic
dbc
:Rules_of_inference
rdfs:
label
Biconditional introduction
(en)
Dukondiĉa enkonduko
(eo)
Introducción del bicondicional
(es)
쌍조건문 도입
(ko)
Introdução bicondicional
(pt)
owl:
sameAs
freebase
:Biconditional introduction
yago-res
:Biconditional introduction
wikidata
:Biconditional introduction
dbpedia-pt
:Biconditional introduction
dbpedia-es
:Biconditional introduction
dbpedia-ko
:Biconditional introduction
dbpedia-eo
:Biconditional introduction
dbpedia-global
:Biconditional introduction
dbr
:Biconditional introduction
prov:
wasDerivedFrom
wikipedia-en
:Biconditional_introduction?oldid=1168208951&ns=0
foaf:
isPrimaryTopicOf
wikipedia-en
:Biconditional_introduction
is
dbo:
wikiPageWikiLink
of
dbr
:Propositional_calculus
dbr
:Index_of_philosophy_articles_(A–C)
dbr
:Index_of_logic_articles
dbr
:Logical_biconditional
dbr
:Outline_of_logic
dbr
:List_of_rules_of_inference
is
foaf:
primaryTopic
of
wikipedia-en
:Biconditional_introduction
This content was extracted from
Wikipedia
and is licensed under the
Creative Commons Attribution-ShareAlike 4.0 International