MASTERED - Rules of Inference

5.0(1)
studied byStudied by 0 people
learnLearn
examPractice Test
spaced repetitionSpaced Repetition
heart puzzleMatch
flashcardsFlashcards
Card Sorting

1/7

flashcard set

Earn XP

Description and Tags

if i pass this exam im treating myself to that new Mocha build a bear

Study Analytics
Name
Mastery
Learn
Test
Matching
Spaced

No study sessions yet.

8 Terms

1
New cards

Modus Ponens

IF P THEN Q

P

THEREFORE Q

2
New cards

Modus Tollens

IF P THEN Q

NEGATION Q

THEREFORE NEGATION P

3
New cards

Hypothetical Syllogism

IF P THEN Q

IF Q THEN R

THEREFORE P THEN R

4
New cards

Disjunctive Syllogism

P OR Q

NEGATION Q

THEREFORE P

5
New cards

Addition

P

THEREFORE P OR Q

6
New cards

Simplification

P AND Q

THEREFORE P

7
New cards

Conjunction

P

Q

THEREFORE P AND Q

8
New cards

Resolution

P OR Q

NEGATION P OR R

THEREFORE Q OR R