Matches in DBpedia 2014 for { <http://dbpedia.org/resource/Conjunction_introduction> ?p ?o. }
Showing items 1 to 26 of
26
with 100 items per page.
- Conjunction_introduction abstract "Conjunction introduction (often abbreviated simply as conjunction) is a valid rule of inference of propositional logic. The rule makes it possible to introduce a conjunction into a logical proof. It is the inference that if the proposition p is true, and proposition q is true, then the logical conjunction of the two propositions p and q is true. For example, if it's true that it's raining, and it's true that I'm inside, then it's true that "it's raining and I'm inside". The rule can be stated:where the rule is that wherever an instance of "" and "" appear on lines of a proof, a "" can be placed on a subsequent line.".
- Conjunction_introduction wikiPageID "6563".
- Conjunction_introduction wikiPageRevisionID "596908844".
- Conjunction_introduction hasPhotoCollection Conjunction_introduction.
- Conjunction_introduction subject Category:Rules_of_inference.
- Conjunction_introduction subject Category:Theorems_in_propositional_logic.
- Conjunction_introduction type Abstraction100002137.
- Conjunction_introduction type Cognition100023271.
- Conjunction_introduction type Concept105835747.
- Conjunction_introduction type Content105809192.
- Conjunction_introduction type Idea105833840.
- Conjunction_introduction type PsychologicalFeature100023100.
- Conjunction_introduction type Rule105846054.
- Conjunction_introduction type RulesOfInference.
- Conjunction_introduction comment "Conjunction introduction (often abbreviated simply as conjunction) is a valid rule of inference of propositional logic. The rule makes it possible to introduce a conjunction into a logical proof. It is the inference that if the proposition p is true, and proposition q is true, then the logical conjunction of the two propositions p and q is true. For example, if it's true that it's raining, and it's true that I'm inside, then it's true that "it's raining and I'm inside".".
- Conjunction_introduction label "Conjunction introduction".
- Conjunction_introduction label "Introducción de la conjunción".
- Conjunction_introduction label "Introdução da conjunção".
- Conjunction_introduction sameAs Introducción_de_la_conjunción.
- Conjunction_introduction sameAs Introdução_da_conjunção.
- Conjunction_introduction sameAs m.01xsk.
- Conjunction_introduction sameAs Q5161172.
- Conjunction_introduction sameAs Q5161172.
- Conjunction_introduction sameAs Conjunction_introduction.
- Conjunction_introduction wasDerivedFrom Conjunction_introduction?oldid=596908844.
- Conjunction_introduction isPrimaryTopicOf Conjunction_introduction.