Documentos de Académico
Documentos de Profesional
Documentos de Cultura
Lógica
N A 3
a) Solo la carta 3.
b) Las cartas 1, 2, 3 y 4.
c) Las cartas 3 y 4.
d) Las cartas 1, 3 y 4.
e) Las cartas 1 y 3.
SILOGISMOS
En símbolos abstractos:
A u
lóGICA PROPOSICIONAL
Los silogismos solo rigen en un minúsculo sector de las inferencias
que tenemos que hacer en la vida diaria. Mucho más importante es
la lógica proposicional, que rige en un ámbito enorme de problemas
inferenciales. Filósofos y lógicos hicieron contribuciones
esporádicas a la lógica proposicional entre el 300 a.c. y el 1300
d.C. Desde mediados del siglo x1x, los lógicos empezaron a hacer
considerables progresos en la lógica de proposiciones al centrarse
particularmente en los «operadores» «Y» y «O». «Y» representa
«conjunciones», como en «Sucede A y sucede B, luego sucede A y
B». «0» representa «disyunciones», como en la inferencia «0
sucede B o sucede A; sucede A, luego no sucede B». El trabajo en
la lógica proposicional en esa época echó los cimientos del diseño
y la programación de computadores.
Al comienzo del capítulo planteé un problema con unas cartas.
Ahora podemos ver que era un problema que requiere la aplicación
de lógica condicional. Si P, entonces Q. «Si una carta tiene una
vocal por una cara, entonces tiene un número par por la otra cara.»
Antes de ver lo cómo lo ha solucionado, veamos cómo
solucionamos este otro problema.
Tenemos un inspector de policía. Una de sus tareas es la de
asegurarse de que los restaurantes no sirvan alcohol a menores de
21 años. Hay que decir a cuáles de los clientes que aparecen más
abajo hay que controlar para ver si cumplen la siguiente regla: «Si
un cliente bebe alcohol, ese cliente tiene por lo menos 21 años».
Hay que controlar únicamente a los clientes que indiquen si la regla
se está cumpliendo.
En el primer panel que aquí mostramos hay cuatro clientes.
Cli1."Iltc l Cliente 2 Clicnti: 4
a) El cliente 1.
b) Los clientes 1, 2, 3 y 4.
c) Los clientes 3 y 4.
d) Los clientes 1, 3 y 4.
e) Los clientes 1 y 3.
ARGUMENTO A
ARGUMENTO B
ARGUMENTO C
ERROR DE CONVERSIÓN 1
ERROR DE CONVERSIÓN 2
ERROR DE INVERSIÓN 1
ERROR DE INVERSIÓN 2