Assignment No-01
Assignment Name: Rules of Inference
Rules of inference are logical principles used to draw valid
conclusions from given premises. They form the basis of deductive
reasoning in formal logic. Here are some important rules of inference
along with explanations and examples:
1.
Modus Ponens (MP):
If P implies Q, and P is true, then Q must be true.
Example:
Premise 1: If it's raining (P), then the ground is wet (Q).
Premise 2: It's raining (P).
Conclusion: Therefore, the ground is wet (Q).
Modus Tollens (MT):
1 |
2 Page
.
If P implies Q, and Q is false, then P must be false.
Example:
Premise 1: If the battery is dead (P), then the car won't start (Q).
Premise 2: The car didn't start (not Q).
Conclusion: Therefore, the battery is not dead (not P).
3.
Hypothetical Syllogism (HS):
If P implies Q, and Q implies R, then P implies R.
Example:
Premise 1: If it's sunny (P), then people go to the beach (Q).
Premise 2: If people go to the beach (Q), they get tan (R).
Conclusion: Therefore, if it's sunny (P), people get tan (R).
4.
Disjunctive Syllogism (DS):
If P or Q is true, and P is false, then Q must be true.
Example:
Premise 1: I'm either at home (P) or at work (Q).
2|
Page
Premise 2: I'm not at home (not P).
Conclusion: Therefore, I must be at work (Q).
5.
Addition (AD):
If P is true, then P or Q is true.
Example:
Premise: It's raining (P).
Conclusion: Therefore, it's raining or the sun is shining (P or Q).
6.
Simplification (SIMP):
If P and Q are both true, then P is true.
Example:
Premise: It's raining (P) and the ground is wet (Q).
Conclusion: Therefore, it's raining (P).
7.
Conjunction (CONJ):
If P is true and Q is true, then P and Q are both true.
3|
Page
Example:
Premise 1: The car is red (P).
Premise 2: The car is a convertible (Q).
Conclusion: Therefore, the car is a red convertible (P and Q).
8.
Resolution:
A rule used for reasoning with disjunctive premises to derive a conclusion. It
involves finding a common term in two premises that can be eliminated,
resulting in the conclusion.
Example:
Premise 1: Either it's sunny (P) or it's cloudy (Q).
Premise 2: It's not sunny (not P).
Conclusion: Therefore, it must be cloudy (Q).
These rules of inference provide a structured way to deduce valid conclusions
from given premises in logical reasoning. Keep in mind that these examples are
4|
Page
simplified, and real-world applications of these rules can be more complex.
5|
Page