Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Rule_of_replacement> ?p ?o }
Showing triples 1 to 47 of
47
with 100 triples per page.
- Rule_of_replacement abstract "In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression. A logical system may be constructed so that it uses either axioms, rules of inference, or both as transformation rules for logical expressions in the system. Whereas a rule of inference is always applied to a whole logical expression, a rule of replacement may be applied to only a particular segment. Within the context of a logical proof, logically equivalent expressions may replace each other. Rules of replacement are used in propositional logic to manipulate propositions.Common rules of replacement include de Morgan's laws, commutation, association, distribution, double negation, transposition, material implication, material equivalence, exportation, and tautology.".
- Rule_of_replacement wikiPageID "34770456".
- Rule_of_replacement wikiPageLength "1671".
- Rule_of_replacement wikiPageOutDegree "24".
- Rule_of_replacement wikiPageRevisionID "689615639".
- Rule_of_replacement wikiPageWikiLink Associative_property.
- Rule_of_replacement wikiPageWikiLink Axiom.
- Rule_of_replacement wikiPageWikiLink Category:Logical_expressions.
- Rule_of_replacement wikiPageWikiLink Category:Propositional_calculus.
- Rule_of_replacement wikiPageWikiLink Category:Rules_of_inference.
- Rule_of_replacement wikiPageWikiLink Commutative_property.
- Rule_of_replacement wikiPageWikiLink De_Morgans_laws.
- Rule_of_replacement wikiPageWikiLink Distributive_property.
- Rule_of_replacement wikiPageWikiLink Double_negation.
- Rule_of_replacement wikiPageWikiLink Exportation_(logic).
- Rule_of_replacement wikiPageWikiLink Formal_system.
- Rule_of_replacement wikiPageWikiLink If_and_only_if.
- Rule_of_replacement wikiPageWikiLink Logic.
- Rule_of_replacement wikiPageWikiLink Logical_equivalence.
- Rule_of_replacement wikiPageWikiLink Material_implication_(rule_of_inference).
- Rule_of_replacement wikiPageWikiLink Proof_(truth).
- Rule_of_replacement wikiPageWikiLink Proposition.
- Rule_of_replacement wikiPageWikiLink Propositional_calculus.
- Rule_of_replacement wikiPageWikiLink Rule_of_inference.
- Rule_of_replacement wikiPageWikiLink Tautology_(rule_of_inference).
- Rule_of_replacement wikiPageWikiLink Transposition_(logic).
- Rule_of_replacement wikiPageWikiLink Well-formed_formula.
- Rule_of_replacement wikiPageWikiLinkText "Rule of replacement".
- Rule_of_replacement wikiPageWikiLinkText "rule of replacement".
- Rule_of_replacement wikiPageWikiLinkText "rules of replacement".
- Rule_of_replacement wikiPageUsesTemplate Template:Logic-stub.
- Rule_of_replacement wikiPageUsesTemplate Template:Reflist.
- Rule_of_replacement wikiPageUsesTemplate Template:Transformation_rules.
- Rule_of_replacement subject Category:Logical_expressions.
- Rule_of_replacement subject Category:Propositional_calculus.
- Rule_of_replacement subject Category:Rules_of_inference.
- Rule_of_replacement hypernym Rule.
- Rule_of_replacement type Country.
- Rule_of_replacement comment "In logic, a rule of replacement is a transformation rule that may be applied to only a particular segment of an expression. A logical system may be constructed so that it uses either axioms, rules of inference, or both as transformation rules for logical expressions in the system. Whereas a rule of inference is always applied to a whole logical expression, a rule of replacement may be applied to only a particular segment.".
- Rule_of_replacement label "Rule of replacement".
- Rule_of_replacement sameAs Q7378971.
- Rule_of_replacement sameAs Regla_de_reemplazo.
- Rule_of_replacement sameAs m.0j3cbj8.
- Rule_of_replacement sameAs Правило_підстановки.
- Rule_of_replacement sameAs Q7378971.
- Rule_of_replacement wasDerivedFrom Rule_of_replacement?oldid=689615639.
- Rule_of_replacement isPrimaryTopicOf Rule_of_replacement.