INFERENCIA LÓGICA ✅ LEYES LOGICAS ✅ TABLAS DE VERDAD 💥 Super fácil - Matematicas profeguille 💥

#profeguille Super fácil - Matematicas 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
propositional calculus and formal logic
cálculo proposicional y lógica formal

INFERENCIAS LÓGICAS NOTABLES:
Inferencia Lógica Teoría y Ejemplos:    • INFERENCIA LÓGICA ✅ LEYES LOGICAS ✅ TABLAS...  
Ley del Modus Ponendo Ponens:    • INFERENCIA LÓGICA o ARGUMENTO LOGICO – Ley...  
Ley del Modus Tollendo Tollens:    • Ley del MODUS TOLLENDO TOLLENS - INFERENCI...  
Ley del Silogismo Hipotético:    • Ley del SILOGISMO HIPOTÉTICO  - INFERENCIA...  
__________________________________________________________________________________________
PROPOSICIONES LÓGICAS COMPLETO - PÓDCAST: ▶️ https://acortar.link/Fq1qGU ✏️
WEB DE LÓGICA PROPOSICIONAL: https://logicaproposicionaleyes.blogs...
BLOG DE LÓGICA PROPOSICIONAL: https://logicaproposicionalprofeguill...
__________________________________________________________________________________________
Web Oficial ProfeGuille : https://profeguilleq.blogspot.com/
YouTube:    / @profeguillematematica  
Facebook:   / quidimat  
Twitter:   / quidimat  
Instagram:   / quidimat  
Tik Tok:   / quidimat  
_______________________________________________________________________________________
Guillermo Quiñones Diaz, #profeguille

#leyeslogicas #inferencialogica #argumetologico #inferenciaconleyes #inferenciacontablas #matematicaprofeguille #logicaproposicional #tabladeverdad

INFERENCIA LÓGICA O ARGUMENTO LÓGICO
Se llama INFERENCIA LÓGICA o ARGUMENTO LÓGICO a toda condicional de la forma:
(p1 ᴧ p2 ᴧ p3 ᴧ … pk ) → q

Una inferencia puede ser tautología, contingencia o contradicción.
1) Si la condicional es tautología o implicación lógica recibe el nombre de ARGUMENTO VÁLIDO o INFERENCIA VÁLIDA.

2) Si la condicional no es tautología se denomina FALACIA.

Teorema:
Si el argumento es VALIDO y las premisas p1 ᴧ p2 ᴧ p3 ᴧ … pk, son verdaderas, entonces la CONCLUSIÓN 𝑞 es verdadera.

Ejemplo:
Demuestra si el siguiente argumento es válido:
[p ᴧ (p → q) ] → q

INFERENCIAS VÁLIDAS NOTABLES
1) LEY DEL MODUS PONENDO PONENS    • INFERENCIA LÓGICA o ARGUMENTO LOGICO – Ley...  
[(p → q) ᴧ p ] → q

Ejemplo:
Si Luís gana el concurso, entonces viajará a España
Luís gana el concurso
______________________________________________
Luís viajará a España

2) LEY DEL MODUS TOLLENDO TOLLENS    • Ley del MODUS TOLLENDO TOLLENS - INFERENCI...  
[(p → q) ᴧ ~ q ] → ~ p

Ejemplo:
Si Luís gana el concurso, entonces viajará a España
Luís no viajó a España
______________________________________________
Luís no ganó el concurso

3) LEY DEL SILOGISMO HIPOTÉTICO
[(p → q) ᴧ (q → r)] → (p → r)

Ejemplo:
Si no llueve, entonces se perderá la cosecha
Si se pierde la cosecha, entonces no se podrá cancelar la deuda
______________________________________________
Si no llueve, no se podrá cancelar la deuda

Super fácil - Matematicas profeguille

#leyeslogicas #inferencialogica #profeguille