Règles d'inférence

Question 1

Addition

Answer 1

p implique (p ou q)

Question 2

Simplification

Answer 2

(p et q) implique p

Question 3

Modus ponens

Answer 3

(p et (p implique q)) implique q

Question 4

Modus tollens

Answer 4

[Non q et (p implique q)] implique non p

Question 5

Syllogisme par hypothèse

Answer 5

[(P implique q) ^ (q implique r)] implique (p implique r)

Question 6

Syllogisme disjonctif

Answer 6

[(P ou q) ^ non p] implique q