Lgica y

Proposiciones
LCDA. GEORGELYS MARCANO

Lgica Qu es?
La lgica es el estudio del razonamiento; se refiere especficamente a si el razonamiento
es correcto. La lgica se centra en la relacin entre las afirmaciones y no en el contenido
de una afirmacin en particular. Considere, por ejemplo el siguiente argumento:
Todos los matemticos usan sandalias
Cualquiera que use sandalias es un algebrista
Por lo tanto, todos los matemticos son algebristas.
Informtica: Es el tratamiento de la informacin a travs de medios tecnolgicos o
automatizados.

Lgica e Informtica
Los mtodos lgicos se usan en matemticas para demostrar teoremas y,
en las ciencias de la computacin, para probar que un programa hace lo
que deberan hacer.
Por ejemplo, suponga que se asigna a un estudiante el desarrollo de u
programa para calcular la distancias ms cortas entre ciudades. Para
esto es necesario que el programa acepte como entrada un numero
arbitrario de ciudades y las distancias entre las ciudades con
conexiones directas por carretera, y que produzca como salida las
trayectorias (rutas) mas cortas entre cada par distinto de ciudades.

Lgica e Informtica
Luego de escrito el estudiante prueba con un numero pequeo de
ciudades el programa.
Con papel y lpiz, puede enumerar todas la trayectorias posibles entre
pares de ciudades y encontrar las mas cortas, comparando esta con las
obtenidas con el programa.
Entonces, Cmo est seguro el estudiante de que el programa
trabaja bien para muchos datos?
Tendr que usar la lgica para argumentar el programa correcto.

Proposiciones o Enunciados
Como se dijo anteriormente la lgica se encarga de las
argumentaciones validas.
Un argumento es una lista de proposiciones o enunciados. El
ultimo enunciado es la conclusin del argumento y los otros
son las premisas o hiptesis.

Proposiciones o Enunciados
Cuando se afirma que un argumento es valido o correcto se
sostiene que las premisas y la conclusin estn relacionadas
de tal manera que la conclusin se sigue de las premisas por
necesidad estricta, en otras palabras, que afirmar las premisas
y negar la conclusin seria contradictorio.

Proposiciones o Enunciados
Por ejemplo:
El detective Sherlock Holmes entra en posesin de un viejo
sombrero de fieltro, a partir del cual infiere ciertas cosas acerca
de su propietario, sin conocerlo. Entre las conclusiones esta la
de que el propietario es muy intelectual. Al comunicrselo al Dr.
Watson, este pide a Holmes que la justifique. En guisa de
respuesta, Holmes se cal el sombrero en la cabeza. Lo baj
ms debajo de la frente y se le sent sobre el puente de la
nariz. Es cuestin de capacidad cbica dijo: un individuo de
tamao cerebro ha de tener algo en l. Con esto Holmes da
por demostrada su conclusin.

Proposiciones o Enunciados
1. Este sombrero es grande.
2. Los propietarios de sombreros grandes tienen cabezas
grandes.
3. La gente de cabeza grande tiene el cerebro grande.
4. La gente de cerebro grande es muy intelectual.
Conclusin:
El propietario de este sombrero es muy intelectual.

Proposiciones o Enunciados
Otro ejemplo:
1. Todos los mamferos son mortales.
2. Todos los perros son mortales.
Conclusin:
Todos los perros son mamferos.

Proposiciones o Enunciados
Otro ejemplo:
1. Todos los franceses son europeos.
2. Todos los italianos son europeos.
Conclusin:
Todos los italianos son franceses.

Proposiciones o Enunciados
A la lgica le interesa la forma de las proposiciones que
integran un argumento, no su verdad o falsedad de hecho.
Cuando un argumento es correcto, lo es en virtud de la forma
de las proposiciones que lo componen.

Falacias
Hay argumentos que parecen validos y no lo son. A estos se
les llama falacias.
Las falacias pueden ser divididas en tres tipos: falacia de
ambigedad, de presuncin y de relevancia.
Las falacias de ambigedad, engaan por la naturaleza
confusa del lenguaje en el que se expresan los argumentos.

Falacias
Por ejemplo,
1. El control de la natalidad es un suicidio de raza, pues si no
nacen los nios la raza desaparecer.
Aqu la palabra clave en el argumento cambia de significado
durante l, este tipo de falacia se llama equivocacin.
2. Las palomas mensajeras estn prcticamente extintas. Esa
es una paloma mensajera y por tanto esta prcticamente
extinta.

Falacias
Esta falacia surge de aplicar lo que es verdadero para un todo
en cada parte del todo. Es una falacia de divisin.
Las falacias de presuncin engaan por su semejanza a
formas validas de argumentacin.
Por ejemplo,
Herir a las personas es malo; por lo tanto los dentistas son
malos.
Las falacias de relevancia engaan a travs de emociones.

Falacias
Por ejemplo,
La religin se origin con la magia animismo. Por lo tanto no
tiene sentido.
Esta ley est diseada para explotar a los pobres: fue escrita
por el senador ms rico.

En resumen
La lgica nos permite desarrollar la lgica deductiva, cuyos
principios se usan para obtener conclusiones de premisas
dadas, y la lgica inductiva, que saca conclusiones generales a
partir de hechos particulares que sirven de evidencia para
ellas.
Pero para nosotros la lgica quiere decir lgica deductiva. En
este sentido estricto, la lgica deductiva se divide en dos: la
lgica de proposiciones y la lgica de predicados.