Rules of Inference (Discrete Math)
Inference - is a process of drawing conclusion based on the evidence and reasoning. It holds a certain level of probability relative to the premises. It could also be an educated guess.
Premise - a (previous) propositional statement supporting a conclusion.
Proof - is a valid argument that establishes the truth of a statement.
Argument in logic is a sequence of propositions. An argument is valid only when the conclusion follows from the validity of the preceding statements, or premises.
Fallacies - invalid arguments
Also we need to understand the notions of hypotheses and conclusion before going forward. Let's look at an example.
Here the hypotheses are: is an odd number and is an odd number, and the conclusion is sum of and is divisible by two.
Valid Argument in logic is an argument in which the truth of hypotheses constitutes the truth of conclusion. Meaning if the hypotheses are true, you must accept the conclusion to be true as well.
To infer a new statement from existing statements, and make sure it is a valid argument, we need to use some type of rules. Those rules are called - rules of inference. There are countless number of rules of inference but we are going to list out only the most common ones in a bit.
Let's analyze the example above by using logical notations. If denotes "If you have the key to the door", and represents "You can open the door", then this argument has the form of
The sign denotes "therefore". This form states that when p and are true, also must be true.
|Name||Rule of Inference|
It is important to understand the reasonings behind the rules. For example, Simplification rule states that when is true, also has to be true. In this particular case we could also say that the conclusion would be true. Because for to be true, both propositions p, q must be true.
Disjunctive Syllogism dictates that if and are true, then should be true because one of the propositions must be true for a compound proposition of to be true.
Let's take a quick quiz on the basic rules of inference.
Find which rule of inference is used in the argument below:
If it snows today, we will not play soccer. If we do not play soccer today, we will play soccer tomorrow.
Answer: Let be the proposition "It snows today," be the "We will not play soccer," and let be the propositions "We will play soccer tomorrow." In that case, we can construct an argument form like this:
Fallacies Sometimes a logical argument seems to be valid even when in fact it is not. For example,
If the sun is shining, then it is summer. It is summer. So the sun must be shining.
Here the conclusion does not follow the hypotheses. Even though most of the days in summer are sunny, there are days when the sun does not shine. Hence, we would make the fallacy of affirming the conclusion error if we considered the argument above as valid.
There are special rules to deduce valid arguments from statements with quantifiers. They are usually trickier to understand at first. But a moment's thought is enough to realize that all the rules boil down to plain common sense when looked at from correct perspective.
Quantification rules |Name|Rule of inference| |-|-| |Universal Instantiation| if is in the domain of | |Existential Instantiation| for some is in the domain of | |Universal Generalization| for arbitrary in the domain of | |Existential Generalization| for some in the domain of |
Universal Instantiation states that if is true, then we can say that for every object in the domain, is true. For example, say we have a statement "All humans are mortal" and the domain of this statement includes John. Then we can conclude that "John is mortal."
Let's analyze an argument to wrap up the rules we've covered so far.
All movies directed by Robert are sad. Robert directed a movie about time. So, there is a movie about time that is sad.
The arguments can be symbolized using predicates:
The domain for in each case is all movies. In symbolic form the the argument and a proof are:
|Hypothesis (There is a movie directed by Robert and that is about time)|
|for some||Existential Instantiation|