

Sample sentences AND operator IF/THEN operator NOT operator OR operator XOR operator Chain Rule Conjunctive Addition Contrapositive DeMorgan's Law Disjunctive Addition Disjunctive Inference Disjunctive Infer. (XOR) Double Negation Modus Ponens Modus Tollens Mutual Exclusion Simplification 2step 3step 4step 5step or more Bad Argument 
Conjunctive Addition 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. 2step problem
