INFERENCIAS NOTABLES

1.LEY DEL MODUS PONENDO PONENS (MPP) 2.LEY DEL MODUS TOLLENDO TOLLENS (MTT)

𝑝→𝑞 𝑝→𝑞
𝑝 ~𝑞
∴𝑞 ∴ ~𝑝

3.LEY DEL SILOGISMO HIPOTÉTICO (SH) 4.LEY DEL SILOGISMO DISYUNTIVO (SD)

𝑝→𝑞 𝑝˅𝑞 𝑝˅𝑞

𝑞→𝑟 ~𝑝 ~𝑞
ó
∴𝑝→𝑟 ∴𝑞 ∴𝑝

5.LEY DE ADICIÓN (A) 6.LEY DE SIMPLIFICACIÓN (S)

𝑝 𝑞 𝑝˄𝑞 𝑝˄𝑞
ó ó
∴𝑝 ˅ 𝑞 ∴𝑝 ˅ 𝑞 ∴𝑝 ∴ 𝑞

7.LEY DE CONJUNCIÓN (C) 8.LEY DEL MODUS PONENDO TOLLENS (MPN)

𝑝 𝑝⧍𝑞 𝑝⧍𝑞
𝑞 𝑝 𝑞
ó
∴ 𝑝˄𝑞 ∴ ~𝑞 ∴ ~𝑝
9.LEY DE INFERENCIA EQUIVALENTE (IE) 10.LEY DE TRANSITIVIDAD SIMÉTRICA (TS)

𝑝 ↔ 𝑞 𝑝 ↔ 𝑞 𝑝 ↔ 𝑞
𝑝 𝑞 𝑞↔𝑟
ó
∴𝑝 ∴𝑝 ∴𝑝↔𝑟

11.LEY DEL DILEMA CONSTRUCTIVO (DC) 12.LEY DEL DILEMA DESTRUCTIVO (DD)

𝑝 → 𝑞 𝑝 → 𝑞
𝑟→ 𝑠 𝑟→ 𝑠
𝑝˅𝑟 ~𝑞 ˅ ~𝑟
∴𝑞˅𝑠 ∴ ~𝑝 ˅ ~𝑟