List of Inference Rules

In this class, We discuss the List of Inference Rules.

The reader should have prior knowledge of understanding inference rules. Click Here.

List of inference rules:

I1: p ∧ q => p

I2: p ∧ q => q

I3: p => p ∨ q

I4: q => p ∨ q

I5: ¬p => (p -> q)

I6: q => (p -> q)

I7: ¬(p -> q) => p

I8: ¬(p -> q) => ¬q

I9: p, q => (p ∧ q)

I10: ¬p, (p ∨ q) => q disjunctive syllogism

I11: p, p-> q => q modus ponens

I12: ¬q, (p -> q) => ¬p modus tollens

I13: p -> q , q -> r => p -> r hypothetical syllogism

I14: p ∨ q, p -> q , q -> r => r dilemma