Last updated Unknown

Status: Tags: Links: Propositional Logic

Rules of Inference

• Helps deduce logical outcomes through premises (p) to prove a conclusion (q)
• Arguments are valid when premises are true and logically entail the conclusion

Syntax

• Write steps used and the rule used

Types

Basic

Conjunction

? p q therefore p and q

Modus Ponens (MPP)

?

Modus Tollens (MTT)

?

Hypothetical Syllogism (HS)

?

Rule of Disjunctive Syllogism (DS)

?

• Works on XOR as well

Rule for Proof by Cases

?

Rule of Contradiction

?

Simplification (and Elumination, ^E)

?

Rule of Amplification

?

Rule of Resolution

?

Backlinks

1

list from Rules of Inference

References:

Created:: 2021-07-12 15:07