UNIVERSIDAD NACIONAL DE LA PLATA

Curso de ingreso 2022

Facultad de Informática
MATEMÁTICA 0

Dra. Verónica E. Pastor

Índice general

Bienvenidos a la vida Universitaria 3

CAPÍTULO 1: Lógica y Conjuntos 4

Proposiciones . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 4
Conectivos Lógicos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
Esquemas proposicionales en una indeterminada . . . . . . . . . . . . . . . 17
Cuantificadores: Universal y Existencial . . . . . . . . . . . . . . . . . . . . 19
Más ejercicios del Capı́tulo 1 . . . . . . . . . . . . . . . . . . . . . . . . . . 23

2
Bienvenidos a la vida Universitaria

Bienvenidos al curso de Ingreso de la Facultad de Informática y a Matemática 0,

en particular.

Este material debe considerarse como una guı́a de los conceptos mı́nimos y nece-
sarios para poder afrontar las siguientes asignaturas. Debe tener en cuenta que no
reemplaza las explicaciones de los docentes, complemente la lectura con consultas a
ellos. Este material es único para las distintas modalidades que ofrece la Facultad
para ingresar, ya sea Curso Previo Inicial a Distancia, Curso Inicial Obligatorio o
Redictado del Curso Incial en cualquiera de sus modalidades, en todas hay docentes
a los que se puede consultar.

3
CAPÍTULO 1: Lógica y Conjuntos

Este módulo tiene por objetivo el familiarizarse con los elementos básicos de la
lógica proposicional clásica; lo que permitirá establecer la validez de un enunciado
complejo a partir de sus componentes. El álgebra proposicional abarca conceptos que
son muy utilizados en la carrera que elegiste. Pretendemos que el alumno incorpore
el bagaje lógico para que sea capaz de abordar el estudio de la teorı́a de conjuntos. La
idea de conjunto no requiere demasiada presentación, el objetivo aquı́ es identificar
los elementos que pertenecen y los que no a un conjunto. Interpretar correctamente
la notación simbólica en la definición de conjuntos, y tratar de explicar a través de
estos resultados la naturaleza del trabajo matemático.

1.1 Proposiciones

En el desarrollo de cualquier teorı́a matemática se hacen afirmaciones en forma

de frases y que tienen un sentido pleno. Tales afirmaciones, verbales o escritas, las
denominaremos enunciados o proposiciones.

Definición de Proposición: oración con valor declarativo o informativo, de la

cual se puede predicar su verdad o falsedad.
Es decir,
Una proposición es una oración que puede ser verdadera (V) o falsa (F) pero no
ambas a la vez. La proposición es un elemento fundamental de la lógica matemática.
Por lo general, a las proposiciones se las representa por las letras del alfabeto desde

4
la letra p, es decir, p, q, r, s, t,... etc. Ası́, por ejemplo, podemos citar las siguientes
proposiciones y su valor de verdad:
p: 15 + 5 = 21 (F)
q: Santa Fe es una provincia Argentina. (V)
r: El número 15 es divisible por 3. (V)
s: El perro es un ave. (F)

Aclaremos que la mayor parte de las veces los enunciados adquieren el carácter
de proposición en un contexto determinado; esto es, un enunciado puede ser una
proposición en un sistema determinado, y no serlo en otro.
Para ser más claro: la oración “Marı́a va al teatro”no es una proposición, a menos
que yo sepa a qué Marı́a (de los millones que existen) se refiere, y si “va al tea-
tro”quiere decir que va habitualmente al teatro o que lo hace de vez en cuando o
que está yendo al teatro en este instante determinado. Por otra parte si Marı́a es
mi hermana, y en este momento está saliendo, la afirmación “Marı́a va al teatro”
es una proposición, puesto que claramente es verdadera o falsa. Entonces, cuando
digamos que cierto enunciado es una proposición tendremos en claro que lo es en un
determinado contexto, en el cual es, sin lugar a dudas, verdadera o falsa.

Expresiones No Proposicionales
Son aquellos enunciados a los que no se les puede asignar un valor de verdad. Entre
ellos tenemos a los exclamativos, interrogativos o imperativos, por ejemplo:

¿Cómo te llamas?

Prohibido pasar.

¡Salı́ de ahı́!

No son proposiciones porque no se les puede asignar un valor de verdad.

Clasificación de las Proposiciones

Aquellas proposiciones que se pueden representar por una sola letra y no se pueden

5
descomponer en otras proposiciones, se llaman proposiciones simples o atómi-
cas. Por ejemplo, sea la proposición p : 3 + 6 = 9 es una proposición simple o
atómica.
Cuando una proposición consta de dos o más enunciados simples, se le llama pro-
posición compuesta o molecular. Ası́, por ejemplo, la proposición: “Pitágoras
era griego y geómetra” es una proposición compuesta por las proposiciones simples,
p:Pitágoras era griego y q:Pitágoras era geómetra.
No es necesario conocer si una afirmación es verdadera o falsa (es decir, su valor de
verdad) para saber que es una proposición. Por ejemplo: “Hay vida extraterrestre”
es una proposición, independientemente de que algunos crean que es verdadera y
otros que es falsa, puesto que claramente o bien existe vida extraterrestre o bien no
existe.
Nuestro sencillo estudio de las proposiciones no tratará de establecer el valor de
verdad de una proposición dada, lo que muchas veces es tarea de los cientı́ficos (“el
universo se originó en la gran explosión”) o los filósofos (“pienso, por lo tanto exis-
to”).
Lo que haremos es analizar el valor de verdad de unas en función de los valores de
verdad de las otras.

1.2 Conectivos Lógicos

A partir de proposiciones simples es posible generar otras, simples o compuestas.

Es decir que se puede operar con proposiciones, y para ello se utilizan ciertos sı́mbo-
los llamados conectivos lógicos. A continuación vemos una concreta definición de
cada uno:
1.2.1 Operaciones Proposicionales

Definiremos las operaciones entre proposiciones, dada una o más proposiciones,

de las que se conoce los valores de verdad, se trata de asignar a la proposición re-

6
sultante a través de su valor de verdad. A tal efecto, estudiaremos a continuación el
uso y significado de los diferentes conectivos lógicos.

Negación
Dada una proposición p, se denomina la negación de p a otra proposición denotada
por ¬p (se lee no p) que le asigna el valor de verdad opuesto al de p. Por ejemplo:
p: Diego estudia matemática.
¬p: Diego no estudia matemática.
Por lo que nos resulta sencillo construir su tabla de verdad:

p ¬p
V F
F V

Se trata de una operación unitaria, pues a partir de una proposición se obtiene otra,
que es su negación.
Ejemplo: La negación de p: Santa Fe es una provincia argentina, es:

¬p: Santa Fe no es una provincia argentina.

Conjunción
Dadas dos proposiciones p y q, se denomina conjunción de estas proposiciones a la
proposición p ∧ q (se lee “p y q”), cuya tabla de verdad es:

p q p∧q
V V V
V F F
F V F
F F F

La tabla que define esta operación, establece que la conjunción es verdadera sólo
si lo son las dos proposiciones componentes. En todo otro caso es falsa. Cada com-

7
ponente de la conjunción se llama conyunto.

Ejemplos: Sea la declaración:

5 es impar y 6 es par

Vemos que está compuesta de dos proposiciones a las que simbolizaremos por:
p: 5 es un número impar
q: 6 es un número par
Por ser ambas verdaderas, la conjunción es verdadera.

Ahora bien, sea la declaración:

Hoy es el dı́a 3 de noviembre y mañana es el dı́a de 5 de noviembre.

Esta conjunción es falsa, ya que no pueden ser simultáneamente verdaderas am-

bas proposiciones que la componen.

Disyunción
Dadas dos proposiciones p y q, la disyunción de las proposiciones p y q es la propo-
sición compuesta p ∨ q (se lee “p o q”), cuya tabla de verdad es:

p q p∨q
V V V
V F V
F V V
F F F

Cada componente de la disyunción se llama disyunto.

Ejemplos:
Marte es un planeta o una estrella.
Córdoba es una provincia argentina o Uruguay es un paı́s latinoamericano.

8
El 3 es par o el 8 es primo.

Intente Ud. identificar las proposiciones componentes p y q, sus valores de verdad

y el valor de verdad de la disyunción.

Condicional (o implicación)
Consideremos el enunciado: Si apruebas Filosofı́a, te dejaré ir al viaje de fin de curso.
Este enunciado está formado por dos proposiciones atómicas:
p: Apruebas Filosofı́a.
q: Vas de viaje de fin de curso.

Lo que nuestro enunciado original afirma es esto: si p es verdad, entonces q también

es verdad, o, dicho de modo más sencillo, si p entonces q.
En el enunciado p → q, se dice que p es el antecedente y q el consecuente.
El condicional p → q se lee “p condicional q”, “p implica q” o bien “si p entonces
q”.
Un condicional siempre es verdadero, excepto cuando el antecedente es verdadero y
el consecuente falso.
Por lo tanto, su valor de verdad queda definido por la siguiente tabla de verdad.

p q p→q
V V V
V F F
F V V
F F V

Otras expresiones que representan también la proposición “si p entonces q” y

que se simbolizan por p → q:

p sólo si q

q si p

9
 p es condición suficiente para q

q es condición necesaria para p

Ejemplos:
Ser divisible por 2 es condición necesaria para ser divisible por 6, pero no suficiente.
Ser divisible por 8 es condición suficiente para ser divisible por 4, pero no necesaria.

El recı́proco del condicional

Se puede ver por medio de las tablas de verdad, que tanto la conjunción como la
disyunción tienen la propiedad conmutativa, es decir el orden de las componentes
de una conjunción o de una disyunción no altera su valor de verdad: es lo mismo
p ∧ q que q ∧ p, y también es lo mismo p ∨ q que q ∨ p. Pero, ¿ocurre lo mismo con
el condicional? ¿Es lo mismo p → q que q → p? La respuesta es que no. Veámoslo
con cierto detenimiento.
Se dice que q → p es el recı́proco de p → q. El implicador no tiene la propiedad
conmutativa y esto se aprecia en la comparación de las tablas de verdad de p → q
y de su recı́proco q → p:

p q p→q q→p
V V V V
V F F V
F V V F
F F V V

Veámoslo con un ejemplo:

Sean p : Ahora llueve y q : El suelo está mojado, siendo, por consiguiente p → q : Si
ahora llueve, entonces el suelo está mojado. Veamos el recı́proco de este enunciado:
q → p: Si el suelo está mojado entonces ahora llueve. Supongamos que p es falso, y
q verdadero, lo que se corresponde con la tercera fila de la tabla anterior.

p → q (Si ahora llueve, entonces el suelo está mojado) es verdadero.

10
 q → p (Si el suelo está mojado, entonces ahora llueve) es falso.

El contrarrecı́proco del condicional

Aunque un enunciado condicional y su recı́proco no tienen los mismos valores de

verdad, si los tienen el condicional y su contrarrecı́proco.
El contrarrecı́proco del enunciado p → q es ¬q → ¬p. Veámoslo comparando tablas
de verdad:

p q ¬q ¬p p→q ¬q → ¬p
V V F F V V
V F V F F F
F V F V V V
F F V V V V

Comparemos el mismo ejemplo: En el ejemplo anterior donde p: Ahora llueve, q:

El suelo está mojado, p → q : Si ahora llueve entonces el suelo está mojado.
El contrarrecı́proco es ¬q → ¬p : Si el suelo no está mojado entonces ahora no
llueve,
que es lógicamente equivalente al enunciado primitivo p → q.

El bicondicional
Ya hemos comprobado que p → q no es lo mismo que q → p. Puede ocurrir, sin
embargo, que tanto p → q como q → p sean verdaderos. Por ejemplo, si p: La Tierra
es plana, y q: El Sol es un planeta,
entonces tanto p → q como q → p son verdaderos, porque tanto p como q son falsos.
Es necesario tener esto en cuenta para entender bien el concepto de bicondicional.
Mediante el bicondicional (↔) lo que queremos decir es que un enunciado es a la
vez condición necesaria y suficiente para otro. El bicondicional p ↔ q, que se lee
“p si y sólo si q”.
Ası́, si digo que p: apruebo Filosofı́a y q: saco un 5 o más en el examen de Lógica la
fórmula p ↔ q significa apruebo Filosofı́a si y sólo si saco un 5 o más en el examen

11
de Lógica.

La proposición compuesta: apruebo Filosofı́a si y sólo si saco un 5 o más en el

exámen de Lógica, se puede formalizar de dos formas equivalentes: (p → q)∧(q → p),
o bien p ↔ q. En consecuencia, el enunciado p ↔ q queda definido por el enunciado
(p → q) ∧ (q → p). Por esta razón, el sı́mbolo ↔ se llama bicondicional, y la tabla
de verdad para p ↔ q es la misma que la de (p → q) ∧ (q → p).

p q p↔q
V V V
V F F
F V F
F F V

La doble flecha horizontal ↔ es el operador bicondicional. De la observación de

la tabla de verdad deducimos que para que p ↔ q sea verdadera, tanto p como q
han de tener los mismos valores de verdad, y en caso contrario es falsa.

Formalización del bicondicional

El bicondicional puede tener varias expresiones equivalentes en lenguaje natural.
Ası́ p ↔ q es la formalización de las siguientes expresiones de lenguaje natural:

p si y sólo si q

p es necesario y suficiente para q

Notar que p ↔ q y q ↔ p tendrı́an totalmente los mismos valores de verdad, pues-

to que ambas son coimplicaciones y por lo tanto si sus valores de verdad son los
mismos, son verdaderas, y son falsas en los demás casos. En consecuencia, podemos
reformular los enunciados anteriores intercambiando p y q.

Ejemplos del bicondicional

Ejemplos de bicondicionales verdaderos:

12
 a. La Tierra es plana si y sólo si el Sol es un planeta; si llamamos: p:La Tierra es
plana, sabemos que es Falsa y sea q: El Sol es un planeta, también es Falsa.

b. La Tierra es esférica si y sólo si el Sol es una estrella, sea p: La Tierra es esférica

es Verdadera, y sea q: El Sol es una estrella, también es Verdadera.

Ejemplos de bicondicionales falsos:

a. La Tierra es plana si y sólo si el Sol es una estrella; si llamamos: p: La Tierra

es plana, sabemos que es Falsa y sea q: El Sol es una estrella, es Verdadera.

b. La Tierra es esférica si y sólo si el Sol es un planeta, sea p: La Tierra es esférica,

es Verdadera, y sea q: El Sol es un planeta, en cambio, es Falsa.

1.2.2 Equivalencia Lógica

Decimos que dos proposiciones P y Q formadas ambas por las mismas letras pro-
posicionales, son lógicamente equivalentes, o simplemente equivalentes, si coinciden
sus valores de verdad para los mismos valores de verdad de las componentes. Se nota
como P ⇔ Q, siendo P y Q formas proposicionales no necesariamente atómicas.
Importante: usamos la ⇔ para indicar la equivalencia, mientras que ↔ simboliza al
bicondicional.

Ejercicio: Probar que las siguientes propiedades se satisfacen, probando las equi-
valencias lógicas (construyendo las tablas de verdad de los bicondicionales que co-
rrespondan).
1.- Doble negación: ¬¬p ⇔ p
2.- Leyes conmutativas: a) (p ∧ q) ⇔ (q ∧ p) b) (p ∨ q) ⇔ (q ∨ p)
3.- Leyes asociativas: a) [(p ∧ q) ∧ r] ⇔ [p ∧ (q ∧ r)] b) [(p ∨ q) ∨ r] ⇔ [p ∨ (q ∨ r)]
4.- Leyes distributivas: a) [p∨(q∧r)] ⇔ [(p∨q)∧(p∨r)] b) [p∧(q∨r)] ⇔ [(p∧q)∨(p∧r)]
5.- Leyes de De Morgan: a) ¬(p ∨ q) ⇔ (¬p ∧ ¬q) b) ¬(p ∧ q) ⇔ (¬p ∨ ¬q)
6.- Implicación: (p → q) ⇔ (¬p ∨ q)
Resolución de 3.-a): Empezaremos considerando todas las formas posibles de com-
binar los valores de verdad de las proposiciones atómicas: p, q y r. Para asegurarnos

13
de que no nos falta ninguna combinación, el número de filas es igual a 2n , donde n
es la cantidad de proposiciones atómicas. En nuestro caso 23 = 8. Lo recomendable
es hacerlo de manera ordenada, por ejemplo en la primera columna, considero la
primera mitad verdadera y la otra falsa, en la siguiente considero la mitad de la
mitad verdadera y la otra falsa y ası́ siguiendo...
p q r p∧q q∧r (p ∧ q) ∧ r p ∧ (q ∧ r)
V V V V V V V
V V F V F F F
V F V F F F F
V F F F F F F
F V V F V F F
F V F F F F F
F F V F F F F
F F F F F F F
Notar que las últimas dos columnas coinciden los valores de verdad para los mismos
valores de verdad de las componentes p, q y r. Entonces, si miramos la tabla del
bicondicional estaremos en la primera o cuarta fila, por lo que P ↔ Q resultará
verdadera.

1.2.3 Tautologı́a

Es aquella proposición (compuesta) que es cierta para todos los valores de verdad
de sus variables. Un ejemplo tı́pico es el bicondicional entre p → q y ¬q → ¬p,
verificamos por medio de la tabla de verdad que es una tautologı́a, mirando el valor
de verdad de la última columna:
p q ¬p ¬q p→q ¬q → ¬p (p → q) ↔ (¬q → ¬p)
V V F F V V V
V F F V F F V
F V V F V V V
F F V V V V V

14
Las tautologı́as son muy importantes en lógica matemática ya que se consideran
leyes en las cuales nos podemos apoyar para realizar demostraciones.

1.2.4 Contradicción

A diferencia de la tautologı́a, que siempre es verdadera, aquella proposición que

siempre es falsa para todos los valores de verdad, se denomina contradicción. Una
de las más usadas y más sencilla es p ∧ ¬p, como lo muestra su correspondiente tabla
de verdad.

p q p ∧ ¬p
V F F
F V F

Ejemplo: Dada la proposición p: La puerta es verde. La proposición p ∧ ¬p equi-

vale a decir que: La puerta es verde y la puerta no es verde.
Por otra parte, si una proposición compuesta cuyos resultados en sus diferentes
lı́neas de la tabla de verdad, dan como resultado V y F le llama contingencia o
contingente.

Razonamientos

Podemos ahora analizar o razonar el valor de verdad de proposiciones del tipo

(P1 ∧ P2 ∧ ... ∧ Pn ) → Q, donde n es un número natural, las Pi son las premisas (o
hipótesis) con i = 1, ..., n y Q es la conclusión. Por ejemplo:

1. Si el mayordomo es el asesino, se pondrá nervioso cuando lo interroguen.

2. El mayordomo no se puso muy nervioso cuando lo interrogaron.

Por lo tanto, el mayordomo es el asesino. ¿Cuál es su valor de verdad?

Resolución: Vemos que la primera premisa es una proposición compuesta (condi-
cional) y la segunda también es compuesta por ser una negación. Llamamos p : El

15
mayordomo es el asesino, y q : El mayordomo se puso muy nervioso cuando lo inte-
rrogaron. En forma simbólica serı́a: [(p → q) ∧ ¬q] → p, lo que queremos analizar.
Como sabemos que p → q es verdadera y ¬q verdadera, en la tabla de verdad po-
demos ver que ambas condiciones se cumplen solo en la última fila. Esto se verifica
cuando p es falsa, es decir, que ¬p es verdadera, y ... ¡ el mayordomo no es el asesino!

p q ¬q p→q (p → q) ∧ ¬q
V V F V F
F V F V F
V F V F F
F F V V V
Ejercicio: A partir de los enunciados, simbolı́celos y obtenga conclusiones:
a) Si Juan nació en Mendoza entonces es argentino.
Juan Nació en Mendoza.
b) Si Juan nació en Mendoza entonces es argentino.
Juan no es argentino.

A lo largo de los ejercicios y ejemplos, vimos que no siempre es necesario cons-

truir toda la tabla de verdad, en el siguiente ejercicio, vemos una manera práctica
de encontrar el valor buscado, ahorrando tiempo.

Ejercicio: Obtener el valor de verdad de la proposición (p ∧ q) ∧ (r ∨ s), sabien-

do que el valor de verdad de p es Falsa.
Resolución: Sabiendo que p es Falsa, la conjunción (p ∧ q) también lo es, indepen-
diente de que q sea V ó F. Luego, la siguiente conjunción (p ∧ q) ∧ (r ∨ s) también
lo es, independientemente de los valores de las proposiciones r y s.
Esta es la forma en que una computadora generalmente resuelve este problema,
generando un árbol de expresión como el de la figura 1 y se recorre evaluando las
expresiones o proposiciones. Si podemos “cortar” una rama del árbol y no evaluarla,
y de todos modos obtener el resultado nos ahorra tiempo de cálculo.

16
 Figura 1: Árbol donde cortamos la rama r y s

Realice la tabla de verdad, para convencerse de este hecho. Note que de esta
manera tendrá que realizar una tabla con 16 filas.

1.3 Esquemas proposicionales en una indeterminada

En Álgebra y Aritmética suele decirse que la siguiente expresión: x + 2 = 5 es

una ecuación.
Tal expresión no es una proposición, pues no tiene sentido afirmar que sea verda-
dera o falsa, pero existe algún reemplazo de x por un número de modo tal que se
transforma en una proposición.

Por ejemplo, si reemplazamos x por 7 queda la expresión 7 + 2 = 5, es una pro-

posición, la cual en este caso es Falsa. Si reemplazamos x por 3 queda la expresión
3 + 2 = 5, es una proposición, la cual en este caso es Verdadera.

Seguramente, al leer el ejemplo anterior todos intentaron reemplazar x por un

número y no se les ocurrió reemplazarla por algo que nos lleve a la frase: manzana+
2 = 5. Esto se debe a que uno elije los elementos de un conjunto que hace que la
frase tenga sentido, ya sea verdadera o falsa. A este conjunto le llamamos universo.

Definición de Conjunto Universal: Llamaremos de esta forma al conjunto

de variables que al reemplazar la x por un elemento de ese conjunto se obtenga
una proposición. Lo notaremos por U y lo nombraremos por conjunto universal o,

17
simplemente, universo. Debe contener, al menos, un elemento.

Ahora podemos definir:

Definición de esquema proposicional en la indeterminada x: es toda ex-

presión que contiene a x, y posee la siguiente propiedad: “Existe por lo menos un
nombre tal que la expresión obtenida sustituyendo la indeterminada por dicho nom-
bre, es una proposición”.

Convención: Llamaremos simplemente esquema en lugar de esquema proposicio-

nal. Las indeterminadas suelen llamarse variables o incógnitas.

Ejemplos
1. “La x es blanca” es esquema pues existe una constante “flor” que si ocupa el lugar
de la variable x produce la siguiente proposición: “La flor es blanca”.
Que esta proposición sea Verdadera o Falsa dependerá de cual sea la flor particular
que se está eligiendo.
2. ¿Qué es x? NO es un esquema, pues no hay constante que sustituida en la variable
produzca una proposición.

Ejercicio: Si x es una variable, decir cuáles de las siguientes expresiones son es-
quemas:
1) Juan y x fueron al teatro.
2) x es perro.
3) Distancia del punto P a x es igual a 2. (El punto P es conocido)
4) x ≥ 0 ∧ x ≤ 3.

Vamos a utilizar sı́mbolos tales como p(x), q(x), para designar esquemas de
incógnita x.

18
 Definición: Si p(x) es un esquema en x y a es una constante, se llama valor
de p(x) en la constante a a la expresión obtenida de p(x) sustituyendo x por a. El
valor de p(x) para a se designa p(a).

Ejemplo: Sea p(x) : Esta x no es un objeto, y a es “casa”. Reemplazmos: p(a) :

“Esta casa no es un objeto”

Vamos a definir al conjunto de valores de verdad de p, lo simbolizamos con V(p),

al conjunto formado por todas las constantes a que hacen verdadera la proposición
p(a).

1.4 Cuantificadores: Universal y Existencial

Hasta ahora se ha visto un método para obtener proposiciones a partir de es-

quemas p(x) consiste en sustituir la variable x por una constante adecuada a de tal
forma que p(a) sea una proposición.
Hay otro método distinto que transforma un esquema en proposición a partir del
esquema p(x), es el método de los operadores o cuantificadores.

Como vimos en los ejemplos, uno trata de reemplazar la incógnita por valores que
tenga cierto sentido como para obtener una proposición, por ejemplo, si el esquema
es p(x) : x > 5, pensamos que x puede ser un número, y dependiendo de si x es 8
ó x es 2, será verdadera o falsa; pero no pensamos en reemplazar x por algún color
del arco iris. Esto nos conduce a la siguiente definición:

Por medio de los cuantificadores podemos convertir en proposiciones a los esque-

mas de la siguiente manera:

El cuantificador existencial,
“Para algún x se verifica p(x)”

19
“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))

Ejemplo: Hay flores rojas.

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: Todas las flores son rojas.

Escribe en forma simbólica las siguientes proposiciones, usando cuantificadores,

esquemas proposicionales, decir cuales son las constantes apropiadas (es decir, el
universo) y decide el valor de verdad de las mismas.

p: Todo número real mayor que 2 tiene un cuadrado mayor que él mismo.
q: Algunos números reales con cuadrado mayor que 4 son menores que 2.
r: Cualquier número satisface x2 − x ≥ 0 o no es mayor que 2.

Observa que en “r” hace falta el conjunto universal ...

¿ Qué ocurre si U está formado por los números reales? ¿ Y si a U lo forman los
enteros?

Ejercicio: En cada caso decir si se trata de esquemas, en tal caso transformarlo

en una proposición:
(a) Usando constantes adecuadas.
(b) Dar un universo y aplicar cuantificadores. Hallar su valor de verdad de la pro-

20
posición.
1. P (n): n + 1 > n.
2. Q(n): n2 + 1.
3. R(n): n2 − 3n + 2 = 0.
4. S(n): n es un número racional.

Alcance de un operador
Sea el siguiente ejemplo:

(∃x)(x es verde) ∧ x es rojo (∗)

Vemos que el operador existencial se refiere únicamente al esquema x es verde y NO

a x es rojo, o sea que el alcance del operador llega únicamente al primer esquema,
por lo que al no poder reemplazar la segunda x por algún elemento del universo,
no es un esquema que pueda ser proposición. Si quisiéramos que alcance a los dos
esquemas, tendrı́amos que poner más paréntesis:

(∃x)(x es verde ∧ x es rojo)

o sea, usarı́amos paréntesis.

Del ejemplo precedente podemos deducir que: La expresión “x es verde” es el

esquema más simple que aparece en (∗) inmediatamente después del operador.

La expresión “x es verde ∧ x es rojo”, también es un esquema pero no es el más

simple. La expresión “x es rojo” es un esquema también simple pero no aparece
después del operador.

Definición: Se llama alcance de un operador en x al esquema más simple

que aparece inmediatamente después del operador, salvo que se presenten paréntesis,
en cuyo caso deben aplicarse las reglas habituales referentes al uso de paréntesis.

21
 Negación de operadores

Sea la siguiente proposición: (∀n)(n es un número primo), la cuál sabemos es

Falsa en el universo de los números naturales.

Vamos ahora a negarla: ¬(∀n)(n es un número primo)

En lenguaje corriente esto nos dice que no todos los números son primos que es
lo mismo que si dijéramos: algunos números no son primos, y simbólicamente

(∃n)(n no es un número primo)

De lo anterior se puede deducir, y vale de manera general y no sólo el ejemplo

que:

¬(∀x)(p(x)) ⇔ (∃x)(¬p(x))

De manera análoga se obtiene:

¬(∃x)(p(x)) ⇔ (∀x)(¬p(x))

Por lo tanto, en palabras decimos que:

La negación de un cuantificador universal (existencial, respectivamente) es equiva-
lente a la afirmación de un cuantificador existencial (universal) cuyo alcance es la
negación del alcance del primero.

Ejercicio: Expresar en lenguaje corriente las siguientes proposiciones. Establecer

el alcance de los operadores y proponer el Universo.

a) (∀x)(x es metal → x se f unde)

b) (∀x)(x es metal) ∨ el oro se f unde

22
 c) (∃x)(x es cuadrado) → (∃x)(x es paralelogramo)

d) ¬(∀x)(x es hombre → x es mortal)

1.5 Ejercicios

1.- Indicar cuáles de las siguientes frases son proposiciones:

a) Un cuadrado tiene 3 lados.
b) x > 2.
c) Hoy tardé más de una hora en llegar.
d) El mes de abril del 2019.

2.- Expresar las siguientes proposiciones en forma simbólica, negarlas y retradu-

cir su negación al lenguaje coloquial:
a) Juana no es justa pero mantiene el orden.
b) Los alumnos conocen a los simuladores y los desprecian.
c) Si los alumnos conocen a los simuladores, entonces los desprecian.

3.- Construir las tablas de verdad de:

a) ¬(p ∧ q)
b) ¬(¬p ∧ ¬r) ∧ q
c) (p → q) → r
d) ¬(p ∨ q)
e) ¬q ∧ ¬r
f) (¬s ∧ p) ∨ (s ∧ ¬p)

4.- Consideremos las siguientes proposiciones p, q, r, s.

p: La galera era un barco antiguo de comercio.
q: La galera era un barco antiguo de guerra.
r: La galera era un barco antiguo que se movı́a con velas.

23
s: La galera era un barco antiguo que se movı́a con remos.

Escribir con palabras del lenguaje coloquial, los resultados de las siguientes ope-
raciones:
a) p ∧ q
b) ¬q ∨ ¬r
c) ¬r ∧ s
d) q ∨ s

5.- Simbolizar las siguientes proposiciones:

a) Si 5 ≥ 3 entonces 5 − 3 ≥ 0.
b) Si A, B y C son números racionales tales que 2A+3B-5C = 0 entonces A=B=C=0.

6.- a) Pasar a la forma si ... entonces ... y simbolizar:

i) Juan viaja a Córdoba sólo si consigue pasaje en avión.
ii) Es necesario ser argentino para ser presidente de la república.

b) Expresar y simbolizar utilizando la palabra suficiente:

i) La temperatura bajará si comienza a soplar el viento del sur.
ii) Si aprobó el examen entonces contestó bien el 40 % de sus preguntas.

c) Expresar y simbolizar utilizando la palabra necesario:

i) Si un triángulo está inscripto en un semicı́rculo entonces es rectángulo.
ii) Pedro es argentino sólo si es americano.

7.- Establecer si las siguientes fórmulas constituyen tautologı́as, contradicciones

o contingencias.
a) (p ∧ q) ∧ (q ∧ p)
b) (p ∨ q) → p
c) (q → p) ∨ p

24
 8.- Encontrar proposiciones equivalentes usando las leyes de De Morgan y susti-
tuciones adecuadas:
a) p ∧ ¬q
b) ¬(¬p ∧ q)
c) (p ∧ q) ∨ q
d) (p ∧ q) ∧ (q ∧ ¬p)

9.- Determinar en cada caso si la información que se da es suficiente para conocer

el valor de verdad de las siguientes proposiciones compuestas. Justifica tu respuesta,
realiza de ser posible, el árbol.
a) (p ∧ q) → r, r es V.
b) (p ∧ q) → (p ∨ r), p es V y r es F.
c) (p ∨ q) ↔ (¬p ∨ ¬q), q es V.

10.- Expresar mediante cuantificadores, esquemas proposicionales, conectivos,

además usar equivalencias lógicas para expresar de manera condicional las siguien-
tes proposiciones:
Todos los hombres son mortales.
Hay algún número que no es primo.

11.- Sean los esquemas p(x) : x + 4 = 3 y q(x) : x2 − 1 = 0.

a) ¿Existe un universo en el cuál la proposición (∀x)(p(x) ∧ q(x)) resulte verdadera?
Justifique.
b) Hallar un universo U en el cuál la proposición anterior sea falsa. Justifique.

12.- Simbolizar las siguientes proposiciones, usando proposiciones simples y/o

esquemas proposicionales, cuantificadores y dar un universo.
a) Todo conjunto infinito contiene un subconjunto infinito y el conjunto de los núme-
ros naturales es infinito.

25
b) Todo número distinto de cero es divisible por 1, -1, por el mismo y por su opuesto.
c) 25 no es divisible por 2 ni por 3 pero es múltiplo de 5.

13.- Simbolizar utilizando esquemas, cuantificadores y conectivos lógicos y dar

un universo.
a) Hay objetos rojos y además hay objetos verdes.
b) Hay números pares o todos los números son múltiplos de 3.
c) No todos los números son múltiplos de 5.
d) Todos los números no son múltiplos de 5.
e) Algunos hombres son santos.
f) Ninguna virtud es una cualidad natural.
g) No todo número real es un número racional.
h) Todos los números primos son impares excepto el 2.
i) Si existe un número natural menor que 4 entonces todo múltiplo de 6 es múltiplo
de 5.
14.- Negar las proposiciones anteriores simbólica y coloquialmente.

26