UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Universidad del Perú – DECANA DE ÁMERICA

FACULTAD DE INGENIERÍA INDUSTRIAL
E.A.P. DE INGENIERÍA INDUSTRIAL

Algebra y Geometría Analítica

2022 - I
UNIDAD I
SEMANA Nº1:

❑ LÓGICA PROPOSICIONAL

❑ CUANTIFICADORES UNIVERSAL Y EXISTENCIAL

 Introducción
Hoy en día sabemos que la lógica se remonta desde la aparición del hombre, esto es por
la necesidad de entender a la naturaleza y al mundo que nos rodea. Esta curiosidad
propia del hombre primitivo por observar y saber el cómo sucedían las cosas en la
naturaleza lo llevaron a pensar utilizando su raciocinio.
La lógica es tan antigua como la filosofía. La palabra lógica se deriva del vocablo griego
logos, cuyo significado es Razón y ley de palabras.
Muchas personas en el tiempo se encargaron de definir lo que es la lógica, de los más
renombrados tenemos a Aristóteles (considerado el fundador de la lógica), de igual modo
a Platón y Euclides.
De esta forma fueron dándose muchos más personajes vinculados no solamente a la
filosofía sino también a las matemáticas, religión, entre otros, que nos dieron sus aportes
con respecto a este tema.
Uno de los más destacados en mi opinión fue Descartes, quien expone el método
científico; fue fundador de la nueva ciencia de la geometría analítica en donde establece
como criterio de verdad la claridad y la distinción de las ideas.
Lógica en el siglo XX están representados por Augustus de Morgan, Bertrand Rusell;
Morgan y George Boole; ellos dejaron grandes aportes para un mejor entendimiento de
este tema.
Hoy en día, está en nuestras manos seguir el legado de estos grandes hombres,
aportando con la enseñanza a las nuevas generaciones.
¿QUÉ ES LA LÓGICA PROPOSICIONAL?
La lógica proposicional es el nivel más básico de la lógica,
se encarga de analizar las relaciones entre proposiciones,
así como la verdad o la falsedad de estas.
Enunciamos:
Tú saliste ayer de tu casa
¿Cual es tú respuesta?
Verdadero Falso
Proposición:
Es todo enunciado que puede ser calificado como verdadero o
falso pero no ambos a la vez. Se denota con letras minúsculas.
Ejemplo 1:
p = El triángulo equilátero tiene tres lados iguales
Ejemplo 2:
Cuales de los siguientes enunciado es una proposición:

¿Usted habla francés? No

En la sala de clase esta prohibido fumar. Si

Cristóbal Colón descubrió América. Si

Quien fue a Barranco perdió su banco. No

Gustavo salió con Julia. Si

 Expresiones no proposicionales
“Son aquellos enunciados que indican una pregunta,
una orden o una exclamación”
También podemos decir que los enunciados que utilizan
las palabras “él”, “ella” y que utilizan las variable x; y; z.

Ejemplo 3:
- ¿Cuántos años tienes?
- Silencio
- ¡Arriba el Perú!
- Ella está mirando el mar.
- x+2>6
PROPOSICIONES SIMPLES O ATÓMICAS:
Son aquellas que tienen un solo componente, es decir, no se
pueden separar en dos proposiciones.
Se les denota con las letras minúsculas p, q, r, etc.
A la verdad (v) o falsedad (f) de la proposición se le llama valor de
verdad.
POR EJEMPLO:
La escuela de estudios generales tenia 10 secciones del curso de
cálculo I.
PROPOSICIONES COMPUESTAS O MOLECULARES:
Formada por dos o más proposiciones simples unidas por
“conectores”.
De acuerdo al tipo de conector que tienen, se clasifican en:
negativas, conjuntivas, disyuntivas, condicional, bicondicional.
POR EJEMPLO:
Mario Vargas llosa nació en el Perú o nació en España.
 Conectores lógicos
Llamados también constantes proposicionales, son los términos
básicos de enlace entre proposiciones lógicas simples.
Proposición Conectivo Símbolo Significado

Cambia el valor de verdad de una

NEGACIÓN No ~ proposición simple

Indica que se deben dar las dos

CONJUNCIÓN y ∧ proposiciones
DISYUNCIÓN Indica que se debe dar una de ellas o
INCLUSIVA (DEBIL))
O ∨ ambas proposiciones a la vez

DISYUNCIÓN Indica que se debe dar una de ellas

EXCLUSIVA (FUERTE)
O….O △ pero no ambas proposiciones a la vez

Si… Indica en las proposiciones una

CONDICIONAL ⟶ relación de causa - efecto
entonces
Si y solo Indica que se da una relación de causa
BICONDICIONAL ⟷ - efecto y viceversa.
si
Existe otra connotaciones de los conectores

No p.
Es falso que p.
NEGACIÓN Es absurdo que p. p
No es cierto.
No es el caso.
pyq
p pero q.
CONJUNCIÓN
p aunque q. p∧ 𝑞
p sin embargo q.
poq
DISYUNCIÓN
p a menos que q.
INCLUSIVA
p salvo que q. 𝑝∨𝑞
(Débil)
p excepto q.
 DISYUNCIÓN
O p o q. p△ 𝑞
EXCLUSIVA
O bien p o bien q.
(Fuerte)
Si p entonces q.
q si p.
CONDICIONAL q porque p. p→q
p por lo tanto q.
p implica q.
p si y sólo si q.
q siempre y cuando p.
q equivale a p pq
BICONDICIONAL
p es condición
necesaria y suficiente
para q
 Ejemplo Nº 1
Formalizar o simbolizar las siguientes proposiciones.
1) Estudias Lógica o Biología, pero no ambas a la vez.
2) O bien los animales son vertebrados o bien invertebrados, pero
no es el caso que sean invertebrados y a la vez vertebrados.
3) Un enunciado abierto no es una proposición a menos que se le
asignen valores a la variable.
4) Una condición necesaria para que Rocío no sea premiada con un
libro es que estudie matemáticas y no apruebe el examen.
5) Como es hora laborable, se concluye que en el juzgado hay jueces
y testigos, dado que, si es hora laborable, en el juzgado hay
jueces, y hay testigos si en el juzgado hay jueces.
Solución:
 Tablas de Verdad
Para construir una tabla de verdad es imprescindible tomar en
cuenta el número de enunciados simples que forman el
compuesto, entonces si existe un solo enunciado éste podrá
ser, bien verdadero o bien falso.

Ahora que sucede si el enunciado compuesto cuenta con dos

simples. Para construir la tabla de verdad se deberían hacer
combinaciones de valores de verdad con cada enunciado
simple, lo que resultaría bastante impreciso, para resolver
aquello contamos con la siguiente fórmula:
 Tablas de Verdad de los conectores

p q 𝒑∧𝒒 𝒑∨𝒒 𝒑→𝒒 𝒑∆𝒒 𝒑↔𝒒

V V V V V F V

V F F V F V F

F V F V V V F

F F F F V F V
 FÓRMULAS LÓGICAS
Una fórmula lógica es una cadena de símbolos construida según
reglas establecidas por el lenguaje de la Lógica desde un punto de
vista formal, es decir, lo único que le interesa son las relaciones
entre los símbolos. En ese sentido la sintaxis lógica, permite la
construcción de Fórmulas Bien Formadas ( FBF) estableciendo con
tal objeto, reglas para usar y combinar símbolos.
Ejemplo:
Samuelson no es contador, sino economista; luego dicta cátedra.

Forma lógica: Samuelson no es contador y Samuelson es

economista entonces dicta cátedra
p: Samuelson es contador ; q: Samuelson es economista
r: Samuelson dicta cátedra.

Fórmula lógica:
~p ∧ q ⇒ r Fórmula bien formada (FBF)
Formalización de proposiciones lógicas
Utilizaremos las letras p, q, r, … para simbolizar a las
proposiciones lógicas

Ejemplos
Proposiciones Formalización
Voy a estudiar ingeniería p
No llueve esta noche.  p
Voy al mercado o a la pq
casa.
Apruebo el examen y pq
compro un celular.
Si voy a la fiesta, entonces p→q
duermo tarde.
 Reglas de Formación de Fórmulas
Una fórmula es una secuencia ordenada de símbolos, por lo que los
símbolos del lenguaje lógico no se pueden escribir de cualquier
manera. No toda formulación es admitida como fórmula bien hecha.

Una fórmula es una fórmula bien formada (fbf) si cumple alguna de las
siguientes condiciones:
1. Una variable proposicional es una fbf.
2. Una fbf precedida de una negación es una fbf.
3. Una fbf seguida por cualquiera de las constantes, seguida de una fbf,
haciendo buen uso de los auxiliares es una fbf.

Por ejemplo, p¬ no cumple con (2), por lo que no es fbf;

tampoco lo es →pq ni pqv al no cumplir con (3).
Ejemplo: Formalice las siguientes proposiciones
a) Haré buenos planos si manejo el programa de Autocad
b) Mi mascota es juguetón pero es muy rudo
Solución:
a) Si manejo el programa de Autocad entonces hare buenos
planos.

p: Manejo el programa de Autocad.

q: Hare buenos planos
p→q

b) Tarea
 SIGNOS DE AGRUPACIÓN
Se utilizan para agrupar las proposiciones, en lenguaje lógico corresponden
o sustituyen a los signos de puntuación del lenguaje natural. Hay que
adecuarlos acorde a las proposiciones y su sentido. En otras palabras:
▪ Los signos de agrupación permiten dar sentido a las expresiones que se desean
simbolizar.
▪ Limitan el alcance de los conectores (conectivos u operadores) lógicos que unen las
proposiciones simples (atómicas) para formar proposiciones compuestas (moleculares).
▪ Son elementos básicos de la lógica proposicional.
▪ Evitan la ambigüedad de las expresiones.
Ejemplos:
𝑝 ∧ 𝑞 ; 𝑟 ∨ 𝑠 ; (𝑝 → ~𝑟)
▪ Las expresiones de tamaño medio se encierran entre corchetes (incluyen al
menos dos expresiones pequeñas).
(𝑝 ∨ 𝑞) → ~𝑟 ; (𝑝 ∧ 𝑞) ∨ (𝑡 △ 𝑠)
▪ Las expresiones de mayor tamaño se encierran entre llaves.
(𝑝 ∨ 𝑞) → 𝑡 ↔ (~𝑟 ∧ 𝑠)
▪ La expresiones mas grandes se encierran entre barras.
(𝑝 ∨ 𝑞) △ (𝑟 → ~𝑝) → 𝑟 ↔ (𝑞 ∨∼ 𝑝) ∧ 𝑝
▪ Los signos de agrupación se pueden repetir, pero siempre delimitando el
carácter de los conectores o conectivos (operadores lógicos)
▪ A las expresiones similares no es necesario colocarles varios paréntesis.
𝑝 ∧ 𝑞 ∧ 𝑟 ; (𝑞 ∨ 𝑟 ∨ 𝑝)
▪ Las proposiciones simples no es necesario encerrarlas entre paréntesis.
𝑝; ∼ 𝑞; 𝑝 ∧ 𝑞 ∨ 𝑟 ; 𝑝 → 𝑞
▪ En un polinomio proposicional el conectivo principal (CP) u operador lógico
principal, es aquel que une a la primera componente del polinomio con la
segunda componente del polinomio.
(𝑝 ∨ 𝑞) ∧∼ 𝑠 → (𝑞 ∨ 𝑟) 𝐶𝑃: → (𝑐𝑜𝑛𝑑𝑖𝑐𝑖𝑜𝑛𝑎𝑙)
(𝑞 ∧ 𝑠) △ (𝑝 ∨ 𝑞) ∧ 𝑝 → (𝑝 ∨∼ 𝑠) 𝐶𝑃: ∧ (𝑐𝑜𝑛𝑗𝑢𝑛𝑐𝑖𝑜𝑛)
 Ejercicio Nº 1
Reconocimiento de proposiciones
 Ejercicio Nº 2
Clases de proposiciones
 Ejercicio Nº 3
Clasificación de proposiciones moleculares
 Ejercicio Nº 4
Aplicación de las reglas de formación de formulas
 Ejercicio Nº 5
Formalización de proposiciones
Tautología, contradicción y contingencia
Resultados de tablas de verdad:
Al combinar en las tablas de verdad negaciones y signos de
agrupación, obtendremos tres resultados: contradicción,
tautología o contingencia.
❑ A toda proposición simple o compuesta cuyo valor de verdad es
siempre verdadera para toda combinaciones de valores de sus
componentes se le llama tautología.
Ejemplo: p ∨ ¬p
❑ A toda proposición que es siempre falsa para toda combinaciones
de valores de sus componentes se le llama contradicción.
Ejemplo: p ∧ ¬p
❑ Una proposición cuya tabla de verdad contiene al menos un valor
verdadero y al menos un valor falso se le llama de contingencia.
Ejemplo: p ∨ (p↓ q)
EJEMPLO:
Determine si la proposición compuesta es tautología
~𝑝 ∨ 𝑞 ∧ ~𝑞 → 𝑝

p q ~𝑝 ~𝑝 ∨ 𝑞 ~𝑝 ∨ 𝑞 ∧ ~𝑞 → 𝑝

V V F V F V V

V F F F F V V

F V V V F V F

F F V V V F F

Concluimos que es de contingencia.

Ejercicio Nº 6
 Equivalencia e Implicación Lógicas
Proposiciones equivalentes:
Dos fórmulas proposicionales P (p, q,…) y Q (p, q,…) son equivalentes
si sus funciones veritativas son idénticas entre ambas expresiones. Es
decir, son equivalentes si sus matrices o tablas de verdad son iguales y
se simboliza por ⇔ o ≡.
En otras palabras: P es equivalente a Q, solamente cuando P ↔ Q es
una tautología.
P ≡ Q ⇔ P ↔ Q es una tautología
Implicación Lógica:
Se dice que una proposición P implica lógicamente a Q y se escribe P
⇒ Q si y solo si la condicional P → Q es una tautología, es decir, en
ningún caso P es verdadera y Q es falsa.
Se distingue un condicional de una implicación usando los siguientes
símbolos:
P implica lógicamente a Q: P ⇒ Q
Mientras que el condicional será: P → Q
Ejemplo:
Determine si las proposiciones son equivalentes
~𝑞 → ~𝑝 y 𝑝 → 𝑞.
p q ~𝑝 ~𝒒 𝑝→𝑞 ⟷ ~𝑞 → ~𝑝

V V F F V V V

V F F V F V F

F V V F V V V

F F V V V V V

entonces es tautología, por lo tanto son equivalentes.

Ejercicio Nº 7
 Álgebra de proposiciones
Álgebra de proposiciones es un sistema axiomático consistente, completo e
independiente; se utiliza básicamente para construir y simplificar
proposiciones complejas, siempre que cumplan determinadas propiedades.
Elementos del álgebra proposicional:
Los siguientes elementos se utilizan para escribir expresiones
proposicionales. Cada expresión proposicional tiene su respectiva función
lógica. Los elementos del álgebra proposicional son:
Símbolos lógicos: Se representan por F y V; corresponden a los posibles
valores de una proposición, para señalar respectivamente la falsedad o la
verdad de la proposición.
Constantes: Son proposiciones que no cambian su valor (siempre es F o V).
Variables: Son proposiciones que cambian su valor con el tiempo; están
representadas por las letras minúsculas del alfabeto, así: p, q, r, s, t, etc.
Signos de agrupación: Se utilizan los paréntesis izquierdo “(“ y paréntesis
derecho “)”
 Leyes del álgebra de proposiciones
Las leyes de las proposiciones conforman la parte fundamental para
demostrar la equivalencia entre proposiciones o construir y simplificar
funciones lógicas (con propiedades determinadas) de manera
consistente; más adelante se utilizará para construir circuitos digitales
óptimos a partir del álgebra booleana.
Sean p, q, r proposiciones cualesquiera, entre otras leyes se tienen
básicamente las siguientes:
Absorción: ∼ 𝑝 ∧ (𝑝 ∨ 𝑞) ≡∼ 𝑝 ∧ 𝑞
Bicondicional: p ↔ 𝑞 ≡ (𝑝 → 𝑞) ∧ (𝑞 → 𝑝)
Disyunción fuerte: 𝑝 △ 𝑞 ≡∼ (𝑝 ↔ 𝑞)
 EJERCICIO Nº 1
Simplifique las siguientes proposiciones hasta la mínima expresión,
justificando cada paso realizado.
a) ∼ ((∼ 𝑝 ∧ 𝑞) ∨ 𝑞) ∨∼ ((𝑠 ∨∼ 𝑞) ∧ 𝑠) ≡ ~𝑞 ∨∼ 𝑠
b) ( 𝑝 ∨ 𝑟 ∧ 𝑞 ∨ 𝑝 ∨ 𝑟 ) ∧ (∼ 𝑝 ∨ 𝑟) ≡ 𝑟 ∧∼ 𝑝
c) 𝑞 ∨ 𝑟 ∨ 𝑝 ∧ 𝑞 ∨ ∼ 𝑟 ∧∼ 𝑞 ∧ 𝑝 ≡ 𝑝 ∨ 𝑞 ∨ 𝑟
Solución:
 EJERCICIO Nº 2
Simplifique cada uno de estos enunciados hasta lograr el mínimo.
1.Como Juan es condenado, debe ser el asesino. Entonces, Juan es el
asesino y debe ser condenado. (𝑝 → 𝑞) → (𝑞 ∧ 𝑝) ≡ 𝑝
2. Como al trabajar debo casarme, entonces, no es el hecho de que si
no me caso deba trabajar. (𝑝 → 𝑞) → ~(~𝑞 → 𝑝)
3. No es cierto: que el agua no está contaminada o que produzca
amebiasis o que si el agua no produce amebiasis, entonces el agua no
esté contaminada. ∼ (∼ 𝑝 ∨ 𝑞 ∨ (∼ 𝑞 → ~𝑝 ) ≡
Solución:
 EJERCICIO Nº 3
Hallar la proposición equivalente a:
“Hay que pagar 50 soles y servicio para ingresar al Club”

(a) No ingresar al club o pagar 50 soles, y ser socio.

(b) Pagar 50 soles o ser socio, y no ingresar al club.
(c) Pagar 50 soles y ser socio, o no ingresar al club.
(d) Pagar 50 soles y no ser socio, y entrar al club.
(e) No es cierto que se pague 50 soles y ser socio, o ingrese al
club.
 EJERCICIO Nº 4
Simbolizar y luego simplificar la proposición:
“Viene a casa o se va de viaje, pero no viene; en consecuencia se va
de viaje”
 EJERCICIO Nº 5
Simbolizar y luego simplificar la proposición:
“Cuando obtenga mi título entonces ingreso a la carrera magisterial,
pero no ingreso a la carrera magisterial; luego no obtuve mi título”
 EJERCICIO Nº 6
Si definimos @ como:
𝑝@𝑞 = ~𝑝 → 𝑝 → (𝑞 ∧ 𝑡 ∧ 𝑟) ∧ 𝑝
Simplificar:
(𝑝 → 𝑞)@(𝑞 ∧ 𝑝) @(𝑝 ↔ 𝑞)
Solución:
 Cuantificadores
Considera los siguientes enunciados:
a) “ X es un profesor de matemáticas”
b) “Paolo es un profesor de matemáticas”.
c) “ X es un divisor de 8”
d) “X es un divisor de Y”.
e) “2 es un divisor de Y”.
f) “3 es un divisor de X”.

¿Qué diferencias observas entre unas y otras?

¿Cuáles son proposiciones?

Se dan enunciados que no son proposiciones pero que

pueden convertirse en proposiciones si se da un valor a las
variables X ó Y.
Definición de función proposicional
Una función proposicional es un enunciado que depende de una o más
variables dentro de un conjunto universo, de modo que se convierte
en una proposición para cada valor o reemplazo de la variable.
Ejemplo 1: P(X): “ X es un divisor de 8”
Solución:
P(2) es cierta, P(5) es falsa, P(32) es falsa.
Ejemplo 2: Decide cuáles enunciados son proposiciones y función
proposicional.
a) (2n+3)2 es un número impar.
b) 1 + 3 = 5
c) Existe un x tal que x < .
d) x es un número real.
Solución:
a) función proposicional b) Es proposición.
c) Es proposición. d) función proposicional
Ejemplo 3:
Mencione el valor de verdad de cada una de las siguientes
proposiciones:
1.Todas las personas no tienen el tiempo para dedicarlo al
mantenimiento de sus autos.

2. Todo número natural es un entero.

3. Todos los números primos son impares.

4. Todos los números impares son primos.

5. Algunos números racionales son enteros.

Al referirnos de cuantificadores con respecto a la lógica, teoría
de conjuntos diremos que son los símbolos que determinan la
cantidad de una proposición o los tipos de elementos que un
conjunto dado y que cumplen con dicha propiedad.

El cuantificador existencial,
“Para algún x se verifica p(x)”
“Existe x tal que se cumple p(x)”
“Para al menos un x se satisface p(x)”
son proposiciones que se escriben como “ x p(x) ”
El cuantificador universal,,
“Para todo x se verifica p(x)”
“Para cualquier x tal que se cumple p(x)”
“Para cada x se satisface p(x)”
son proposiciones que se escriben como “x p(x) ”
Ejemplo 1:
Escribe simbólicamente la proposición:

r: “Para cada entero 𝑛 , si 𝑛 es par entonces 𝑛2 + 19 es primo”

Solución:
El conjunto universo son los enteros, identificamos la función
proposicional
𝑝 𝑛 : "𝑛 es par”
𝑞 𝑛 : "𝑛2 + 19 es primo”

Luego
r : n∈ ℤ [𝑝(𝑛) → 𝑞(𝑛)]
Ejemplo 2:
Escribe simbólicamente la proposición
𝑥 2
s: “ Existe un número real 𝑥 tal que 2 =
𝑥 +1 5

Solución:

El conjunto universo son los números reales, identificamos la

función proposicional

𝑥 2
𝑡 𝑥 : 2 =
𝑥 +1 5
Luego
s:  𝑥 ∈ ℝ 𝑡(𝑥)
Ejemplo 3:
Diga si las siguientes proposiciones son ciertas para el dominio
especificado. (Si no se especifica entonces el dominio es todo
número entero)
a) x + 1 > x para toda x real.
b) “ x < 2” ∀ x P(x) .
c) ∀ x (x > 0 ∨ x < 0).
d) ∀ x ( x² ≥ x ).
Solución:
Ejemplo 4:
Mencione si son ciertas o falsas las siguientes proposiciones:
(Si no se especifica entonces el dominio es todo número entero)
a) “x > 3” ∃𝑥 𝑃(𝑥)

b) “ x = x + 1” ∃𝑥 𝑃(𝑥)

c) “ x² > 10” ∃𝑥 𝑃(𝑥) dominio = { 1, 2, 3, 4}

d) ∃𝑥 (x² = 2)
Solución:
Negación del cuantificador universal:
La negación de x p(x) : “Para todo x se satisface p(x)” es
~[x p(x)]  “NO es cierto que todo x verifique p(x)”
 “Algún x satisface ~p(x)”
 x ~p(x)
~ [ x p(x)]  x ~p(x)
Negación del cuantificador existencial:
La negación de x p(x) : “Existe x que satisface p(x)” es
~[x p(x)]  “No es cierto que exista x, que verifique p(x)”
 “Ningún x satisface p(x)”
 “Todo x satisface ~p(x)”
 x ~p(x)
~[ x p(x)]  x ~p(x)
EJEMPLO 1:
Simbolice la expresión: “ cualquier número real cuyo cuadrado es
mayor que 1, es mayor que 1”, luego exhiba la negación de las
proposiciones.
Solución:
Equivale a
r: “ Para todo 𝑥 real, si 𝑥 2 > 1 entonces 𝑥 > 1 ”
𝑝: 𝑥 2 > 1; 𝑞: 𝑥 > 1
∼ (𝑝 → 𝑞) ≡∼ (~𝑝 ∨ 𝑞) ≡ 𝑝 ∧∼ 𝑞
∼ 𝑞: 𝑥 ≤ 1
La negación es
~ r : Existe algún 𝑥 real tal que 𝑥 2 > 1 y 𝑥 ≤ 1
Ejemplo 2:
Negación de las siguientes proposiciones:

1. Para el conjunto de todos los números primos por lo

menos un número primo es par.
2. Para dos números enteros positivos, su suma es 12.

Ejemplo 3:
Exprese las proposiciones siguientes utilizando
cuantificadores y predicados. Traduzca las proposiciones a
símbolos.
a. Todo estudiante en esta clase ha estudiado pre cálculo.
b. Algún estudiante en esta clase ha visitado México.
Ejercicio 4:
En el dominio de todas las películas, sea R(x) el predicado “x es
romántica”.
Exprese las siguientes proposiciones utilizando predicados y
cuantificadores.
1) Algunas películas son románticas.
2) Algunas películas no son románticas.
3) Ninguna película es romántica.
4) Todas las películas son románticas.
Ejercicio 5:
En el dominio de todos los libros, considere los siguientes
predicados: P(x) = es pesado C(x) = es confuso
a) ( ∀𝑥 )( P( x ) → C( x ))
b) ( ∃𝑥 )( C( x ) ∧ P( x ))
c) ( ∀𝑥 )( C( x ) ∨ P( x ))
d) ( ∃𝑥 )( P( x ) ∧ ∼C( x ))

Ejercicio 6:
Escriba la negación de todas las proposiciones del ejercicio 5 y
transcriba esta negación en símbolos.
Desafío:
En un barrio, un miembro de una pandilla acaba de asaltar
una tienda. Entonces el jefe decide hablar con los
muchachos.
Pedro dijo: "Fue Ramiro o Sebastián"
Ramiro dijo: "Ni Ulises ni yo lo hicimos"
Sebastián expresó: "Ustedes dos están mintiendo"
Tito expresó: "No, uno de ellos está mintiendo; el otro está
diciendo la verdad"
Ulises dijo: "No, Tito, eso no es cierto"
Ahora bien, el jefe sabía que tres de los asaltantes siempre
decían la verdad, pero que dos siempre mentían. ¿Puede
descubrir el jefe quién realizó el asalto a la tienda? Traduzca
las proposiciones a la forma simbólica y resuelva las tablas
de verdad para hallar la solución.