Nine Rules Of Propositional Logic Flashcards by Ken Paone | Brainscape

Q

Modus Ponens

A

P —> Q

P

∴ Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Modus Tollens

A

P —> Q

¬ 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

Conjunction

A

P

Q

P and Q

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Simplification

A

P and Q

P

P and Q

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

Absorption

A

P —> Q

∴ P —> (P and Q)

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Disjunctive Syllogism

A

P ∨ Q

¬ P

∴ Q

P ∨ Q

¬ Q

∴ P

How well did you know this?

1

Not at all

2

3

4

5

Perfectly

Q

Constructive Dilemma

A

(P —> Q) and (R —> S)

P ∨ R

∴ Q ∨ S

How well did you know this?

1

Not at all

2

3

4

5

Perfectly