LÓGICA PROPOSICIONAL

[Link]

Clase 01
RIVERA DE LA CRUZ, Leoncio Abelardo
 PROPÓSITO

• Resuelve ejercicios de lógica proposicional.

 LÓGICA PROPOSICIONAL

ESTUDIA LA VALIDEZ DE LAS INFERENCIAS

si a=b
b=c
∴ a=c
Su objetivo es interpretar, desarrollar razonamientos
correctos y distinguirlos de los incorrectos.
La lógica es un lenguaje preciso, claro y formal, que
estudia a las proposiciones.
• ENUNCIADO
Es toda frase u oración que indica alguna idea.
• PROPOSICIÓN
Es un enunciado al cuál se le puede asignar un valor de verdad
( V) o (F).
Es aquel enunciado que se caracteriza por el hecho de poseer un único
valor de verdad (V) o falsedad (F) sin ambigüedad en un determinado
contexto.
A las proposiciones se les simboliza con cualquier letra minúscula :
p,q,r,s….
 EJEMPLOS DE PROPOSICIONES

w : -2<-3 ( )
p : 12 es múltiplo de 5. ( )
q : Los futbolistas son deportistas. ( )
r : Jauja es capital del Perú.( )
s : =+2ab+( )
t : x.y=y.x ( )
ENUNCIADO ABIERTO .Enunciado en la que interviene una o más
variables que admiten la posibilidad de convertirse en una
proposición lógica, cuándo cada variable asuma un determinado
valor, también se le conoce como función proposicional.
Ejemplos:
1) -8>10 2) “y” es par.
-8>10….. (F) 20 es par ( v)
-8>10….. (V) 5 es par (F)
 ENUNCIADOS QUE NO SON PROPOSICIONES

¡Estos enunciados
no son
proposiciones!
(no se puede saber
si es V o F)
¿ A donde vas?

Nota: Los juicios de valor, juicios morales, estéticos, etc no son proposiciones. Aquella chica es bella.
El uso de figuras literarias, refranes, paráfrasis no son proposiciones. Más vale pájaro en mano que cientos
volando
Identifique los enunciados que no son proposiciones
1)  ¡Me saqué un diez en el examen de Física!
2) Si tenemos y lo cambiamos por , el resultado es el mismo.
3) La Energía Cinética depende de la velocidad y masa de una partícula.
Ec=m
4) 72 es múltiplo de 7.
- >4
Quisiera vivir en Huancayo.

7) Sólo se que nada se

CONECTIVO LÓGICO (ENLACE LÓGICO O CONJUCIONES GRAMATICALES).
Son palabras o símbolos que sirven para unir dos o más proposiciones simples las más conocidas son:
 CLASIFICACIÓN DE PROPOSICIONES

1. PROPOSICIÓN SIMPLE O ATÓMICA

Tiene un solo significado. Carece de conectivos lógicos y del
adverbio de negación (NO).
Ejemplos
.César Vallejo es huancaíno.
.8 es par.
 CLASIFICACIÓN DE PROPOSICIONES

2. PROPOSICIONES COMPUESTAS O MOLECULARES

Tiene más de un significado .Contiene al menos un conectivo
lógico o afectadas del adverbio de negación (NO)
Ejemplos:
.David se casa o termina su noviazgo.
.Todo número es par si y solo si es divisible por 2
.No es cierto que Vizcarra es presidente de Argentina.
.Eva es abogada y arquitecta.
SINÓNIMOS DE LOS CONECTORES LÓGICOS (Formas gramaticales)
Puede haber varias maneras de leer un mismo signo tal como
se muestra en seguida:
Para la conjunción: ´p  q´ Llueve y hace frio
pyq p:Llueve
p pero q q:Hace frio
p incluso q
p sin embargo q No vi la película pero leí la novela
p también q p: Vi la película
Para la disyunción inclusiva: ´pq´ q: leí la novela
poq
p a menos que q
p a no ser q
p o en todo caso q
Para la disyunción exclusiva: ´ Δ ´
opoq
o uno u otro
Para la negación simple : ´ p´ )

Cuando afecta a una proposición simple, utilizando su forma

gramatical “no”
Pedro no es ingeniero
p : Pedro es ingeniero
p
Para la negación compuesta: ´(…) ´
Cuando afecta a proposiciones compuestas. Sus formas
gramaticales
No es cierto que
Es falso que
Es mentira que
Es absurdo que
Es falso que vas al cine y a la universidad
p: vas al cine
q: vas a la universidad
No se puede pescar anchoveta ni atún
p: se pescar anchovetas
q: se pescar atún

No comes vegetales ni frutas.

p: comes vegetales
q: comes frutas
Para la condicional directa: ´pq´
Antecedente(causa) y consecuente (efecto) van en ese orden
Si p entonces q Si canto bien ,gano el concurso
p implica q p : Canto bien
p luego q q : Gano el concurso
p por lo tanto q
p conclusión q
ya que p entonces q
puesto que p entonces q Cuándo llueve y hace frio, me quedo en casa
p: Llueve
p en consecuencia q q: Hace frio
r: Me quedo en casa
Para la condicional indirecta: ´ q p´
Consecuente y antecedente en ese orden.
p si q No ganare el concurso porque tengo pocos votos
p ya que q q
p: ganarepel concurso
p porque q q: tengo pocos votosqp
p puesto que q
p dado que q
Alex no triunfa dado que no estudia
p debido q p:
p q
p en caso de q q:
qp
Para la bicondicional: ´p  q´
p si y solo si q
p es equivalente q
p es mismo que q
p siempre y cuando q
p es condición suficiente y necesaria
para q
 FORMALIZACIÓN DE PROPOSICIONES
(Lenguaje natural Lenguaje formal)
Pasos:
1. Definir las proposiciones simples
2. Formalizar
EJEMPLOS: Simbolice los siguientes enunciados

1. Eres ingeniero o matemático ,pero no eres matemático .Por tanto ,eres

ingeniero
Definiendo las proposiciones
p : Eres ingeniero
q : Eres matemático
Formalizando
[(p V q) ^ ᷉ q] →p

[Link]
2. Abel estudia inglés si y solo si viaja al extranjero.
 
Definiendo las proposiciones
p: Abel estudia inglés.
q: Abel viaja al extranjero.
Formalizando
(p ↔q)

3. Luis no es ingeniero.
 
Definiendo las proposiciones
p: Luis es ingeniero.

Formalizando
p
᷉
4. “x” es no negativo
Definiendo las proposiciones
p: x<0
Formalizando
p
᷉ = ᷉(x<0)=x≥o
5. Que no me escuches es equivalente que me
ignores.
Definiendo las proposiciones
p: me escuches.
q: me ignores.
Formalizando
᷉p ↔q
6. “x” es no mayor a 25
Definiendo las proposiciones
p: x>25
Formalizando
᷉p= ᷉( x>25)=x≤25
 
7. Si Aldo no va a la universidad y Pedro tampoco, jamás podrán
ser buenos profesionales.
Definiendo las proposiciones
p: Aldo va a la universidad
q: Pedro va a la universidad
r: podrán ser buenos profesionales
 Formalizando
( ᷉p ^ ᷉q) → ᷉ r
[Link] en Marte no hay agua, entonces no hay vida; en consecuencia, no hay
marcianos ni platillos voladores.
  Definiendo las proposiciones
p: En Marte hay agua.
q: En Marte hay vida.
r: En Marte hay marcianos.
s: En Marte platillos voladores.
  Formalizando
( p᷉ → ᷉q) → ( ᷉ r ^ ᷉ s)
[Link]é a la universidad si no hay corona virus.(condicional inverso)
Definiendo las proposiciones
p: Iré a la universidad.
q: hay corona virus.
Formalizando
᷉q →p
[Link] ira al estadio, si y solo si su hermana se quedara cuidando su
casa. Juan no fue al estadio, debido a que su hermana salió de compras.
Definiendo las proposiciones

p: Juan ira al estadio

q: Su hermana se quedara cuidando su casa
r: Su hermana salió de compras
Formalizando
(p  q)  (r  p)
11. La cosecha será un desastre, ya que las lluvias se alejaron por
completo. Sin embargo, si se hace una buena inversión, entonces se
podría revertir esta situación.
Definiendo las proposiciones
p: La cosecha será un desastre
q: Las lluvias se alejaron por completo
r: Se hace una buena inversión
s: Se podrá revertir esta situación
Formalizando
[Link] es cierto que los poetas son introvertidos o narcisistas.
Pero, si es verdad que estos son muy amables y consecuentes
con sus cosas. Además, si los poetas son introvertidos no tienen
mucho porvenir.
Definiendo las proposiciones
P: Los poetas son introvertidos
q: Los poetas son narcisistas
r:Los poetas son muy amables
s: Los poetas son muy consecuentes con sus cosas
t: Los poetas tienen mucho porvenir
Formalizando
[ (p  q)  (r  s)]  (p  t)
 13. Si los leones volaran o supieran tocar el piano, pensaría que estoy loco
y dejaría que me internaran en un psiquiátrico.

Definiendo las proposiciones

p : Los leones vuelan
q : Los leones tocan piano
r: estoy loco
s: dejaría que me internaran en un psiquiátrico
Formalizando
( p  q) (r  s)
14. Si perseveras en tus decisiones y no cedes al desaliento frente a los
obstáculos , entonces comprobarás que el éxito te sonríe.

Definiendo las proposiciones

p : Perseveras en tus decisiones
q : Cedes al desaliento frente a los obstáculos
r: Comprobaras que el éxito te sonríe
Formalizando
( p  ᷉q) r
[Link]
 15. Si se ganan la elecciones y nuestros representantes acceden al poder, confiarem
en ellos si y solo si cumplan sus promesas y el poder no los corrompe.

Definiendo las proposiciones

p : Ganan las elecciones
q : Nuestros representantes acceden al poder
r: Confiaremos en ellos
s: Cumplen sus promesas
t: El poder los corrompe
Formalizando
( p  q) [r ↔(s  ᷉t)]
 16. Sócrates nació en Atenas y fue maestro de Platón. Si nació en Atenas, fue de
nacionalidad greca .Por lo tanto Sócrates fue de nacionalidad greca.

Proposiciones simples
p : Sócrates nació en Atenas
q : Sócrates fue maestro de Platón
r: Sócrates fue nacionalidad greca
Premisas:
p1: p  q
p2: pr

∴ r

Formalizando

[( p  q) (q r) ] r
 17. Diana ira de vacaciones a Cuzco, si y solo si apruebe el año
académico . No aprobó el año . Diana se quedó estudiando sus cursos
desaprobadas. Por lo tanto Diana, no ira de vacaciones a Cuzco.

Proposiciones simples :
p: Diana ira de vacaciones al cuzco.
q: Diana aprueba el año académico.
r: Diana se queda estudiando sus cursos desaprobados.
Premisas:
p1:
p2:
p3:
∴
Formalizando:
18. Si Andrés es elegido presidente , entonces Juan ingresara a la
asociació[Link] no ingresa a la asociación .Por lo tanto, Andrés no
es presidente.
Proposiciones simples :
p : Andrés es elegido presidente
q :Juan ingresara a la asociación
Premisas

p1 : (p → q)
p2 : ᷉q
∴ ᷉p
Formalizando:
 19. Si te visito por la tarde, saldremos a pasear. Si te visito por la noche, veremos
televisión. Te visitaré por la tarde o por la noche. Luego saldremos a pasar o ver
televisión.
.
Proposiciones simples:
p: Te visito por la tarde.
q: Saldremos a pasear.
r: Te visito por la noche.
s: Veremos televisión.
Premisas:
p1:
p2:
p3:

Formalizando:
20. Si estudio o si soy genio, entonces aprobare el curso de Matemática Superior .No me permitirán
llevar el curso de Fundamentos de Cálculo .Si apruebo Matemática Superior, entonces me
permitirán llevar el curso de Fundamentos de Cálculo. Por lo tanto no estudie

Proposiciones simples:
p: Estudio.
q: Soy genio.
r: Aprobare el curso de Matemática Superior.
s: Llevaré el curso de Fundamentos de Cálculo.
Premisas:
p1:
p2:
p3:

Formalizando:
 [Link] el tiempo está agradable y el cielo despejado, saldremos a navegar y nos daremos un
.
baño. Es falso que el cielo no esté despejado a menos que nos bañemos Luego no
saldremos a navegar.
Proposiciones simples:
p:El tiempo esta agradable.
q:El cielo esta despejado.
s: Saldremos a navegar.
r: Nos daremos un baño.
Premisas:
p1:
p2:
∴
Formalizando:

[Link]
 [Link] el tiempo está agradable y el cielo despejado, saldremos a navegar y nos daremos
un baño. No es verdad que el cielo no esté despejado a menos que nos bañemos .
Proposiciones simples:
p:El tiempo esta agradable.
q:El cielo esta despejado.
s: Saldremos a navegar.
r: Nos daremos un baño.
Premisas:
p1:
p2:
P3:
∴
Formalizando:

[Link]
 [Link] Colombia es un país, entonces Colombia tiene una capital. Si un año tiene 365
días, un año tiene 12 meses. Colombia no tiene capital o un año no tiene 12 meses. Por
lo tanto , Colombia no es un país o un año no tiene 365 días.

Proposiciones simples:
p:Colombia es un país.
q:Colombia tiene una capital.
r:Un año tiene 365 días.
s:Un año tiene 12 meses.
Premisas:
p1: p → q
p2: r → s
p3: ᷉q v ᷉s
∴ ᷉p v ᷉r
Formalizando:
[(p → q)ᴧ(r → s) ᴧ( ᷉q v ᷉s)] →(᷉p v ᷉r)
[Link]
 23. Si Luis entrena poco o regularmente , entonces no podrá ganar la pelea ni el [Link]
ganará la pelea ni el [Link] lo tanto , Luis entrena poco o regularmente.
1. Proposiciones simples
p:Luis entrena poco
q:Luis entrena regularmente
r: Luis gana la pelea
s:Luis gana el campeonato.
2. Premisas
p1:
p2:

3. Formalizando
 BIBLIOGRAFÍA

• García, F. (2015). Matemática Discreta. 3ª ed. Madrid. Paraninfo.

• García, M. (2015). Matemática discreta para la computación. Nociones teóricas y problemas
resueltos. 2ª ed. Jaén. Servicio de Publicaciones - Universidad de Jaén.
• Malva, A., Schwer, I., Cámara, V. y Fumero, Y. (2005). Matemática discreta: con aplicaciones a
las ciencias de la programación y de la computación. 1a ed. Argentina: Universidad Nacional
Del Litoral.
• Matousek, J. y Nesetril, J. (2008). Invitación a la matemática discreta. 1a ed. España: Reverté.
• Ralph, G. (1998). Matemáticas Discreta y Combinatoria. 3a ed. México: Addison Wesley
Iberoamericana S.A.
• Susana, S. (2012). Matemática discreta con aplicaciones. 4ª ed. México D.F. Cengace Learning.