DEMOSTRACION DEL ARGUMENTO MEDIANTE TABLAS DE VERDAD
Las leyes de lógica son fundamentales para la estructura de los argumentos válidos y se dividen en varias categorías, como las leyes de implicación, equivalencia y conjunción. Estas leyes permiten deducir conclusiones a partir de premisas dadas, proporcionando una base sólida para el razonamiento lógico.
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 asociación
Ley de morgan
Ley de conmutación
Ley de doble negación
p/\ q
├
q
*El IPN tuvo un origen nacionalista y de carreras técnica
Luego
*El IPN tuvo un origen nacionalista
p
├
p V q
*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→ 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
p→q
~q
├
~p
(p →q)
p
├
q
q
p
q
├
(p/\q)
LEY DE CONJUNCIÓN (Conj.)
LEY DE ADICCIÓN (Ad.)
LEY MODUS TOLLENDO TOLLENS
(M.T.T)
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.
La ley de simplificación nos permite concluir con una de las proposiciones conjuntadas, es decir nos permite simplificar
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
“Al negar, afirmamos”
Los animales son racionales o son irracionales.
Los animales no son racionales.
Luego
Los animales son irracionales
Se inicia con una condicional, nos lleva a concluir otra condicional y el consecuente sea el consecuente de la segunda condicional.
“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
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.
Leyes de Implicación
LEY DE MODUS PONENDO PONENS
(M.P.P)
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.
SILOGISMO HIPOTÉTICO
MODUS TOLLENDO PONENS (M.T.P)
LEY DE SIMPLIFICACIÓN (Simplif.)
DEMOSTRACION DEL ARGUMENTO MEDIANTE TABLAS DE VERDAD
Demostración formal a traves de las leyes de implicación
Demostración formal a través de las leyes de equivalencia