About: Tautology (rule of inference)

An Entity of Type: Thing, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org

Common rule of replacement in propositional logic

Property	Value
dbo:description	common rule of replacement in propositional logic (en)
dbo:wikiPageWikiLink	dbc:Theorems_in_propositional_logic dbr:Rule_of_inference dbr:Bertrand_Russell dbr:Principia_Mathematica dbr:Logical_consequence dbr:Propositional_logic dbr:Rule_of_replacement dbr:Metalogic dbr:Proposition dbr:Formal_system dbr:Well-formed_formula dbr:Logical_conjunction dbr:Idempotence dbr:Formal_proof dbc:Rules_of_inference dbr:Symbol_(formal) dbr:Theorem dbr:Sequent dbr:Alfred_North_Whitehead dbr:Logical_disjunction dbr:Semantic_consequence
dbp:wikiPageUsesTemplate	dbt:Reflist dbt:About dbt:Transformation_rules dbt:Short_description
dct:subject	dbc:Theorems_in_propositional_logic dbc:Rules_of_inference
rdfs:label	Tautology (rule of inference) (en) Tautología (regla de inferencia) (es) Tautologia (regra de inferência) (pt)
owl:sameAs	freebase:Tautology (rule of inference) yago-res:Tautology (rule of inference) wikidata:Tautology (rule of inference) dbpedia-pt:Tautology (rule of inference) dbpedia-es:Tautology (rule of inference) dbpedia-global:Tautology (rule of inference)
prov:wasDerivedFrom	wikipedia-en:Tautology_(rule_of_inference)?oldid=1230145924&ns=0
foaf:isPrimaryTopicOf	wikipedia-en:Tautology_(rule_of_inference)
is dbo:wikiPageDisambiguates of	dbr:Tautology
is dbo:wikiPageWikiLink of	dbr:Propositional_calculus dbr:Rule_of_replacement dbr:Tautology
is foaf:primaryTopic of	wikipedia-en:Tautology_(rule_of_inference)