MASTERED - Rules of Inference

0.0(0)
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

oh my gyatt why did i choose to major in comp sci

Study Analytics
Name
Mastery
Learn
Test
Matching
Spaced

No study sessions yet.

8 Terms

1
New cards

If P, Then Q.

P

—

∴Q

Modus Ponens

2
New cards

If P, Then Q

¬Q

—-

∴ ¬P

Modus Tollens

3
New cards

If P, Then Q.

If Q, Then R.

—-

∴ If P, Then R.

Hypothetical Syllogism

4
New cards

P V Q

¬P.

—-

∴ Q

Disjunctive Syllogism

5
New cards

P

—

∴ P V Q

Addition

6
New cards

P ^ Q

—-

∴ P

Simplification

7
New cards

P

Q

—-

∴ P ^ Q

Conjunction

8
New cards

P V Q

¬P V R.

—-

∴ Q V R

Resolution