Conjunction introduction explained
Conjunction introduction |
Type: | Rule of inference |
Field: | Propositional calculus |
Statement: | If the proposition
is true, and the proposition
is true, then the logical conjunction of the two propositions
and
is true. |
Symbolic Statement: |
|
is true, and the proposition
is true, then the logical conjunction of the two propositions
and
is true. For example, if it is true that "it is raining", and it is true that "the cat is inside", then it is true that "it is raining and the cat is 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.
Formal notation
The conjunction introduction rule may be written in sequent notation:
where
and
are propositions expressed in some
formal system, and
is a
metalogical
symbol meaning that
is a
syntactic consequence if
and
are each on lines of a proof in some
logical system;
Notes and References
- Book: Hurley, Patrick . A Concise Introduction to Logic 4th edition . 1991 . Wadsworth Publishing . 346–51 .
- Book: Copi . Irving M. . Cohen . Carl . McMahon . Kenneth . Introduction to Logic. 2014 . Pearson . 978-1-292-02482-0 . 14th. 370, 620.
- Book: Moore . Brooke Noel . Parker . Richard . Critical Thinking . 2015 . McGraw Hill . New York . 978-0-07-811914-9 . 311 . 11th . https://archive.org/details/criticalthinking0000moor_t5e3/page/311/mode/1up . registration. Deductive Arguments II Truth-Functional Logic.