Reguli de inferență

Modus ponens Modus tollens

𝑝→𝑞 𝑝→𝑞
𝑝 ¬𝑞
𝑞 ¬𝑝

Silogism ipotetic Silogism disjunctiv Rezoluție

𝑝→𝑞 𝑝∨𝑞 𝑝∨𝑞
𝑞→𝑟 ¬𝑝 ¬𝑝 ∨ 𝑞
𝑝→𝑟 𝑞 𝑞∨𝑟

Inserarea disjuncției Eliminarea disjuncției1 Eliminarea disjuncției2

𝑝 𝑝∨𝑞 𝑝∨𝑞
𝑝∨𝑞 ¬𝑝 ¬𝑞
𝑞 𝑝

Inserarea conjuncției Eliminarea conjuncției1 Eliminarea conjuncției2

𝑝 𝑝∧𝑞 𝑝∧𝑞
𝑞 𝑝 𝑞
𝑝∧𝑞

Inserarea implicației1 Inserarea implicației2 Eliminarea implicației

𝑝∨𝑞 𝑝∨𝑞 𝑝→𝑞
¬𝑝 → 𝑞 ¬𝑝 𝑝
𝑞 𝑞
¬𝑝 → 𝑞
Inserarea echivalenței Eliminarea echivalenței1 Eliminarea echivalenței2
𝑝→𝑞 𝑝↔𝑞 𝑝↔𝑞
𝑞→𝑝 𝑝 𝑞
𝑝↔𝑞 𝑞 𝑝

1|Page
Inserarea negației Eliminarea negației
𝑝 ¬𝑝
𝑞 𝑞
¬𝑞 ¬𝑞
¬𝑝 𝑝

2|Page