Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Lógica proposicional
29 de septiembre 2018
¿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.
Conectivas lógicas:
Conjunción: y, pero, aunque, sin embargo…. “•”
Disyunción: o, o bien, a menos que, …. “v”
Negación: no, no es cierto que, es falso que… “−”
Condicional: si…..entonces….., sólo si,……. “→”
Bicondicional: si y sólo si “↔”
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 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
Se denomina de ese modo a la aplicación de métodos para determinar si una
estructura es válida o inválida.
Si hubiéramos sido bien diseñados y nuestro cuerpo fuera tan sabio como
se dice, entonces no nos enfermaríamos. Pero es un hecho que nos
enfermamos. De modo que, ni hemos sido bien diseñados y tampoco
somos tan sabios como se dice.
Simbolización:
(p • q) → − r
r / − p •− q
Condicional asociado: Una aplicación
{[ (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