Explore tens of thousands of sets crafted by our community.
Rules of Inference
10
Flashcards
0/10
Modus Ponens
If and are given, then we can infer . Example: If it is raining, then the ground is wet. It is raining. Therefore, the ground is wet.
Modus Tollens
If and are given, then we can infer . Example: If it is raining, then the ground is wet. The ground is not wet. Therefore, it is not raining.
Hypothetical Syllogism
If and are given, then we can infer . Example: If it rains, the picnic will be canceled. If the picnic is canceled, we will watch a movie. Therefore, if it rains, we will watch a movie.
Disjunctive Syllogism
If and are given, then we can infer . Example: It is either raining or snowing. It is not raining. Therefore, it is snowing.
Addition
From proposition , we can infer , for any proposition . Example: It is raining. Therefore, it is raining or I am hungry.
Simplification
From , infer . Example: The ball is red and round. Therefore, the ball is red.
Conjunction
From and , infer . Example: The ball is red. The ball is round. Therefore, the ball is red and round.
Resolution
From and , infer . Example: It will rain or snow today. It will not rain or it will be cold. Therefore, it will snow or be cold.
Universal Instantiation
From , infer for a particular . Example: All birds can fly. Tweety is a bird. Therefore, Tweety can fly.
Existential Generalization
From for a particular , infer . Example: Tweety can fly. Therefore, there exists a bird that can fly.
© Hypatia.Tech. 2024 All rights reserved.