8 Proof Rules Flashcards by Regan Lourenco | Brainscape

Q

Modus Tollens

A

MT

P>Q
~Q
——-
~P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Modus Ponens

A

MP

P>Q
P
——-
Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Hypothetical Syllogism

A

HS

P>Q
Q>R
——-
P>R

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Disjunctive Syllogism

A

DS

PvQ
~P
——
Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Constructive Dilemma

A

CD

P>Q) . (R>S
PvR
—————-
QvS

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Simplification

A

Simp

P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Conjunction

A

Conj

P
Q
—
P . Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Addition

A

Add

PvQ

How well did you know this?

1

Not at all

2

3

4

5

Perfectly