Las Reglas de Reemplazamiento 2

 

Transposición - Dice que el antecedente y la consecuencia de una declaración condicional pueden cambiar de lugar si y solamente si las tildes están puestas antes en ambos o las tildes están quitadas en ambos.

Implicación Material - Esta regla dice que un “horseshoe” (“⊃”, el símbolo de una declaración condicional; yo he estado usando este símbolo, de flecha “→”) puede ser reemplazado por un “wedge” (“v”, el símbolo de disyunción) si el componente del lado izquierdo está negado y el “reverse” está permitido si una tilde es borrada del componente del lado izquierdo. Por ejemplo, “Si tú me molestas, entonces voy a apuñalarte (P ⊃ Q)” es lo mismo que “Puedes parar de molestarme o voy a apuñalarte”. (~P v Q)”

Equivalence Material - En la segunda formulación vemos que un bicondicional como P ↔ Q puede ser verdadero. P y Q ambos son verdadero o P y Q ambos son falso [(P ⋅ Q) v (~P ⋅ ~Q)]

Exportación - esta regla dice “Si tenemos P y Q, entonces tenemos R” es lo mismo lógicamente que “Si tenemos P, entonces si tenemos Q, entonces tenemos R.” Por ejemplo: “Si Carlos y Tina dijeron la verdad, entonces Tim es culpable” es lo mismo que “Si Carlos dijo la verdad, entonces si Tina dijo la verdad, entonces Tim es culpable.”

Tautología - existe para eliminar redundancia en conjunciones y conjunciones. Esta regla dice que P es lo mismo que (P v P) y (P ⋅ P).

Estrategia 17: Material de implicación puede ser usado para crear un hipotético silogismo. 

Estrategia 18: Exportación puede ser utilizada para crear Modus Ponens.

Estrategia 19: Exportación puede ser usada para crear Modus Tollens.

Estrategia 20: Adición puede ser usada para crear material implicativo.

Estrategia 21:Transportación puede ser usada para crear un silogismo hipotético.

Estrategia 22: Transposición puede ser usada para crear un dilema constructivo.

Estrategia 23:Constructive dilemma puede ser usado para crear tautología.

Estrategia 24: Material implicación puede ser usado para crear una tautología.

Estrategia 25: Material implicación puede ser usado para crear distribución.

14. Transposición (Trans)

~(P ⊃ Q) :: (~Q ⊃ ~P)               

 

15. Material Implicación (Impl)

(P ⊃ Q) :: (~P v Q)               

16. Equivalence Material (Equiv)

P ↔ Q :: [(P ⊃ Q) ⋅ (Q ⊃ P)]

P ↔ Q :: [(P ⋅ Q) v (~P ⋅ ~Q)]  

17. Exportación (Exp)

[(P ⋅ Q) ⊃ R)] :: [P ⊃ (Q ⊃ R)]

18. Tautologia (Taut)

P :: (P v P)

P :: (P ⋅ P)