formulario-general_parte1

10. DEL CONDICIONAL:
a) p ⇒ q ≡ ~ p ∨ q
b) ~ (p ⇒ q) ≡ p ∧ ~ q
“En una proposición, la condicional equivale a la
disyunción de la negación del antecedente con el
consecuente, y la negación de una condicional
equivale a una conjunción del antecedente con la
negación del consecuente”.
11. DEL BICONDICIONAL:
a) (p ⇔ q) ≡ (p ⇒ q) ∧ (q ⇒ p)
b) (p ⇔ q) ≡ (p ∧ q) ∨ (~ p ∧ ~ q) ≡ ~ (p ∆ q)
12. DE LA ABSORCIÓN:
a) p ∧ (p ∨ q) ≡ p
b) p ∧ (~ p ∨ q) ≡ p ∧ q
c) p ∨ (p ∧ q) ≡ p
d) p ∨ (~ p ∧ q) ≡ p ∨ q
13. DE TRANSPOSICIÓN:
14. DE EXPORTACIÓN:
a) (p ⇒ q) ≡ (~ q ⇒ ~ p)
b) (p ⇔ q) ≡ (~ p ⇔ ~ q)
a) ( p ∧ q) ⇒ s ≡ p ⇒ (q ⇒ s)
b) (p 1
∧ p 2
∧ …∧ p n
) ⇒ s
15. MODUS PONENS:
≡ (p 1
∧ p 2
∧ …∧ p n-1
) ⇒ (Pn ⇒ s)
[(p ⇒ q) ∧ p] ⇒ q
“En una premisa condicional; si se afirma el
antecedente, entonces se concluye en la afirmación
del consecuente”.
16. MODUS TOLLENS:
[(p ⇒ q) ∧ ~ p] ⇒ ~ p
“En una proposición, si se niega el consecuente
de una premisa condicional entonces se concluye
en la negación del antecedente”.
17. DEL SILOGISMO DISYUNTIVO:
[(p ∨ q) ∧ ~ p] ⇒ q
“En una proposición, cuando se niega el
antecedente de la premisa de una disyunción, se
concluye en la afirmación del consecuente”.
18. DE LA INFERENCIA EQUIVALENTE:
[(p ⇔ q) ∧ p] ⇒ q
“En una proposición, cuando se afirma que uno
de los miembros de una bicondicional es verdadera,
entonces el otro miembro también es verdadero”.
19. DEL SILOGISMO HIPOTÉTICO:
[(p ⇒ q) ∧ (q ⇒ s)] ⇒ (p ⇒ s)
“En una proposición, el condicional es transitivo”.
20. DE LA TRANSITIVIDAD SIMÉTRICA:
[(p ⇔ q) ∧ (q ⇔ s)] ⇒ (p ⇔ s)
“En una proposición, el bicondicional es transitivo”.
21. DE LA SIMPLIFICACIÓN:
(p ∧ q) ⇒ p
“En una proposición, si el antecedente y consecuente
de una conjunción son verdades, entonces
cualquiera de los dos términos es verdad”.
22. DE ADICIÓN:
p ⇒ (p ∨ q )
“En una proposición, una disyunción está implicada
por cualquiera de sus dos miembros.
- 18 -