Professional Documents
Culture Documents
LGICA O LGICAS?
No existe una lgica universal. Existen diferentes
sistemas lgicos, cada uno de los cules se
ocupa del anlisis de una clase particular de
razonamientos.
TIPOS DE PROPOSICIONES
CONDICIONES DE VERDAD
Conectivas lgicas:
Signos de puntuacin: ( ) [ ] { }
SIMBOLIZACIN: UN EJEMPLO DE APLICACIN
DEL LENGUAJE SIMBLICO.
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 )
TABLAS DE VERDAD
Conjuncin negacin disyuncin condicional bicondicional
p q p p p v q p q p q
v v v v f v v v v v v v v v
f f v f v f v v f v v f f v
v f f v v f v f f v f f
f f f f f f f v f f v f
PRUEBAS DE VALIDEZ
Pasos
1. Simbolizar la estructura del razonamiento.
2. Conjuntar las premisas, y colocarlas como
antecedente de un condicional, que tendr
como consecuente la conclusin del mismo.
3. Resolver la tabla de verdad.
4. Evaluar el resultado de la tabla. Si el
razonamiento es vlido la proposicin
condicional resultar tautolgica.
CONDICIONAL ASOCIADO: UNA APLICACIN
1. Simbolizacin:
(p q) r
r / p q
CONDICIONAL ASOCIADO: UNA APLICACIN
2.
{[ (p q) r ] r } ( p q )
v v v f f f v v f f f
f f v v f v v f v f f
v f f v f v v f f f v
f f f v f v v v v v v
v v v v v f f v f f f
f f v v v f f v v f f
v f f v v f f v f f v
f f f v v f f v v v v
CONDICIONAL ASOCIADO: UNA APLICACIN
4.
El resultado de la tabla muestra que el
condicional asociado no result tautolgico.