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