Professional Documents
Culture Documents
Existen
diferentes sistemas lgicos, cada uno de
los cules se ocupa del anlisis de una
clase particular de razonamientos.
Conectivas lgicas:
Signos de puntuacin: () [] {}
Si los pacientes del pabelln 4 son trasladados al
pabelln 2, aumentar el riesgo de contagio de
gripe en esa sala y no se reducir el uso de
antihistamnicos.
p ( q r )
Conjuncin negacin disyuncin condicional bicondicional
p q p p p v q p q p q
v v f v
v v v v v v v v v v
f f f v f f f f v
v v v v v
f f f f f f f
v v v v v
Se denomina de ese modo a la aplicacin
de mtodos para determinar si una
estructura es vlida o invlida.
1. Simbolizacin:
(p q) r
r / p q
2.
{[ (p q) r ] r } ( p q )
v f f v f f f
v v f v
f f v f v f f
f v v v
f f f v f f f v
v v v
f f f v v v v v
f v v
v v f f v f f f
v v v
f v f f v v f f
f v v
4.
El resultado de la tabla muestra que el
condicional asociado no result
tautolgico.