Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Rule_of_replacement> ?p ?o. }
Showing items 1 to 31 of
31
with 100 items 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, commutativity, associativity, distribution, double negation, transposition, material implication, material equivalence, exportation, and tautology.".
- Rule_of_replacement wikiPageID "34770456".
- Rule_of_replacement wikiPageRevisionID "568557522".
- Rule_of_replacement date "July 2013".
- Rule_of_replacement hasPhotoCollection Rule_of_replacement.
- Rule_of_replacement reason "The linked article defines a tautology to be a formula, not a replacement rule. A footnote should be added here to establish an appropriate connection between both notions.".
- 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 type Abstraction100002137.
- Rule_of_replacement type Appearance104673965.
- Rule_of_replacement type Attribute100024264.
- Rule_of_replacement type Cognition100023271.
- Rule_of_replacement type Concept105835747.
- Rule_of_replacement type Content105809192.
- Rule_of_replacement type Countenance104679549.
- Rule_of_replacement type Expression104679738.
- Rule_of_replacement type Idea105833840.
- Rule_of_replacement type LogicalExpressions.
- Rule_of_replacement type PsychologicalFeature100023100.
- Rule_of_replacement type Quality104723816.
- Rule_of_replacement type Rule105846054.
- Rule_of_replacement type RulesOfInference.
- 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 m.0j3cbj8.
- Rule_of_replacement sameAs Q7378971.
- Rule_of_replacement sameAs Q7378971.
- Rule_of_replacement sameAs Rule_of_replacement.
- Rule_of_replacement wasDerivedFrom Rule_of_replacement?oldid=568557522.
- Rule_of_replacement isPrimaryTopicOf Rule_of_replacement.