DEMOSTRACION DEL ARGUMENTO MEDIANTE TABLAS DE VERDAD
Demostración formal a través de las leyes de equivalencia
Demostración formal a traves de las leyes de implicación
Leyes de Implicación
LEY DE SIMPLIFICACIÓN (Simplif.)
MODUS TOLLENDO PONENS (M.T.P)
SILOGISMO HIPOTÉTICO
Es una forma básica de argumento válido cuya proposición compuesta es una implicación. Cuando es tautológica y su conectivo principal es una condicional.
LEY DE MODUS PONENDO PONENS
(M.P.P)
Significa “Ley en la cual al afirmar, afirmamos”
*Si la tierra es redonda,entonces tiene movimiento de rotación.
*La tierra es redonda.
Luego
*La tierra tiene movimiento de rotación.
“Al negar, negamos”
*Si México es un pais,eontonces tiene territorio.
*México no tiene territorio.
Luego
*México no es un país
Se inicia con una condicional, nos lleva a concluir otra condicional y el consecuente sea el consecuente de la segunda condicional.
“Al negar, afirmamos”
Los animales son racionales o son irracionales.
Los animales no son racionales.
Luego
Los animales son irracionales
Si partimos de dos proposiciones como premisas, la ley de la conjunción nos permite establecer como conclusión la conjunción de las premisas.
Pedro estudia
Juan trabaja
Luego
Pedro estudia y Juan trabaja
La ley de simplificación nos permite concluir con una de las proposiciones conjuntadas, es decir nos permite simplificar
Si partimos de una proposición cualquiera, podemos concluir con una proposición disyuntiva donde una de las proposiciones sea aquella de la cual partimos, colocada en disyunción con cualquier otra proposición.
LEY MODUS TOLLENDO TOLLENS
(M.T.T)
LEY DE ADICCIÓN (Ad.)
LEY DE CONJUNCIÓN (Conj.)
p
q
├
(p/\q)
(p →q)
p
├
q
q
p→q
~q
├
~p
p → q
q → r
├
p→ r
*Si el sol es una estrella,entonces ilumina el universo.
*Si el sol ilumina el universo,entonces tiene energía propia.
Luego
*Si el sol es una estrella,entonces tiene energía propia.
p→ q
q→ r
├
p→ r
*México es un país con alrededor de 2 millones de Km2 de territorio
Luego
*México es un país con alrededor de 2 millones de Km2 de territorio o solo tiene 100 Km2.
p
├
p V q
*El IPN tuvo un origen nacionalista y de carreras técnica
Luego
*El IPN tuvo un origen nacionalista
p/\ q
├
q
Leyes de equivalencia
Ley de doble negación
No es cierto que no esta lloviendo
Esra lloviendo
Ley de conmutación
Jorge es ingeniero y arquitecto
Jprge es arquitecto e ingeniero
Ley de morgan
No, es cierto que juan sea medico o sea ingeniero .
Juan no es medico y no es ingeniero.
Ley de asociación
*Manuel es ingeniero y estudia computación y trabaja por la tarde .
*Manuel es ingeniero. Estudia computacion y trabaja por la tarde
Es una forma básica del argumento válido cuya proposición compuesta es una equivalencia cuando es tautologico y su conectivo es una bicondicional
Ley de contraposición
Ley de distribución
*Si estudias entonces pasaras el examen
*No es cierto que si estudias entonces no pasaras el examen.