DEMOSTRACION DEL ARGUMENTO MEDIANTE TABLAS DE VERDAD

Meer zoals dit

El Tratado Filosófico Europeo

door Ashley Katherine Gastezzi Aspiazu

TRAUMA CRANEOENCEFALICO

door johon jairo rodriguez

ENERGÍA GEOTÉRMICA

door milena Gómez

tipos de circuitos

door valery saavedra lopez

Leyes de equivalencia

Ley de distribución

Ley de contraposición

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