Lógica Matemática - Taller#1 24.09.

19
Tema: Simbolización de Proposiciones

1) Formalizar las siguientes proposiciones

2) Formalizar las siguientes proposiciones

3) Traduzca las siguientes fórmulas proposicionales en base a las siguientes proposiciones simples:
a: practico ejercicios todos los días; b: tengo buena salud.

• Practico ejercicios todos los días y tengo buena salud

• No es cierto que practique ejercicios todos los días
• No es cierto que: practico ejercicios todos los días o tengo buena salud
• No practico ejercicios todos los días o tengo buena salud
• No es cierto que no tenga buena salud
• Practico ejercicios todos los días, pero no tengo buena salud

4) Sea p: las manzanas son frutas y q: las lechugas son vegetales; represente en forma simbólica
los siguientes enunciados:

• Ni las manzanas son frutas, ni las lechugas son vegetales.

• Las manzanas son frutas o las lechugas son vegetales, y no es verdad que: las manzanas son
frutas y las lechugas son vegetales.
• Las manzanas no son frutas y no es verdad que: las manzanas son frutas o las lechugas son
vegetales.
• Las manzanas son frutas y las lechugas no son vegetales.
SEGUNDO SEMESTRE INDUSTRIAL
 • Las manzanas son frutas si y solamente si las lechugas son vegetales.
• No es verdad que: las manzanas son frutas y las lechugas son vegetales.
• Las manzanas no son frutas o las lechugas no son vegetales.

5) Utilizando los símbolos dados, simbolizar las siguientes proposiciones:

a: “Juan ha venido demasiado pronto”
b: “María ha venido demasiado tarde”
c: “El Sr. Pérez está enfadado”

• “Si Juan ha venido demasiado pronto o María demasiado tarde, entonces el Sr. Pérez
está enfadado”
• “Si María ha venido demasiado tarde, entonces Juan no ha venido demasiado pronto”
• “O el Sr. Pérez está enfadado o María no ha venido demasiado tarde”
• “María ha venido demasiado tarde y Juan ha venido demasiado pronto, y el Sr. Pérez
está enfadado”
• “Si el Sr. Pérez no está enfadado, entonces Juan no ha venido demasiado pronto y María
no ha venido demasiado tarde”
• “O María no ha venido demasiado tarde o Juan ha venido demasiado pronto”
• “Si María no ha venido demasiado tarde y Juan no ha venido demasiado pronto,
entonces el Sr. Pérez no está enfadado”

6) Señalar el término de enlace dominante en las siguientes proposiciones, simbolizarlas

lógicamente y colocar paréntesis donde sea necesario:

• “No ocurre que, o Jaime es el más alto o Juan es el más alto”

• “Tomás no es nuestro representante y José no es nuestro capitán”

• “O β está antes que γ y ζ está antes que θ, o yo no sé griego”

• “Antonio se marcha ahora y o yo iré con él o Pedro irá con él”

• “Si el baile comienza a las 22h00, entonces nosotros llegaremos temprano y ellos
llegarán tarde”

• “Si no apruebas o no resuelves este problema, entonces es falso que, hayas estudiado o
domines la deducción lógica. Pero no dominas la deducción lógica aunque has
estudiado” [(~p ∨ ~q) → ~(r ∨ s)] ⋀ ~s ⋀ r

SEGUNDO SEMESTRE INDUSTRIAL

 • “Si Renato va a trabajar tarde, entonces le pagarán menos y si no va a trabajar tarde, le
pagarán más, por tanto, si va a trabajar tarde o no, le pagaran menos o mas”

[( ) ( )] [( ) ( )]

• “Jaime se come el bon ice o se le derretirá; no se derrite el bon ice; por tanto, Jaime se
come el bon ice” (p v q) & ¬ q -> p

• “Si la Luna es mayor que la Tierra, la Tierra es mayor que el Sol. Júpiter es mayor que
Plutón, si la Tierra es mayor que el Sol. Por tanto, si la Luna es mayor que la Tierra,
Júpiter es mayor que Plutón” (p -> q) & (q -> r) -> (p -> r)

• “Cuando Eduardo no juega al baloncesto, juega al tenis; cuando juega al tenis, juega al
fútbol; no juega al fútbol. Por tanto, Eduardo juega al baloncesto”
((¬p -> q) & (q ->r)) & ¬r ->p

SEGUNDO SEMESTRE INDUSTRIAL