Ley del MODUS TOLLENDO TOLLENS - INFERENCIAS LÓGICAS NOTABLES – ✅ LEYES LÓGICAS y TABLAS DE VERDAD ✅

#profeguille
Ley del MODUS TOLLENDO TOLLENS, demostración con leyes lógicas y tablas de verdad profeguille
Inferencia lógica o argumento lógico
Super fácil - Matematicas profeguille
propositional calculus and formal logic
cálculo proposicional y lógica formal

*INFERENCIAS LÓGICAS NOTABLES:*

__________________________________________________________________________________________
__________________________________________________________________________________________
__________________________________________________________________________________________
Guillermo Quiñones Diaz, #profeguille
Inferencia lógica aplicando leyes del algebra proposicional
Inferencia lógica con tablas de verdad
Argumento lógico aplicando leyes del algebra proposicional
Argumento lógico con tablas de verdad

#leydelmodusponendoponens #leydelmodustollendotollens
#leyeslogicas #inferencialogica #argumetologico #inferenciaconleyes #inferenciacontablas #matematicaprofeguille #logicaproposicional

Super fácil - Matematicas profeguille

[ProfeGuilleMatematica]

Ley del Modus Tollendo Tollens, demostración con leyes lógicas y tablas de verdad profeguille

[diina]

Hola profe, quiero decirle que amo sus videos y la dedicación que pone en ellos!!!

Porfavor podrían pedirle ejercicios y ejemplo de demostración de validez de razonamiento lógico como este

Pero usando las leyes lógicas, leyes de inferencia y de equivalencia lógica

Los que son verticales

premisa 1
Premisa 2
Premisa 3
Premisa 4

: . Conclusión ( a demostrar)

Y creas nuevas premisas

5 premisa
6 premisa
7 premisa

Y las haces interactuar entre ellas. Entendí como usar las leyes de inferencia pero me cuesta mucho hacer este tipo de ejercicios metiendo leyes lógicas y de equivalencia

Por ejemplo cuando tengo usar la ley adicional (inferencia)

Para luego poder aplicar Morgan (una de sus equivalencias


1( m v t) ==> c ^ f
2 ~ c

3 ~ c v ~f ( ley adicional en 2 )
4 ~ (c ^ f ) Ley Morgan en 3
5 ~ ( m v t ) M. Tollens

Algo así pero como mencioné antes me cuesta ver la equivalencia entre leyes

[jonypuyol]

una pregunta maestro...si mi primera premisa es p ⇒ ∼q y mi segunda premisa me marcara ∼q mi consecuente seria p? o directamente no podria aplicar ninguna ley? como lo resolveria?

[DarlyCraft]

Siiuu me vi todos tus vídeos de leyes lógicas 👍🏻

[virginiagudino]

Disculpe de donde saca el conector, Y, en el enunciado No se ve