8.1 Flashcards Preview

Logic 2 > 8.1 > Flashcards

Flashcards in 8.1 Deck (4)
Loading flashcards...
1

Implicational Rules

can only be applied to entire lines in a proof

2

3 Rules of Thumb

1. It usually helps to work backwards
2. Apply the inference Rules to break down the premises
3. The conclusion contains a statement letter that does not appear in the premises, use the rule of addition

3

8 rules of implication

Modus Ponens
Modus Tollens
Hypothetical Syllogism
Disjunctive Syllogism
Constructive Dilemma
Simplification
Conjunction
Addition

4

Natural Deduction

Set of inference rules to prove that the conclusion of an argument follows from its premises