DIS NEG

YU ACI
NCI ÓN
ÓN
CONCONJUSe BICON
PROPOSIOCION DICIO Se exprDICIO
NCIÓN
ES exp esa NAL
PROPOSIO NAL
resSe (~ ó
TABLAS DE VERDAD CONEC
COMPUESTAS
CIONES expresa
TIVOS por Sea ¬) y Se
SIMPLES
Formadas (˄)
(˅)y se
permite hallar elvalorde LOGIC expre
denomi se expres
verdad de cualquier formula dos
p: Mañana o mas say dena (↔)
OS na
LOGICA MATEMATICA proposiciones
es (→) sey(Y)omi y se
Se costruye con conectivos simples de na deno
domingo se
logicos mediante no (NOmina
Es el lenguaje de las deno
q: Luciana
conectivos mi ) (Si Y
matematicas que se utiliza mina
estudia
logicos na SOLO
para expresar el lenguaje (Si
administra (O
......... SI)
universal por medio de ción(p ˄ q) Ento )
proposiociones que son PROPOSIOCIONES
Mañana es nces)
afirmaciones ya sea Es una afirmacion a la cual Domingo y
verdaderas o falsas le podemosdenotar un Luciana
comprobando su valor de valor de verdad (verdadero estudia
verdad por medio de una o falso) administracio
tabla de verdad n
Se debe entender por Para representarlas
inferencia logica a un utilizamos letras minusculas
razonamiento el q apartir del alfabeto p, q , r, s, ...
1. Modus Ponens
de un conjunto de (MP)
proposiociones llamadas
premisas se obtiene un P→Q
resultado llamado P
conclusion Q 2. Modus Tollens (MT)
MÉTODOS Para obtener dicha 3. Silogismo Hipotético
PARA PROBAR P→Q (SH)
LEYES DE INFERENCIA conclusion utilizamos
VALIDEZ DE LOGICA unproceso llamada ¬Q P→Q
ARGUMENTOS demostracion logica, en ¬P Q→R
elcual utilizamos las reglas
de inferencia. P→R
5. Dilema
Reglas De Constructivo (DC)
Inferencia. 4. Silogismo Disyuntivo
RAZONAMINET INDUCTIVO (P → Q) ^ (R → S) (SD)
Es cuando laspremisas RAZONAMIENTO PvR PvQ
ïnducen¨auna conclusion DEDUCTIVO
QvS ¬P
mas amplia y general que Es unargumento donde
las premisas. es posible laconclusion se infiere de Q
quelaconclusion q se induce 7. Conjunción
las presimas.Es necesario P v Q(Conj.)
no sea verdad,perose quelaspremisas 8. Simplificación P¬Q
presume que si proporcionen evidencia (Simp.) 6. Dilema
Destructivo (DD) QP
determinante para llegar a P^Q
RAZONAMIENTOS la conclusion (P → Q) ^ (R → S) P^Q 10. Adición
P (Ad)
LOGICOS ¬Q v ¬S
P^Q P
Q ¬P v ¬ R 9. Absorción
PvQ
(Ab.)
P→Q
P → (P ^ Q)