Universidad de Guadalajara

Centro Universitario de Ciencias Sociales y Humanidades

Departamento de Filosofa
Grupo de Estudio de Lgica
Actividad 1
1. Realiza la lectura del primer captulo Introduccin General de la primera parte
(I Lgica Proposicional) del libro de Mara Manzano y Antonia Huertas
Lgica para principiantes, que va de la pgina 3-24.

2. A continuacin se presenta un resumen conceptual que te servir como apunte

para contestar los ejercicios subsecuentes:
Qu es la lgica?
La lgica puede ser definida como el estudio de la consecuencia o estudio de los
razonamientos validos o correctos. La definicin propia de Manzano es; estudio de
los conjuntos de creencias consistentes.
Varias ciencias tienen en comn a la lgica por su uso de la racionalidad, la
coherencia, la bsqueda de la consistencia etc. Pero adems la lgica es utilizada por
todos los supuestos seres racionales, como somos nosotros. La racionalidad implica
el uso de la lgica, y de tal suerte, la expresamos a travs de nuestro lenguaje,
algunas veces en sentido estricto y en otras ocasiones utilizamos la lgica de una
manera coloquial e informal.
La lgica es tambin entendida como una de las ramas del conocimiento la cual
estudia la consecuencia y adems se ocupa de los razonamientos vlidos o correctos
y de la consistencia.
El lenguaje, la lgica y el clculo
Se puede entender la lgica en un sentido funcional y estricto, y otro informal,
tomando como punto de partida el lenguaje ya que el lenguaje es aquello que nos
permite comunicar a los dems nuestro conocimiento, de tal suerte, con el lenguaje
expresamos la racionalidad y conversamos con otros nuestro conocimiento del
mundo.
Del lenguaje comn nace la lgica, y de este nacer obtenemos la lgica en un
sentido funcional y estricto, se introduce un lenguaje artificial que encripta aquello
que antes habamos enunciado en lenguaje natural.
Para definir una lgica se introduce un LENGUAJE ARTIFICIAL: con
ALFABETO y REGLAS GRAMATICALES de formacin de frmulas y se atribuye
un significado a las expresiones del lenguaje mediante interpretaciones
SEMNTICAS y modelos. Dichas interpretaciones nos permiten afirmar, en algunos
casos, que de ciertos conjuntos de frmulas se siguen ciertas frmulas como
conclusin.

Universidad de Guadalajara
Centro Universitario de Ciencias Sociales y Humanidades
Departamento de Filosofa
La lgica es una suma de la consideracin de la gramtica y el lenguaje ms la
semntica, o clculo deductivo. En resumen, la lgica estudia la consecuencia y el
razonamiento, basado en el lenguaje natural tiene sus propias reglas para darle
distintas interpretaciones semnticas y manejar la lgica como un clculo deductivo.
Glosario
1. Consistencia lgica: O coherencia interna de un conjunto de creencias, significa
para nosotros compatibilidad de creencias, (que no exista contradiccin entre las
creencias).
2. Enunciado: representacin lingstica de las creencias, estos tienen como
cualidad principal ser verdaderos o falsos, es decir, tienen un carcter bivalente.
3. Enunciados consistentes: Enunciados que expresan creencias y que pueden ser
verdaderos en alguna situacin.
a. Ejemplo:
El viernes llover
4. Enunciados (conjunto de premisas) satisfacibles: propiedad semntica de los
conjuntos de premisas, propiedad que consiste en la imposibilidad de que
deriven en una contradiccin, de lo contrario nuestro conjunto de frmulas es
insatisfacible.
a. Ejemplo:
Si arrojo una piedra al rio entonces se formarn ondas en el agua
Si se forman ondas en el agua entonces hubo movimiento en la superficie
del rio.
5. Enunciados contradictorios: Nunca son verdaderos
6. Enunciados tautolgicos: Siempre son verdaderos.
7. Argumento: Consiste en un conjunto de premisas las cuales implican una
conclusin.
Un argumento vlido es aquel que si todas sus premisas son verdaderas entonces la
conclusin que se derive de ellas ser tambin verdadera, al menos en un solo caso.
Un argumento invlido no cumple la caracterstica anterior.
Si no se puede dar el caso que de la verdad de las premisas se siga una falsedad en la
conclusin entonces el argumento es tautolgico.
Si un argumento siempre tiene como resultado que de las premisas NO se deriva la
conclusin, entonces el argumento es contradictorio.
3. Ejercicios
Formalizacin de argumentos
Letras predicativas
P, Q, R, S, T ()

Conectores lgicos
Implicacin

Universidad de Guadalajara
Centro Universitario de Ciencias Sociales y Humanidades
Departamento de Filosofa
^ Conjuncin
v Disyuncin
Negacin
Doble implicacin

Conector Lgico
Implicacin
^, Conjuncin
V Disyuncin
Negacin
Doble implicacin

Uso frecuente en lenguaje natural

Si entonces, si se da que entonces,
Y
O, U
No es cierto que, no es el caso que, es
falso que.
Si solo si, syss

Argumentos:
1. Si Karla me regala un Play Station 4 para navidad entonces la amar
Si me compra ropa entonces la odiar
Karla me regal un Play Statin 4
.: Amo a Karla
2. Me duele la garganta
Si te duele la garganta es porque pescaste un resfriado
Si pescaste un resfriado entonces deberas tomar vicodin
.: Debera tomar vicodin
3. Frodo porta el anillo y lo utiliza para hacerse invisible
Si Frodo porta el anillo entonces o usa el anillo para hacerse invisible o no lo usa
Si Frodo usa el anillo para hacerse invisible entonces podr salvarse
Si no lo usa entonces morir
.: Frodo podr salvarse
4. Si haces ponche entonces tendrs una navidad feliz
No tuve una navidad feliz
.: No hice ponche
5. Si mi madre me regala unos tenis de navidad entonces mi padre me comprar
una chamarra
Si mi hermana me regala un hmster entonces mi hermano me comprar una
mochila
Mi madre me regal unos tenis de navidad y mi hermano no me compr nada
esta navidad
.: Mi padre me compr una chamarra y mi hermana no me dio nada esta
navidad.

Universidad de Guadalajara
Centro Universitario de Ciencias Sociales y Humanidades
Departamento de Filosofa