Documentos de Académico
Documentos de Profesional
Documentos de Cultura
(A v B) 🡪 B
(A v B) . -A 🡪 B
(A v B) . B 🡪 -A
(A 🡪 B) . (B 🡪 C) 🡪 (A 🡪 C)
MODUS PONENS
1º premisa = conector condicional
2º premisa = afirmación del antecedente
Conclusión = consecuente afirmado
(A 🡪 B) . A 🡪 B
MODUS TOLLENS
1º premisa = conector condicional
2º premisa = negación del consecuente
Conclusión = antecedente negado
[(A 🡪 B) . -B] 🡪 -A
[(A v B) . (A 🡪 C) . (B 🡪 D)] 🡪 (C v D)