LÓGICA PROPOSICIONAL

Proposiciones
Términos

1. Pizarro mató a Atahualpa

2. La coca es medicinal Aseveración

3. Los inviernos de Oruro

son muy fríos Relación
 Proposiciones
“el libro sobre la mesa...”
1. Términos

2. Aseveración ¿?
3. Relación ¿?
 Lógica proposicional
Mascar hoja de coca es dañino o beneficioso
Si mascar hoja de coca es dañino entonces existen
enfermedades relacionadas
La validez de un Pero no existen enfermedades relacionadas a ello
Luego, mascar hoja de coca no es beneficioso
argumento
depende de las 1. El pasto es verde
conexiones entre 2. El ser humano es
Una proposición es un ave
proposiciones. 3. Bolivia es un país
una oración que
puede ser totalmente tropical
verdadera o falsa. 4. Hoy es viernes
 Análisis lógico de
proposiciones
“Dos y dos son
cuatro” / 2+2 =4 Define y descubre
estructuras
constantes de los
argumentos

Asigna símbolos Formalización

dentro de un
sistema que
reemplazan al
lenguaje natural
Evitar la ambigüedad del lenguaje...

1. Jugué ajedrez con mis tres primos

2. El hijo de un amigo mío que trabaja en los

juzgados ha sido procesado por tráfico de
drogas

3. Vendí la moto que abolló el coche

 Tipos de proposiciones
a) Proposiciones b) Proposiciones
atómicas moleculares
● Epicuro afirma que la amistad es un ● Esteban Arce fue un gran ingeniero
bien inmortal y nació en Buenos Aires
● La sangre de alguna gentuza es azul ● Vargas Llosa escribió “La historia
de Mayta” o “Cien años de soledad”.
● Macchu Picchu se encuentra en ● Si ves la película “Tiempos
Ecuador modernos” no quedarás
● Maradona es el mejor futbolista de decepcionado y querrás ver más
obras de Charles Chaplin
la historia
 Para practicar: Define si los siguientes son
proposiciones. Luego indica si son atómicas o
moleculares
● Abril es un mes triste
● ¿Cómo te llamas?
● Los actuales ministros de nuestro Estado son personajes honorables
● Los racistas son todos ilustres pensadores de nueva generación
● ¿Puedes callarte de una vez?
● Para ser antropólogo hace falta sobriedad y mucha seriedad
● Sócrates era un filósofo virtuoso
● Sólo si sacas 51 o más de puntaje podrás aprobar la materia de lógica y
sentirte aliviado.
● Ayer fui a la tienda que visitamos el otro día en aquella plaza comercial tan
lujosa localizada en la zona de Santa Fe
SIMBOLIZACIÓN Constantes no
lógicas

Constantes
Letras proposicionales
lógicas Representan las proposiciones
atómicas
Conectivas
Signos que representan las conexiones entre 1) Beijing es la capital de China = p
proposiciones 2) Francia ganó la copa del mundo
1) No es cierto que hayas viajado o hayas salido =q
de tu casa
2) Si duermes bien entonces mañana estudiarás
3) Todo es temporal= r
con ganas
Para practicar: En las proposiciones subraya
las conectivas
●Todo es temporal y todos los hombres son mortales.
●Algunos griegos eran sabios pero Platón era filósofo
●Si algunas enfermedades son incurables hay que rezar
●La buena música se defiende sola o no es buena música
●El canguro es un marsupial o un mamífero placentario
●Tu equipo saldrá campeón sólo si gana el siguiente partido
 Conectiva Símbolo Se lee
Conectivas Negación ¬ “no”
Conjunción Λ “y”
Estas constantes
lógicas han sido Disyunción ν “o”
estandarizadas
Condicional → “Si…entonces
en 5 tipos:
…”
Bicondicional ↔ “Sólo
si…entonces
…”
 Para practicar: Simboliza las
siguientes proposiciones
●Si el gallo canta entonces amaneció
●Vas de viaje o te quedas en casa mirando tele
●Nestlé es una transnacional y PIL también
●Sólo si hubo un gran cambio de clima los
dinosaurios no sobrevivieron
●No hay tiempo que perder ni nada que temer
●Ayuda a los demás sin buscar recompensa y no
esperes nada de los demás.
 El uso de paréntesis en las fórmulas

«Ni el zorro ni el lince pueden atrapar

a la libre si está alerta y es rápida» aΛr→¬zΛ¬l

Interpretación 1:
Interpretación 2:
Si la
La liebre
liebre está
está alertay ysi es
alerta, es ¡Ésta fórmula es
rápida entonces
rápida entonces ni ni el
el zorro
zorro nini
el lince
lince lala pueden
pueden atrapar
atrapar ambigua!
el
(a
a ΛΛ(rr)→(
→ ¬(¬zzΛΛ¬¬l))l)
El uso de paréntesis en las fórmulas
Los paréntesis se usan
REGLAS DE ALCANCE EN LOS
para eliminar la
PARÉNTESIS
ambigüedad en las
fórmulas Definen qué tipo de conectivas
deben considerarse principales en
una fórmula
Alcance máximo → , ↔
Alcance medio Λ, ν
Alcance mínimo ¬
 Para practicar: ¿Cuáles de las siguientes
proposiciones moleculares están bien
formadas?
● p˄q→p˅q

● p↔q→r

● p˄q˅r→(s˅t)˄p

● ¬p↔(q˅p)˄q→r

● p˅¬(q↔p)→¬q˄(r↔s)
Conectivas y valor de
verdad
Cada conectiva lógica se
Pedro es culpable y Juan lo distingue en virtud del
encubre tipo de combinaciones
p q veritativas que dicha
V F conectiva define al unir
dos proposiciones.

¿V? ¿F?
 Conectivas y
valor de
verdad
Para definir el valor
Cada conectiva define veritativo de las
un valor veritativo (V o
F) como resultado de las proposicciones
distintas combinación es moleculares se usan
posibles de valores
veritativos de sus tablas de verdad
proposiciones
componentes.
 La
negación
En lenguaje natural TABLA DE VERDAD
aparece como: p ¬p
“no…”
V F
“no es el caso que…”
F V
“no es verdad que…”
“es falso que…”
“nadie puede creer
que…”
 LA
CONJUNCIÓN
En lenguaje natural aparece
como:
“….y….”
“…pero…”
“…mas…”
“…mientras…”
“…aunque…”
“…además…”
“…no obstante…”
“…sin embargo…”
LA
DISYUNCIÓN
Aparece en el
lenguaje natural
como:
“…o…”
“O….o….”
“…o bien…”
“Quizás…o quizás…”
 1) Roma es la capital de Italia ⋁
Tablas de Roma es la capital de
verdad España
2) ┓(Londres es la capital de
Utilizando las tablas Inglaterra ⋀ Estocolmo es
de verdad de la
negación, la capital de Noruega)
conjunción y 3) Roma es la capital de
disyunción, Italia ⋀ (┓Londres es la
establezca el valor
de verdad de las capital de Inglaterra ⋁
siguientes Londres es la capital de
proposiciones:
Inglaterra)
 Practicar: Si A, B y C son enunciados verdaderos,
y X, Y y Z son enunciados falsos ¿cuáles de los
siguientes enunciados son verdaderos?

AD
1) ┓A ⋁ B

VERD
2) ┓Y ⋁ C
3) (A⋀X) ⋁ (B⋀Y)

S DE
4) ┓(B ⋁ Z) ⋀ (X ⋁ ┓Y)
5) ┓[(B ⋀ C) ⋀ ┓(C ⋀ B)

A
TABL
6) ┓(X ⋀ ┓Y) ⋁ (B ⋀ ┓C)
 LA
CONDICIONAL P Q P→Q
Expresa una relación de
dependencia entre una
V V V
proposición A (antecedente)
y otra C (consecuente): V F F
A→ C
La condicional aparece en el F V V
lenguaje natural como:
“Si…entonces…”
“…implica”
F F V
“Siempre que…pasa que…”
“Cuando …ocurre…”
LA DOBLE
CONDICIONAL P Q P↔Q
Aparece en el lenguaje V V V
natural como:
“Sólo si…entonces…” V F F
“Si y sólo
si….entonces…” F V F
“…es equivalente a…”
“…significa que…” F F V
 Practicar: Si A,B y C son enunciados verdaderos y X,
Y y Z son falsos, determine la verdad de las siguientes
proposiciones compuestas

1. (A ⇢ B) ↔ Z
2. [(A ⇢ B ⇢ C) ↔ Z]
3. [(X ⇢ Y) ⇢ C] ⇢ A
4. (X ⇢ Y) ↔ [(A ↔ C) ⇢ B]
 Practicar: Simboliza las siguientes
proposiciones
● Cuando quieras ayudar de corazón serás una mejor persona
● Mientras la mujer siga siendo objeto de desigualdades arbitrarias, seremos una
sociedad injusta.
● El que Peter tenga grandes poderes conlleva grades responsabilidades para él.
● Un atleta será el hombre más veloz del mundo en 100 mts planos si y sólo si rompe
el record de Usaín Bolt.
● Que Demócrito fuese materialista significa que él creía que sólo existen entidades
materiales.
● A menos que estudies mucho, reprobarás el ramo.
● “Francis Bacon” es el nombre de un pintor o es el nombre de un filósofo.