Rules Of Inference Flashcards by Aaron Michael | Brainscape

Q

Modus Tollens

A

¬Q
P→Q
∴¬P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Hypothetical Syllogism

A

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

P∨Q
¬P
∴Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Addition

A

P

∴P∨Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Simplification

A

P∧Q

∴P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Conjunction

A

P
Q
∴ P∧Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Resolution

A

P∨Q
¬P∨R
∴Q∨R

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Modus Ponens

A

P
P→Q
∴Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly