Template:Transformation_rules

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

Property	Value
dbo:wikiPageID	34779017 (xsd:integer)
dbo:wikiPageRevisionID	1105679001 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Sidebar dbt:\ dbt:Endflatlist dbt:Startflatlist dbt:Tl dbt:Doc
prov:wasDerivedFrom	wikipedia-en:Template:Transformation_rules?oldid=1105679001&ns=10
is dbp:wikiPageUsesTemplate of	dbr:Propositional_calculus dbr:De_Morgan's_laws dbr:Destructive_dilemma dbr:Double_negation dbr:Universal_instantiation dbr:Commutative_property dbr:Conditional_proof dbr:Conjunction_elimination dbr:Conjunction_introduction dbr:Constructive_dilemma dbr:Disjunction_elimination dbr:Disjunction_introduction dbr:Disjunctive_syllogism dbr:Distributive_property dbr:Universal_generalization dbr:Hypothetical_syllogism dbr:Associative_property dbr:Absorption_(logic) dbr:Biconditional_elimination dbr:Biconditional_introduction dbr:Tautology_(rule_of_inference) dbr:Transposition_(logic) dbr:Modus_non_excipiens dbr:Modus_ponendo_tollens dbr:Modus_ponens dbr:Material_implication_(rule_of_inference) dbr:Modus_tollens dbr:Rule_of_inference dbr:Negation_introduction dbr:Exportation_(logic) dbr:Rule_of_replacement dbr:Existential_generalization dbr:Existential_instantiation dbr:Existential_quantification

This content was extracted from Wikipedia and is licensed under the Creative Commons Attribution-ShareAlike 3.0 Unported License