UNIVERSIDAD NACIONAL DE SANTIAGO DEL

ESTERO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS

TRABAJO PRACTICO III

LÓGICA I
CARRERA: LICENCIATURA EN SISTEMAS DE INFORMACIÓN

Dr. Maximiliano Celmo David Budán

Prof. Ximena Villarreal

AÑO 2020
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

UNIVERSIDAD NACIONAL DE SANTIAGO DEL ESTERO

FACULTAD DE CIENCIAS EXACTAS Y TECNOLOGÍAS

CARRERAS: LICENCIATURA EN SISTEMAS DE INFORMACIÓN

ASIGNATURAS: LÓGICA I

PROGRAMACIÓN ANALÍTICA DEL CAPÍTULO Nº 4

CÁLCULO DE PREDICADOS Y TEORÍA DE LA CUANTIFICACIÓN.

Formas Proposicionales. Definición. Componentes. Universo del discurso. Representación
simbólica. Variables de individuo y variables de enunciado. Relación entre universo y
conjunto de verdad de una forma proposicional. Fórmulas proposicionales y proceso de
transformación en proposiciones singulares y generales. Formas proposicionales monádicas,
diádicas y n-ádicas.

Teoría de la Cuantificación. Cuantificador universal y cuantificador existencial. Alcance de

un cuantificador. Variables libres y variables ligadas. Proposiciones generales complejas
categóricas. Representación simbólica. Fórmulas Lógicas. Forma correcta de una fórmula
lógica. Condiciones para que una fórmula lógica represente una proposición. Negación de
proposiciones cuantificadas. Equivalencia de proposiciones cuantificadas universalmente y
existencialmente: Ley de intercambio de cuantificadores. Leyes de distribución de
cuantificadores. Ley de subalternación.

COMPETENCIAS

Desarrollar un lenguaje matemático lógico formal. Plantear y desarrollar los ejercicios

propuestos con un espíritu creativo y crítico. Reconocer vínculos significativos entre
conocimientos previos y conceptos nuevos. Demostrar la correcta interpretación de
enunciados coloquiales y su adecuada transformación al lenguaje lógico matemático en
cuestión. Participar en forma activa en clase, exponiendo resultados y formulando
argumentaciones. Trabajar en grupo, realizando aportes pertinentes y valorando otras
opiniones. Mostrar actitudes de solidaridad y compañerismo con sus pares.

BIBLIOGRAFÍA

“Lógica Simbólica y Elementos de Metodología de las Ciencias”. SALAMA, Alicia G.

Ateneo. Primera Edición. Buenos Aires. 1996.
“Lógica Simbólica”. COPI, Irving. Primera Edición. Continental. Mexico. 1996.
“Matemática Elemental Moderna: Estructura y Método”. TREJO, César A.. Paidos.
Buenos Aires. 2004.
“Lógica Informática”. CUENA, José. Alianza Informática. Madrid, España. 2003.
“Truth, deduction, and computation logic and semantics for computer science”. DAVIS,
Ruth .E. . Freeman and Company. NewYork. 1989.
1
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

“A concise introduction to mathematical logic”. WOLFGANG Rautenberg. Tercera

Edición. Springer. New York. 2010.

2
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

GUÍA DE TRABAJO TEÓRICO–PRÁCTICO Nº 3

TEMA: CÁLCULO DE PREDICADOS Y CUANTIFICADORES.

1. Lógica de Predicados: Motivación

El desarrollo del cálculo proposicional se basa en unidades de información, cuya estructura se

contempla como un todo, sin diferenciar sus componentes. Este planteamiento no permite
representar lógicamente ciertos razonamientos deductivos, que, sin embargo, son correctos en
el lenguaje coloquial; como por ejemplo:
Todos los hombres son mortales.
Sócrates es hombre.
Luego, Sócrates es mortal.
Este razonamiento, simbolizado con el lenguaje del cálculo proposicional, tiene la siguiente
representación lógica:

p
q
r

Si se pretende probar su validez mediante el método del condicional asociado, se obtiene la

fórmula p  q  r, cuya tabla de valores de verdad es una contingencia. Esto se debe a que
ninguna de las proposiciones p, q, r, pueden describirse mediante partes de las mismas
dotadas de significado propio, unidas por conectivas, que sean comunes en algunas de ellas y,
la relación entre premisas y conclusión que hace la deducción correcta, no puede detectarse
con el lenguaje y los métodos estudiados en la lógica proposicional.
En este ejemplo de razonamiento, la relación entre las proposiciones está en la propia
estructura interna de éstas, en efecto: se afirman en ellas las mismas propiedades o relaciones
para distintas personas o conjuntos de personas (Las propiedades son “Ser Hombre”, “Ser
mortal”; las personas objeto de atribución de estas propiedades son colectivos, en la primera
proposición, e individuos concretos, Sócrates, en las otras).

Para tratar lógicamente este tipo de estructuras deductivas es preciso crear una teoría que no
tome como base la simbolización matemática de la proposición total sino la de sus

3
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

componentes. Así, la lógica de predicados estudia las frases declarativas con mayor grado de
detalle, considerando la estructura interna de las proposiciones. Se tomara como elemento
básico los objetos y las relaciones entre dichos objetos. Es decir, se distingue:

 Qué se afirma (predicado o relación).

 De quién o quiénes se afirma (sujeto, término u objeto).

El primer elemento se define como el predicado y el segundo, como los sujetos o términos.
Así en la frase: “Ana es estudiosa”; “es estudiosa” es el predicado, y “Ana”, el sujeto o
término de la proposición. Asimismo, puede haber proposiciones con varios términos, por
ejemplo: “Cuatro está entre tres y cinco”. En este caso el predicado es “… está entre … y
…”, y los términos son: cuatro, tres y cinco. Los predicados que se refieren a un único
término se denominan predicados monádicos. Los que se refieren a varios sujetos se
denominan predicados de relación o poliádicos. Según el número de términos pueden ser
diádicos, triádicos, … , n-ádicos.

La lógica de predicados estudia las frases declarativas considerando la estructura interna

de las proposiciones compuesta por los predicados (propiedades que caracterizan un
sujeto) y los sujetos (objeto asociado a una determinada propiedad).

A continuación se introducirá los elementos claves del sistema formal de predicados, en

donde se identificará: el alfabeto, la sintaxis y la semántica de predicados. Estos elementos se
introducirán gradualmente de manera de que sea posible comprender adecuadamente el uso de
cada componente del sistema.

2. Simbolización: Alfabeto y Sintaxis

Una vez definidos los componentes de la proposición se plantea su representación simbólica

sobre la base de términos y predicados. Para la simbolización de términos se supone como
base de referencia un dominio genérico, no vacío. Los términos se representan por variables o
constantes, cuyos valores posibles forman parte del dominio anterior.

x, y, z, t, . . . letras de variables, representan cualquier elemento del dominio.

a, b, c, d, . . . letras de constantes, representan elementos concretos del dominio.

4
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

f , g , h . . .o bien, p, q, r,.... , para la simbolización de predicados se utiliza la

notación funcional.

Así, la proposición “Ana es estudiosa”, que en la lógica proposicional se simboliza con p, en

la lógica de predicados se simboliza: p(a), donde
p: x es estudiosa;
a: Ana.

Se denomina forma proposicional o función proposicional, a una expresión que contiene

una o más indeterminadas que, al ser reemplazadas por elementos de un conjunto, llamado
universo del discurso, se transforma en proposición. Así, la construcción de proposiciones
requiere la definición previa de un dominio de términos posibles, es decir un conjunto de
elementos de los cuales sea posible obtener los remplazos de las indeterminadas que se
encuentran en una forma proposicional.

Ejemplo: U = { 1, 2, 3, 4} universo de discurso

p(x) : x es par forma proposicional donde x está indeterminada y puede
tomar los valores del conjunto fijado U, así si x = 1, p(x)
se convierte en:
p(a) :1 es par proposición falsa
p(b) : 2 es par proposición verdadera

Se observa que en “1 es par” y en “2 es par” el predicado se atribuye a sujetos determinados

del universo, en estos casos, las proposiciones se denominan proposiciones singulares. Las
formas proposicionales pueden aparecer negadas, como en el enunciado “x no es par”, que se
simboliza “~p(x)”. También pueden aparecer unidas mediante las conectivas proposicionales
binarias con otras formas proposicionales, o con proposiciones, como por ejemplo, “x es un
número par, pero y es un número primo”, que se simboliza como “p(x)  q(y)”. Si en una
forma compuesta hay por lo menos una forma proposicional como componente, toda la forma
compuesta es una forma proposicional. Por ejemplo, “p(a)  (q(b)  r(x))” es una forma
proposicional porque contiene a “ r(x) ”.

Una forma proposicional es una expresión que contiene una o más indeterminadas
que, al ser reemplazadas por elementos de un conjunto, llamado universo del discurso,
se transforma en proposición. Las formas proposicionales pueden ser singulares o
compuestas (conformadas por una o más singulares).
5
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

Actividad 1: Considerando el concepto y la definición de forma proposicional, responda

los siguientes ítems:
1.1. ¿Qué son y que función cumplen las indeterminadas en una expresión?
1.2. ¿Qué es el conjunto universal, y que función cumple dentro de la lógica de
predicados?
1.3. ¿Cuál es el procedimientos de reemplazo de indeterminadas por constantes y que
efectos produce dentro de una expresión en la lógica de predicados?

Actividad 2: Proponga dos ejemplos de sustitución verdaderos y dos ejemplos de

sustitución falsos para cada una de ellas:
2.1. x es un buen abogado.
2.2. x es mayor o igual que y.
2.3. x es número par múltiplo de 6.
2.4. x es divisor de pero no de z.
2.5. x2 + 2 = 11.

Actividad 3: En cada uno de los siguientes enunciados deberá:

a) Distinguir entre sujetos y predicados.
b) Simbolizarlos.
c) Clasificar las formas proposicionales.
3.1. x es un número.
3.2. 8 es par.
3.3. 5 es un número pero no es par.
3.4. No se da el caso de que x sea par.
3.5. No es cierto que 4 sea impar.
3.6. La Matemática es exacta.
3.7. La Matemática y la Lógica son ciencias formales.
3.8. 2 es par y primo.
3.9. 4 es par o 5 es primo.
3.10. Si 6 es mayor que 3 y 3 es mayor que 2, entonces, 6 es mayor que 2.
3.11. Si x es par, entonces es múltiplo de 2.
3.12. Juan baila el tango.
3.14. x está entre y y z.
3.15. Si Santiago del Estero está al norte de Córdoba entonces está al norte de La Pampa.

6
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

3. Semántica: Conjunto de verdad

Una forma proposicional se convierte en proposición al insertar constantes en los lugares de

las variables. Si como resultado de reemplazar las variables por constantes (y naturalmente,
de constantes iguales en lugar de variables iguales), se obtiene una proposición verdadera,
diremos que los objetos designados por esas constantes satisfacen la forma proposicional
dada. El conjunto formado por las constantes que satisfacen la forma proposicional dada, se
denomina conjunto de verdad. O sea:
P = { a  U / p(a) es V }
En el ejemplo presentado anteriormente:

U = { 1, 2, 3, 4 } universo de discurso
p(x) : x es par forma proposicional
p(a) :1 es par proposición falsa
p(b) : 2 es par proposición verdadera
p(c) : 3 es par proposición falsa
p(d) : 4 es par proposición verdadera

Luego, el conjunto de verdad de la forma proposicional p(x) es P = { 2 , 4 }

El conjunto formado por las constantes que satisfacen la forma proposicional dada, se
denomina conjunto de verdad. Observar que: mientras p(x) está escrito en lenguaje
lógico, P = { 2 , 4 } está escrito en lenguaje de la teoría de conjuntos.

Conjunto de verdad de la forma proposicional p(x): P

{ a  U / p(a) es V } = { a  U / p(a) es F } = { a  U / a  P } = ̅
P

Conjunto de verdad de la forma proposicional p(x)  q(x): P  Q

Sea Q = { a  U / q(a) es V } el conjunto de verdad de q(x).
{ a  U / p(a)  q(a) es V } = { a  U / p(a) es V  q(a) es V } =
={ a  U / a  P  a  Q } = P  Q

Conjunto de verdad de la forma proposicional p(x)  q(x): P  Q

{ a  U / p(a)  q(a) es V } = { a  U / p(a) es V  q(a) es V } =
={aU/aP  aQ} = PQ

7
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

̅Q
Conjunto de verdad de la forma proposicional p(x)  q(x): 𝐏
{ a  U / p(a)  q(a) es V } = { a  U / p(a)  q(a) es V } =
̅  aQ} = P
= { a  U / p(a) es V  q(a) es V } = { a  U / a  P ̅Q

- Compruebe que el conjunto de verdad de la forma proposicional p(x)  q(x) es

(P ̅  P)
̅  Q)  (Q o bien ̅)
̅Q
(P  Q)  (P

Actividad 4: Considere el conjunto universal correspondiente a una forma proposicional

dada y analice el conjunto de verdad relacionado a dicha forma.
4.1. ¿Qué relación hay entre el conjunto universal y el conjunto de verdad?
4.2. ¿Qué diferencia tiene el conjunto de verdad de una forma proposicional monádica
con el conjunto de verdad de una forma proposicional diádica y con una n-ádica?

Actividad 5: Simbolice las siguientes formas proposicionales y determine sus respectivos

conjuntos de verdad:
5.1. U = N ; x + 5 = 8
5.2. U = N ; x2 = 49
5.3. U = Z ; x2 = 49
5.4. U = R ; |x| = 5
5.5. U = R ; |x| < 3
5.6. U = R ; |x|  4
5.7. U = R ; |x + 2| = 4
5.8. U = R ; |x + 2| ≤ 5
5.9. U = R ; |x – 2| > 4
5.10. U = R ; |2x + 6|  10
5.11. U = R ; Si 2x + 3 = 7, entonces |x| ≤ 3
5.12. U = R ; |2x + 1| < 5 y 0  x  4
5.13. U = R ; O bien |x| ≤ 2, o bien |x|  2
5.14. U = R ; |2x| = 10 sí y sólo sí x = 5 ó x = –5
5.15. U = R ; Si 2x + 2 = 4, entonces |x| 4

4. Simbolización Cuantificadores: Alfabeto, Sintaxis y Conjunto de Verdad

Considere el siguiente ejercicio, dado el conjunto universal U = { 1, 2, 3, 4, 5} y las formas
proposicionales:
8
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

a) p (x) : x  5
b) q (x) : x > 5
c) r (x) : x < 4
d) s (x) : x no es par

Encuentre el conjunto de verdad correspondiente.

a) En este caso, si se reemplaza la variable “x” por constantes numéricas cualesquiera de U, se

obtiene siempre una fórmula verdadera. O sea que si P es el conjunto de verdad de p(x), se
tiene que: P = { 1, 2, 3, 4, 5 } = U. Este hecho se expresa del siguiente modo: “Para todo
número “x” del universo, x  5”. La expresión así obtenida es una proposición y, más aún, es
una proposición verdadera, y se la denomina proposición universal. Para simbolizarla, la
lógica usa un operador llamado cuantificador universal: x  U : p(x), o bien x : p(x), que
se lee “para todo x del universo, se verifica la propiedad p”. En el lenguaje corriente las
palabras que están estrechamente relacionadas con el cuantificador universal son, entre otras:
cada, todo, cualquiera, cualesquiera, cada uno, etc.

b) En esta situación, vemos que ningún elemento del universo transforma a la forma
proposicional en una proposición verdadera. Si se denomina Q al conjunto de verdad de q(x),
se tiene que: Q = { }. Se expresa: “Para ningún número x del universo, se verifica que x >
5”, y simbolizamos: x  U : ~q(x); o bien: x : ~q(x). En lenguaje corriente, otras
expresiones son: nada, ninguno, ningún, nadie, etc. Estas expresiones tienen una doble
función, cuantificar universalmente y negar. Así, puede entenderse como el contrario de una
fórmula universal afirmativa.

Mientras que las formas proposicionales no son verdaderas ni falsas, las proposiciones
universales son verdaderas cuando todos los casos de sustitución son verdaderos, y son
falsas cuando hay por lo menos un caso de sustitución falso.

c) En este caso, algunos elementos del conjunto universal satisfacen r (x). Su conjunto de
verdad es: R = {1, 2, 3 }; o sea, R  U. Se expresa: “Existe un x del universo, tal que verifica
que x < 4”. Se simboliza: x  U : r(x); o bien, x : r(x). El operador  se denomina
cuantificador existencial y transforma a la forma proposicional en una proposición
existencial, ya que al anteponer el cuantificador, tiene sentido decir que la expresión es V o F.

9
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

Otras expresiones que originan proposiciones existenciales son: algo, alguien, hay, unos,
alguno, hay cosas, algún, etc.
d) En este caso, algunos elementos del conjunto universal satisfacen ~r (x). Su conjunto de
verdad es: R = {1, 3, 5}; o sea, R  U. Se expresa: “Existe un x del universo, tal que verifica
que x no es par”. Se simboliza: x  U : ~r(x); o bien, x : ~r(x). Estas expresiones tienen
una doble función, cuantificar existencialmente y negar. Así, puede entenderse como el sub-
contrario de una fórmula existencial afirmativa.

Mientras que las formas proposicionales no son verdaderas ni falsas, las proposiciones
existenciales son verdaderas cuando hay por lo menos un caso de sustitución verdadero,
y son falsas cuando todos los casos de sustitución son falsos.

A continuación distinguiremos las proposiciones generales simples y aquellas que se

denominan proposiciones generales complejas donde analizaremos algunos aspectos formales
que son importantes analizar.

Cuantificación Simple

Se denominan proposiciones generales simples a las proposiciones que tienen un único

predicado, y son universales o existenciales. Por ejemplo:

Alguno estudia.
Todos cantan.

Las proposiciones generales simples pueden unirse mediante las conectivas proposicionales
diádicas con enunciados singulares, con funciones proposicionales, o con otras proposiciones
generales. Por ejemplo:
Alguno estudia pero todos aprueban.
Si todos cantan entonces nadie escucha.

Actividad 6: Simbolice los siguientes ejemplos:

a) Todo es perecedero. b) No todo es perecedero.
c) Nada es perecedero. d) Algo no es perecedero.
e) Si Marta llega, todos saldremos. f) Nadie canta.
g) Alguien llega tarde. h) Nadie contesta.
i) Cualquiera escucha música. j) Cada uno mira su celular.

10
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

k) Si unos escriben, otros miran. l) x canta aunque todos estudian.

m) Todo cambia. n) No todos escuchan.
o) Nadie atiende. p) Algunos son primos.
q) Si x grita, todos saldremos. r) Nadie pasa al pizarrón.

Alcance de un cuantificador. Variables libres y ligadas.

Si un cuantificador no va seguido por un signo de puntuación (paréntesis, corchete o llave), su

alcance llega hasta la(s) variable(s) correspondiente(s) a la primera letra de predicado a su
derecha. Por ejemplo, en la forma x : p(x) el alcance del cuantificador llega hasta la x de la
forma ‘p(x)’, y en la forma x : p(x)  q(x) llega hasta la x de ‘p(x)’, y no a la x de ‘q(x)’. Si
el cuantificador va seguido de un signo de puntuación izquierdo, su alcance llegará hasta el
signo de puntuación derecho, o sea, que su alcance se extenderá a toda la expresión encerrada
dentro de los paréntesis, corchetes o llaves. Por ejemplo, en la forma x : (p(x)  q(x)) las
dos veces que la variable se encuentra dentro de los paréntesis cae bajo el alcance del
cuantificador. En la forma x: [(p(x)  q(x)) v h(x)] las tres variables dentro de los
corchetes están en el alcance. Se llaman variables ligadas las variables que caen bajo el
alcance de un cuantificador; y se llaman variables libres aquellas que no caen bajo el alcance
de un cuantificador. Se puede ahora definir forma o función proposicional como aquella
forma cuantificacional que tiene por lo menos una variable libre.

Si un cuantificador no va seguido por un signo de puntuación (paréntesis, corchete o

llave), su alcance llega hasta la(s) variable(s) correspondiente(s) a la primera letra de
predicado a su derecha. Se llaman variables ligadas las variables que caen bajo el
alcance de un cuantificador; y se llaman variables libres aquellas que no caen bajo el
alcance de un cuantificador. Una forma o función proposicional es aquella forma que
tiene por lo menos una variable libre.

Actividad 7: Analice los procedimientos para transformar una forma proposicional en

proposición. Explique los pasos de cada uno de ellos.

Actividad 8: En las siguientes expresiones marque con un círculo las variables libres y
decida si son proposiciones o formas proposicionales.
8.1. x : p(x)  q(x)
8.2. x : (p(x)  q(x))
8.3. x : p(x)  q(x)  r(x)
11
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

8.4.  y : (p(y)  q(y))  r(y)

8.5. p(a)  q(y)
8.6. p(a)  x : q(x)  r(x)
8.7.  y x : x + y = 2
8.8.  x y : p(y)  q(x)  r(y)
8.9. x : x > 3  x + y = 9
8.10.  x: (p(y)  q(y))  y : r(y)

Las proposiciones generales complejas categóricas

Las proposiciones generales complejas son aquellas proposiciones universales o existenciales

que poseen más de una letra de predicado bajo el alcance de un cuantificador universal o
existencial, respectivamente. Ejemplos:

Todas las aves tienen pico, donde se consideran los predicados “ser ave” y “tener pico”.
Algunos alumnos no tienen la guía, donde se consideran los predicados “ser alumno” y “tener
la guía”.

Existe un tipo de proposiciones generales complejas, que son las que la lógica tradicional
denominaba proposiciones categóricas. Hay cuatro tipos de proposiciones categóricas:

Tipo A, o Universales Afirmativas. Son ejemplos de este tipo los siguientes enunciados, que
poseen un mismo significado:

Todas las hormigas son insectos.

Cualquier hormiga es insecto.
Las hormigas son insectos.
Si algo es hormiga, entonces es insecto.

Todos ellos pueden parafrasearse mediante la expresión “para todo x, si x es hormiga,

entonces x es insecto” y simbolizarse mediante la forma: “x : (p(x)  q(x))”, que es la
cuantificación universal de la función proposicional condicional “si x es hormiga, entonces x
es insecto”, o sea “p(x)  q(x)”. Las proposiciones de este tipo son verdaderas cuando todos
los casos de sustitución de la función proposicional “p(x)  q(x)” son verdaderos, y es falsa
cuando hay por lo menos un caso de sustitución que es falso. Son los llamados condicionales
generalizados donde el condicional surge al analizarse la estructura interna de las
12
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

proposiciones, y no como una conectiva que liga dos proposiciones, tal como se da en la
lógica proposicional. En este tipo de enunciados, así como en los que a continuación se
presentarán, no coincide el predicado gramatical con el predicado lógico, pues “ser hormiga”
es para la lógica un predicado, tanto como “ser insecto”, mientras que gramaticalmente
“hormiga” es un sujeto. La lógica tradicional simboliza este tipo de enunciados mediante el
esquema “Todo S es P”, coincidiendo con el análisis gramatical. Al igual que las
proposiciones generales simples, los enunciados de tipo A pueden darse negados, como por
ejemplo: “No todos los elefantes son africanos”, que se simboliza: “~x : (p(x)  q(x))”.

Tipo E, o Universales Negativas. Son ejemplos de este tipo los enunciados.

Ninguna hormiga es insecto.

Las hormigas no son insectos.
Nada que sea hormiga es insecto.

Pueden parafrasearse “Para todo x, si x hormiga, entonces x no es insecto”, y son

simbolizados por la forma “x : (p(x)  ~q(x))”. Tanto el condicional como la negación
surgen del análisis interno de las proposiciones. Como con los de tipo A, estos enunciados
son verdaderos cuando todos los casos de sustitución de la función proposicional “p(x) 
~q(x)” son verdaderos, y son falsos cuando hay por lo menos un caso de sustitución falso. La
lógica tradicional los simbolizaba mediante el esquema “Ningún S es P”. También pueden
darse negados, como el enunciado “No es cierto que ningún elefante es asiático”, que se
simboliza: “~x : (p(x)  ~q(x))”.

Tipo I, o Particulares Afirmativos. Como los enunciados existenciales:

Algunos perros son negros.

Ciertos perros son negros.
Algún perro es negro.
Hay perros negros.

Todas ellas pueden parafrasearse mediante “existe por lo menos un x, tal que x es perro y x es
negro”, y se los simboliza: “x : (p(x)  q(x))”. Es la cuantificación existencial de la función
proposicional compuesta “p(x)  q(x)”. La conjunción es la conectiva que registra más
adecuadamente el significado de este tipo de proposiciones, y no el condicional, pues el
sentido de estos enunciados no es, por ejemplo, afirmar que “existe por lo menos un x, tal que

13
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

si es perro entonces es negro”, sino más bien que “hay por lo menos un x que es a la vez perro
y negro”. Son verdaderos cuando hay por lo menos un caso de sustitución de la función
proposicional “p(x)  q(x)” que es verdadera, y son falsos cuando no hay ningún caso de
sustitución que los hace verdaderos. La lógica tradicional los representaba mediante la forma
“Algún S es P”. Si aparecen negados, como en el enunciado “No es cierto que hay vacas
rojas”, se los simboliza mediante “~x : (p(x)  q(x))”.

Tipo O, o Particulares Negativos. Como los enunciados:

Algunos perros no son negros.

Ciertos perros no son negros.
Algún perro no es negro.
Hay perros que no son negros.

Pueden parafrasease mediante “existe por lo menos un x tal que x es perro y x no es negro”, y
se simbolizan “x : (p(x)  ~q(x))”, donde tanto la conjunción como la negación surgen del
análisis interno de los enunciados. Son verdaderos cuando hay por lo menos un caso de
sustitución de la función proposicional “p(x)  ~q(x)”, que es verdadera, y son falsos cuando
no hay ninguno de ellos que sea verdadero. La lógica tradicional los simboliza mediante
“Algún S no es P”. Pueden darse negados, como el enunciado “No hay pájaros que no
vuelen”, que se simboliza: “~x : (p(x)  ~q(x))”.

Actividad 9: Considerando la definición de cuantificador universal y de cuantificador

existencial:
9.1. Exprese las condiciones para que la vinculación entre un cuantificador universal (o
existencial) y una forma proposicional, se transformen en el símbolo de una proposición.
9.2. Defina, de acuerdo con las características que identifique en la bibliografía y las
explicaciones aportadas en clase:
9.2.1. proposición general simple
9.2.2. proposiciones universales
9.2.3. proposiciones existenciales
9.2.4. proposiciones generales complejas y clasifíquelas

Actividad 10: Use la notación de la lógica de formas proposicionales y cuantificadores

para simbolizar cada una de las siguientes proposiciones.

14
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

10.1. Todos son inteligentes pero algunos no leen las consignas.

10.2. Alguien atiende el teléfono.
10.3. Nadie contesta la llamada.
10.4. Si todos estudian, ninguno desaprueba.
10.5. Algunos no entienden la consigna, no obstante todos la resuelven.
10.6. Ningún alumno estudioso es aplazado.
10.7. Hay alumnos que no leyeron el diario de hoy.
10.8. No todos los alumnos conocen las leyes de la Lógica.
10.9. No todos los números son positivos.
10.10. Algunos números naturales son primos.
10.11. Todo número par es múltiplo de 2 y algunos son divisibles por 6.
10.12. Todos los múltiplos de 6 son múltiplos de 3.
10.13. Algunos números naturales no son múltiplos de 7.
10.14. Cualquier número par es múltiplo de 2 pero algunos son múltiplos de 6.
10.15. Si todos los números negativos son menores que cero entonces algunos son pares.

2. Leyes de la lógica cuantificacional

Las leyes de la lógica son formas de enunciados cuyos casos de sustitución son siempre
enunciados verdaderos. Las leyes de la lógica cuantificacional difieren de las leyes de la
lógica proposicional, en que estas últimas coinciden con las tautologías, mientras que las leyes
cuantificacionales, no. En primer lugar, son leyes de la lógica cuantificacional las
correspondientes de la lógica proposicional, para formas cuantificacionales. Por ejemplo, la
ley de identidad de la lógica proposicional, “p  p” y “p  p”, tiene en la lógica
cuantificacional las siguientes leyes:
p(a)  p(a) ; x : (p(x)  p(x)) ; x : p(x)  x : p(x) ; . . .
p(a)  p(a) ; x : (p(x)  p(x)) ; x : p(x)  x : p(x) ; . . .

En segundo lugar, están las leyes propias de la lógica cuantificacional que no se corresponden
con ninguna ley proposicional y son las que involucran como parte esencial a los
cuantificadores. Se presentan las más importantes:

 Ley de subalternación
x : p(x)  x : p(x)

15
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

 Leyes de Intercambio de cuantificadores

x : p(x)  x : p(x) x : p(x)  x : p(x)
x : p(x)  x : p(x) x : p(x)  x : p(x)

 Leyes de Distribución de cuantificadores

x : (p(x)  q(x))  x : p(x)  x : q(x)
x : (p(x)  q(x))  x : p(x)  x : q(x)
En los otros casos sólo se cumplen implicaciones:
x : p(x)  x : q(x)  x : (p(x)  q(x))
x : (p(x)  q(x))  x : p(x)  x : q(x)

Las leyes de distributividad pueden esquematizase mediante el siguiente hexágono:

x : (p(x)  q(x)  x : p(x)  x : q(x)

x : (p(x)  q(x)) x : p(x)  x : q(x)

x : p(x)  x : q(x ) x : (p(x)  q(x))

x : p(x)  x : q(x)  x : (p(x)  q(x))

El origen de la flecha señala el antecedente y la punta de la flecha el consecuente.

 Leyes de Oposición Aristotélica

x : (p(x)  q(x))  x : (p(x)  q(x))
x : (p(x)  q(x))  x : (p(x)  q(x))
x : (p(x)  q(x))  x : (p(x)  q(x))
x : (p(x)  q(x))  x : (p(x)  q(x))

Actividad 11: Proponga ejemplos de sustitución para las siguientes leyes de la lógica
cuantificacional:
11.1. Intercambio de cuantificadores.
12.2. Leyes de oposición Aristotélica.
16
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

13.3. Leyes de distribución.

14.4. Ley de subalternación.

Actividad 12: Use las leyes de intercambio de cuantificadores para obtener fórmulas
equivalentes:
12.1. x : (p(x)  q(x))
12.2.  x : (p(x)  q(x))
12.3. x : (p(x)  q(x))
12.4.  x : (p(x)  q(x))
12.5. x : (p(x)  (q(x)  r(x)))

Actividad 13: Teniendo en cuenta las leyes de distribución de cuantificadores y las

implicaciones, encuentre cuando sea posible, un enunciado equivalente o una
implicación, para cada uno de los siguientes enunciados:
13.1. Algún número es par y positivo.
13.2. Todo es blanco o todo es negro.
13.3. Algo es eterno o algo es inmóvil.
13.4. Hay pintores y hay escultores.
13.5. Todo se mueve y se transforma.

Actividad 14: Transforme las siguientes fórmulas, siempre que sea posible, mediante la
distribución de los cuantificadores:
14.1.  x : (p(x)  q(x))
14.2. x : (p(x)  q(x)  r(x))
14.3. x : (p(x)  q(x))
13.4.  x : (p(x)  q(x))
13.5. x : p(x)  x : (q(x)  r(x))
13.6. x : p(x)  x : q(x)
13.7.  x : p(x)   x : q(x)
13.8.  x : p(x)   x : q(x)

Actividad 14: Niegue las fórmulas obtenidas en la Actividad 10 y retradúzcalas al

lenguaje coloquial.

17
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

ACTIVIDADES DE AUTOEVALUACIÓN

Actividad 1: Seleccione la opción equivalente a la negación de los siguientes

enunciados:
1.1 Algunas circunferencias no tienen radio positivo

a) No es cierto que toda circunferencia tenga radio positivo

b) Toda circunferencia no tiene radio positivo
c) Una circunferencia siempre tiene radio positivo
d) Ninguna circunferencia tiene radio positivo
e) No hay circunferencias con radio positivo

1.2 Ningún rectángulo es cuadrado

a) Cualquier rectángulo es un cuadrado

b) Algunos rectángulos son cuadrados
c) Hay rectángulos que no son cuadrados
d) Todos los cuadrados son rectángulos
e) Hay cuadrados que son rectángulos

1.3 Algunos caballos no son de paso fino

a) Los caballos no son de paso fino

b) Hay caballos de paso fino
c) Cualquier caballo es de paso fino
d) Existen caballos que no son de paso fino
e) Los caballos no son de paso fino

1.4 No es cierto que todos los árboles no son pinos

a) Hay pinos que son árboles

b) Algunos árboles son pinos
c) Cualquier árbol es pino
d) Ningún árbol es pino
e) Todo árbol es pino

1.5 Todo preso que no haya sido condenado ni absuelto o se entristece terriblemente o
puede llegar al suicidio

18
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

a) Algunos presos no condenados pero absueltos se entristecen terriblemente o llegan

a suicidio
b) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio
c) Hay presos que no han sido condenados ni absueltos que ni se entristecen ni llegan
al suicidio
d) Algún preso no condenado ni absuelto se entristece terriblemente pero no llega al
suicidio
e) Algún preso no condenado ni absuelto si se entristece terriblemente no llegan al
suicidio

1.6 No siempre se da que los estudiantes se interesen en el tema

a) Algunos estudiantes no se interesan en el tema

b) Siempre los estudiantes se interesan en el tema
c) Hay estudiantes que se interesan en el tema
d) Ninguno de los estudiantes se interesa en el tema
e) Hay estudiante que no se interesan en un tema

Actividad 2: Transcriba los siguientes enunciados al lenguaje lógico indicando los

predicados, niegue el enunciado justificando cada paso, y escoja el resultado en lenguaje
corriente del literal enunciado ya negado.

2.1 “Todo preso que no haya sido condenado ni absuelto o se entristece terriblemente o
puede llegar al suicidio”

a) Algunos presos no condenados pero absueltos se entristecen terriblemente o llegan

a suicidio
b) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio
c) Hay presos que no ha sido condenados ni absueltos y ni se entristecen ni llegan al
suicidio
d) Algún preso no condenado ni absuelto se entristece terriblemente pero no llega al
suicidio
e) Algún preso no condenado ni absuelto no llega al suicidio, pero se entristece
terriblemente

19
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

2.2 “Cualquier estudiante que no se interesa en un tema, si lo estudia lo aprende”

a) A) Hay estudiantes interesados en un tema que no lo estudian y lo aprenden

b) B) Existen estudiantes no interesados en un tema que si lo estudian lo aprenden
c) C) Algunos estudiantes no interesados en un tema lo estudian y no lo aprenden
d) D) Hay estudiantes interesados en un tema que si lo estudian lo aprenden
e) E) Hay estudiantes interesados en un tema que lo estudian pero no lo aprenden

2.3 Todo preso que no haya sido condenado ni absuelto o no se entristece terriblemente o
puede llegar al suicidio”

a) Algunos presos no condenados pero absueltos, se entristecen terriblemente pero no

llegan al suicidio
b) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio
c) Algunos presos que no han sido condenados ni absueltos, que se entristecen
terriblemente y llegan al suicidio
d) Hay presos que no ha sido condenados ni absueltos que ni se entristecen ni llegan
al suicidio
e) Algún preso no condenado ni absuelto que si se entristece terriblemente, no llega
al suicidio

2.4 “Todo preso que no haya sido condenado ni absuelto, si no se entristece terriblemente
no llegará al suicidio”

a) Algunos presos no condenados pero absueltos, se entristecen terriblemente o

llegan a suicidio
b) Existen presos condenados o absueltos que ni se entristecen ni llegan al suicidio
c) Algún preso no condenado ni absuelto se entristece terriblemente y no llega al
suicidio
d) Hay presos que no ha sido condenados ni absueltos que ni se entristecen ni llegan
al suicidio
e) Algunos presos que no han sido condenados ni absueltos, no se entristecen
terriblemente, pero llegan al suicidio

20
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

Actividad 3: Prueba de selección múltiple de múltiple respuesta. Resuelva los problemas

y seleccione la respuesta correcta según las siguientes situaciones:

3.1 “Ningún animal cuadrúpedo pone huevo y tiene patas palmípedas”, compruebe a cuál
de los siguientes enunciados es equivalente:

a) Hay animales cuadrúpedos que no ponen huevos y tampoco tienen patas

palmípedas
b) No hay animales cuadrúpedos que pongan huevos y tengan patas palmípedas
c) Los animales cuadrúpedos ni ponen huevos ni tienen patas palmípedas
d) Los animales cuadrúpedos si ponen huevos, entonces no tienen patas palmípedas

3.2 La negación del enunciado “el cuadrado de cualquier número primo es par” es:

a) Ningún número primo al cuadrado es par

b) Existen números primo al cuadrado que no son es pares
c) Siempre es par el cuadrado de un número primo
d) Algunos números primos al cuadrado son impares

3.3 La negación del enunciado “cualquier alimentos si tiene grasa animal, produce
colesterol, por consiguiente no debe consumirse diariamente” es:

a) Existen alimentos que tienen grasa animal, produce colesterol y por consiguiente
no debe consumirse diariamente
b) Hay alimentos que como producen colesterol no tienen grasa animal, pero se
consumen diariamente.
c) Un alimento tal que si tiene grasa animal, produce colesterol y se consume
diariamente.
d) Algunos alimentos tienen grasa animal, producen colesterol, por consiguiente no
debe consumirse diariamente

3.4 La negación del enunciado “hay estudiantes irresponsables pero inteligentes que no
son buenos profesionales, pero desempeñan buenos cargos” es equivalente a:

a) Ningún estudiante irresponsable e inteligente desempeña buenos cargos sin ser

buen profesional

21
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

b) Ningún estudiante irresponsable e inteligente si no es buen profesional no

desempeña buenos cargos
c) Ningún estudiante irresponsable e inteligente, cuando no es buen profesional no
desempeña buenos cargos
d) Ningún estudiante irresponsable e inteligente si desempeña buenos cargos es buen
profesional

3.5 La negación de enunciado: “hay estudiantes irresponsables pero inteligentes que no

son buenos profesionales, pero desempeñan buenos cargos”, es equivalente a:

a) Ningún estudiante irresponsable e inteligente desempeña buenos cargos sin ser

buen profesional
b) Ningún estudiante irresponsable e inteligente si no es buen profesional
desempeñará buenos cargos
c) Cualquier estudiante irresponsable e inteligente si desempeña buenos cargos es
buen profesional
d) Ningún estudiante irresponsable e inteligente, si no es buen profesional,
desempeñará buenos cargos

Actividad 4: Exprese en lenguaje simbólico los siguientes enunciados.

4.1 Ningún triángulo equilátero puede ser isósceles

4.2 Los perros grandes que ladran no muerden

4.3 Los países violentos padecen de hambre y miseria

4.4 No todos los hombres y mujeres tienen la capacidad de abstraer

4.5 Cualquier ser humano que sea estudioso, amable, razonable e inteligente puede llegar
a ser un buen profesional y ocupar altos cargos

4.6 Un animal agresivo no puede servir de mascota de niños

4.7 Hay seres carnívoros que no son animales

4.8 Existen seres inteligentes que no son domésticos, pero sirven de mascota para los
invidentes.
22
 Lógica I – Guías N° 3 – Licenciatura en Sistemas de Información

4.9 Los estudiantes irresponsables si son inteligentes pueden ganar las materias y ser
promovidos al siguiente curso.

4.10 Existen perros criollos que ladran y no muerden, pero si son molestados pueden
morder ferozmente.

4.11 Para todo número entero hay otro entero tal que al sumarlos resulta cero

4.12 La suma de cualquier número entero con cualquiera otro entero es cero

4.13 Algunos perros que ladran echados, si son criollos, muerden

4.14 Las mujeres, si les dan la oportunidad, mandan en el hogar

4.15 Cualquier alimento de grasa animal produce enfermedades del corazón

23