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 “...