Discrete Mathematics - Rules of Inference

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

1/7

encourage image

There's no tags or description

Looks like no tags are added yet.

Study Analytics
Name
Mastery
Learn
Test
Matching
Spaced

No study sessions yet.

8 Terms

1
New cards

p
p → q
∴ q

Modus Ponens

2
New cards

¬q
p → q
∴ ¬p

Modus tollens

3
New cards

p → q
q → r
∴ p → r

transitivity

4
New cards

p ∨ q
¬p
∴ q

elimination

5
New cards

p
∴ p ∨ q

Generalization

6
New cards

p ∧ q
∴ p

Specialization

7
New cards

~p→ C
∴ p

Contradiction

8
New cards

p ∨ q
p → r

q → r
∴ r

proof by cases