Matches in DBpedia 2014 for { ?s ?p 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.. }
Showing items 1 to 1 of
1
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.".