Scribd
Cargar
124 vistas1 página

Métodos de Validación en Lógica Matemática

Este documento resume los conceptos básicos de la lógica matemática. Explica que la lógica matemática es el lenguaje de las matemáticas que se utiliza para expresar proposiciones que pueden ser verdaderas o falsas. Describe los conectivos lógicos como la negación, disyunción, conjunción, condicional y bicondicional. También define proposiciones simples y compuestas y los métodos para determinar el valor de verdad de cualquier fórmula mediante tablas de verdad.

Cargado por

Willson Guzman
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd
124 vistas1 página

Métodos de Validación en Lógica Matemática

Este documento resume los conceptos básicos de la lógica matemática. Explica que la lógica matemática es el lenguaje de las matemáticas que se utiliza para expresar proposiciones que pueden ser verdaderas o falsas. Describe los conectivos lógicos como la negación, disyunción, conjunción, condicional y bicondicional. También define proposiciones simples y compuestas y los métodos para determinar el valor de verdad de cualquier fórmula mediante tablas de verdad.

Cargado por

Willson Guzman
Derechos de autor
© © All Rights Reserved
Nos tomamos en serio los derechos de los contenidos. Si sospechas que se trata de tu contenido, reclámalo aquí.
Formatos disponibles
Descarga como PPTX, PDF, TXT o lee en línea desde Scribd

NEGACIÓN

Se expresa (~ ó ¬) y se denomina
DISYUNCIÓN (NO)
TABLAS DE VERDAD
permite hallar elvalorde verdad de Se expresa (˅) y se denomina (O)
Es el lenguaje de las matematicas cualquier formula
que se utiliza para expresar el Se costruye con conectivos logicos
lenguaje universal por medio de
proposiociones que son CONDICIONAL
LOGICA MATEMATICA afirmaciones ya sea verdaderas o
Se expresa (→) y se denomina (Si
falsas comprobando su valor de
.........Entonces)
verdad por medio de una tabla de CONECTIVOS LOGICOS
verdad

BICONDICIONAL
CONJUNCIÓN Se expresa (↔) y se denomina (Si
Y SOLO SI)
Se expresa (˄) y se denomina (Y)
PROPOSIOCIONES
Es una afirmacion a la cual le
podemosdenotar un valor de PROPOSIOCIONES SIMPLES
verdad (verdadero o falso)
p: Mañana es domingo
Para representarlas utilizamos
letras minusculas del alfabeto p, q , q: Luciana estudia administración
r, s, ...

PROPOSIOCIONES COMPUESTAS 1. Modus Ponens (MP) 2. Modus Tollens (MT)


Formadas por dos o mas P→Q 3. Silogismo Hipotético (SH)
proposiciones simples mediante P→Q
conectivos logicos P ¬Q P→Q
(p ˄ q) Q ¬P Q→R
Mañana es Domingo y Luciana P→R
estudia administracion

5. Dilema Constructivo
(DC)
(P → Q) ^ (R → S)
PvR
6. Dilema Destructivo 4. Silogismo Disyuntivo (SD)
QvS
(DD) PvQ
(P → Q) ^ (R → S) ¬P
MÉTODOS PARA PROBAR VALIDEZ LEYES DE INFERENCIA LOGICA Se debe entender por inferencia ¬Q v ¬S Q
DE ARGUMENTOS logica a un razonamiento el q ¬P v ¬ R PvQ
apartir de un conjunto de
¬Q
proposiociones llamadas premisas
se obtiene un resultado llamado P
conclusion
Reglas De
Para obtener dicha conclusion Inferencia.
utilizamos unproceso llamada
demostracion logica, en elcual 9. Absorción (Ab.)
utilizamos las reglas de inferencia. P→Q
P → (P ^ Q)

10. Adición (Ad)


RAZONAMINET INDUCTIVO P
Es cuando laspremisas PvQ
ïnducen¨auna conclusion mas
amplia y general que las premisas. 8. Simplificación
es posible quelaconclusion q se 7. Conjunción (Conj.) (Simp.)
induce no sea verdad,perose
presume que si P P^Q
RAZONAMIENTO DEDUCTIVO Q P
Es unargumento donde P^Q P^Q
laconclusion se infiere de las Q
presimas.Es necesario
RAZONAMIENTOS LOGICOS quelaspremisas proporcionen
evidencia determinante para llegar
a la conclusion

También podría gustarte