REGLAS DE INFERENCIA LÓGICA

a) ADICIÓN (A)

#1:      TRUTH_TABLE(p, q, p → p ∨ q)

                                                    ⎡      p            q        p → p ∨ q ⎤
                                                    ⎢                                                  ⎥
                                                    ⎢ true      true          true        ⎥
                                                    ⎢                                                  ⎥
#2:                                              ⎢ true      false        true        ⎥
                                                    ⎢                                                  ⎥
                                                    ⎢ false    true          true        ⎥
                                                    ⎢                                                ⎥
                                                    ⎣ false    false        true        ⎦

b) SIMPLIFICACIÓN

#3:      TRUTH_TABLE(p, q, p ∧ q → p)

                                                    ⎡      p            q        p ∧ q → p ⎤
                                                    ⎢                                                  ⎥
                                                    ⎢ true    true          true        ⎥
                                                    ⎢                                                  ⎥
#4:                                              ⎢ true      false        true        ⎥
                                                    ⎢                                                  ⎥
                                                    ⎢ false    true          true        ⎥
                                                    ⎢                                                  ⎥
                                                    ⎣ false    false        true        ⎦

#5:      TRUTH_TABLE(p, q, p ∧ q → q)

                                                    ⎡      p            q        p ∧ q → q ⎤
                                                    ⎢                                                  ⎥
                                                    ⎢ true      true          true        ⎥
                                                    ⎢                                                  ⎥
#6:                                              ⎢ true      false        true        ⎥
                                                    ⎢                                                  ⎥
                                                    ⎢ false    true          true        ⎥
                                                    ⎢                                                  ⎥
                                                    ⎣ false    false        true        ⎦

c) MODUS PONENS (MP)

#7:      TRUTH_TABLE(p, q, (p → q) ∧ p → q)

                                              ⎡      p            q        (p → q) ∧ p → q ⎤
                                              ⎢                                                              ⎥
                                              ⎢ true      true                true              ⎥
                                              ⎢                                                              ⎥
#8:                                        ⎢ true      false              true              ⎥
                                              ⎢                                                              ⎥
                                              ⎢ false    true                true              ⎥
                                              ⎢                                                              ⎥
                                              ⎣ false    false              true              ⎦

d) CONJUNCIÓN (C)

#9:      TRUTH_TABLE(p, q, p ∧ q → p ∧ q)

                                                ⎡      p            q        p ∧ q → p ∧ q ⎤
                                                ⎢                                                          ⎥
                                                ⎢ true      true              true            ⎥
                                                ⎢                                                          ⎥
#10:                                        ⎢ true      false            true            ⎥
                                                ⎢                                                          ⎥
                                                ⎢ false    true              true            ⎥
                                                ⎢                                                          ⎥
                                                ⎣ false    false            true            ⎦

e) MODUS TOLLENS (MT)

#11:    TRUTH_TABLE(p, q, (p → q) ∧ ¬ p → ¬ p)

                                          ⎡      p            q        (p → q) ∧ ¬ p → ¬ p ⎤
                                          ⎢                                                                      ⎥
                                          ⎢ true      true                    true                  ⎥
                                          ⎢                                                                      ⎥
#12:                                  ⎢ true      false                  true                  ⎥
                                          ⎢                                                                      ⎥
                                          ⎢ false    true                    true                  ⎥
                                          ⎢                                                                      ⎥
                                          ⎣ false    false                  true                  ⎦

f) SILOGISMO DISYUNTIVO (SD)

#13:    TRUTH_TABLE(p, q, (p ∧ q) ∧ ¬ p → q)

                                            ⎡      p            q        (p ∧ q) ∧ ¬ p → q ⎤
                                            ⎢                                                                  ⎥
                                            ⎢ true      true                  true                ⎥
                                            ⎢                                                                  ⎥
#14:                                    ⎢ true      false                true                ⎥
                                            ⎢                                                                  ⎥
                                            ⎢ false    true                  true                ⎥
                                            ⎢                                                                  ⎥
                                            ⎣ false    false                true                ⎦

#15:    TRUTH_TABLE(p, q, (p ∨ q) ∧ ¬ q → p)

                                            ⎡      p            q        (p ∨ q) ∧ ¬ q → p ⎤
                                            ⎢                                                                  ⎥
                                            ⎢ true      true                  true                ⎥
                                            ⎢                                                                  ⎥
#16:                                    ⎢ true      false                true                ⎥
                                            ⎢                                                                  ⎥
                                            ⎢ false    true                  true                ⎥
                                            ⎢                                                                  ⎥
                                            ⎣ false    false                true                ⎦

g) SILOGISMO HIPOTETICO (SH)

#17:    TRUTH_TABLE(p, q, r, (p → q) ∧ (q → r) → (p → r))

                          ⎡      p            q            r        (p → q) ∧ (q → r) → (p → r) ⎤
                          ⎢                                                                                                    ⎥
                          ⎢ true      true      true                            true                          ⎥
                          ⎢                                                                                                    ⎥
                          ⎢ true      true      false                          true                          ⎥
                          ⎢                                                                                                    ⎥
                          ⎢ true      false    true                            true                          ⎥
                          ⎢                                                                                                    ⎥
#18:                  ⎢ true      false    false                          true                          ⎥
                          ⎢                                                                                                    ⎥
                          ⎢ false    true      true                            true                          ⎥
                          ⎢                                                                                                    ⎥
                          ⎢ false    true      false                          true                          ⎥
                          ⎢                                                                                                    ⎥
                          ⎢ false    false    true                            true                          ⎥
                          ⎢                                                                                                    ⎥
                          ⎣ false    false    false                          true                          ⎦