Inference: Addition, Conjunction, and Simplification
Learn about more rules of inference for the construction and understanding of mathematical arguments.
We'll cover the following
Addition
If we know that is true, we can consistently conclude that, is true. Here is an arbitrary proposition. This rule of inference is called addition. The following statement is always true.
“If is true then is also true.”
We can write this tautology as follows:
Examples
Let’s look at a few examples to see this rule in action.
Get hands-on with 1200+ tech skills courses.