Rules of Inference Flashcards
1
Q
Arguement
A
Sequence of statements that end with conclusions.
2
Q
Valid Arguement/Proof
A
Conclusions that logically follow from the truth of the hypothesis.
3
Q
Fallacy
A
An invalid argument
4
Q
Rules of Inference
A
Established arguments used in proving more complex arguments
5
Q
Rule of inference for proofs
A
Proving the set of hypotheses results in the conclusion
6
Q
What are the 8 rules of inference?
A
- Modus Ponens
- Modus Tollens
- Hypothetical Syllogism (Transitivity)
- Disjunctive Syllogism
- Addition
- Simplification
- Conjunction
- Resolution
