Disjunctive Infer. (XOR)
5-step or more
Conjunctive Addition is a rule of inference pertaining to the AND operator.
Conjunctive Addition means that any two true statements can be joined to form a conjunction.
If statement p and statement q are given, then their conjunction p ^ q follows logically. In an argument any two statements may be joined by conjunction. The order of the conjuncts is unimportant because p ^ q is equivalent to q ^ p.
Imagine we are given two separate statements: 1) The triangle has a right angle, and 2) The base angles are equal. We can join these two statements by saying, "The triangle has a right angle, and the base angles are equal." Formally, we would write:
p: "The triangle has a right angle."
The given p and q statements are above the line of dashes, and the new expression p ^ q formed by applying Conjunctive Addition is below the line.
Other examples of Conjunctive Addition
~A: "It's not raining."
X: "The grass is green."
Links to Relevant Problems
These are links to validity proof problems whose solutions contain Conjunctive Addition.