Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Logica Proposicional
Logica Proposicional
¿LÓGICA O LÓGICAS?
No existe una lógica universal. Existen diferentes
sistemas lógicos, cada uno de los cuáles se
ocupa del análisis de una clase particular de
razonamientos.
TIPOS DE PROPOSICIONES
CONDICIONES DE VERDAD
Conectivas lógicas:
Signos de puntuación: ( ) [ ] { }
SIMBOLIZACIÓN: UN EJEMPLO DE APLICACIÓN
DEL LENGUAJE SIMBÓLICO.
Si los pacientes del pabellón 4 son trasladados al pabellón
2, aumentará el riesgo de contagio de gripe en esa sala
y no se reducirá el uso de antihistamínicos.
p → ( q•− r )
TABLAS DE VERDAD
Conjunción negación disyunción 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 conclusión del mismo.
3. Resolver la tabla de verdad.
4. Evaluar el resultado de la tabla. Si el
razonamiento es válido la proposición
condicional resultará tautológica.
CONDICIONAL ASOCIADO: UNA APLICACIÓN
1. Simbolización:
(p • q) → − r
r / − p •− q
CONDICIONAL ASOCIADO: UNA APLICACIÓN
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 APLICACIÓN
4.
El resultado de la tabla muestra que el
condicional asociado no resultó tautológico.