Brainscape's Knowledge GenomeTM

Browse over 1 million classes created by top students, professors, publishers, and experts.

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

Decks in Logic 2 Class (2):

Brainscape is a web and mobile study platform that helps you learn things faster. Our mission is to create a smarter world by simplifying and accelerating the learning process. © 2021 Bold Learning Solutions. Terms and Conditions