ÁLGEBRA Y

GEOMETRÍA Lucía Hilal

ANALITICA
UNIVERSIDAD CATÓLICA DE
SANTIAGO DEL ESTERO Guías Teórico
INGENIERÍA EN ELECTRÓNICA Prácticas
INGENIERÍA EN INFORMÁTICA
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

UNIVERSIDAD CATÓLICA DE SANTIAGO DEL ESTERO

INGENIERÍA EN INFORMÁTICA
ÁLGEBRA Y GEOMETRÍA ANALÍTICA
UNIDAD Nº1: INTRODUCCIÓN A LA LÓGICA SIMBÓLICA
Objetivos: - Traducir desde el lenguaje natural al simbólico y formal
- Manejar enunciados y expresiones que contengan símbolos y fórmulas
Interpretar y Relacionar los conceptos de razonamiento deductivo, identificar
las formas de razonamientos, analizar su validez
- Demostrar la validez de un razonamiento

Bibliografía:
- Copi Irving M. LÓGICA SIMBÓLICA. Continental. 2002
- Gianello de Salama, Alicia. INTRODUCCIÓN A LA LÓGICA SIMBÓLICA
Y A LA METODOLOGÍA DE LAS CIENCIAS. Ediciones Cooperativas 2004

GUIA DE TRABAJOS TEÓRICO PRÁCTICO N°1: INTRODUCCIÓN A LA LÓGICA

SIMBÓLICA
GUIA Nº 1.1: LÓGICA DE LAS PROPOSICIONES
La lógica es una ciencia formal, o sea, una ciencia que no se interesa ni por los
contenidos del pensamiento, ni por el contenido de las expresiones del pensamiento, sino
por sus formas, por sus estructuras. Los objetos lógicos, son pues, las estructuras
lógicas: en especial, las estructuras lógicas de las que se vale la ciencia para elaborar y
expresar el conocimiento científico, y, en general, cualquier tipo de conocimiento.

La lógica deductiva es la ciencia que estudia los métodos y principios que

permiten diferenciar un razonamiento válido de un inválido.

El lenguaje constituye un sistema de signos muy complejo. Los signos o combinaciones

de signos lingüísticos forman expresiones lingüísticas, como lo son por ejemplo, las
palabras, las frases y las oraciones.
Las oraciones, en particular, cumplen diversas funciones. Las denominadas
proposiciones o enunciados, son aquellas que tienen una función informativa, las cuales
se caracterizan porque afirman o niegan algo, como por ejemplo, Hoy es martes o Seis
es un número primo es decir, se caracterizan porque de ellas tiene sentido decir que son
verdaderas o falsas. Del primer ejemplo se puede decir que es verdadero; del último, en
cambio, que es falso.

Para la LÓGICA se consideran proposiciones, aquellas expresiones lingüísticas que

tienen una función informativa. De ellas tiene sentido decir si son verdaderas o falsas.
Ejemplo: Consideramos las siguientes oraciones.-

2
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

-¿Por qué no atienden?

-Silencio
-Los alumnos atienden las explicaciones
-Hoy es martes
-El número dos es par

Se trata de cinco oraciones diferentes: una interrogativa, una imperativa y tres

declarativas. Una pregunta puede formularse o no, una orden puede ser cumplida o no.
En cambio de las tres últimas que son declarativas, tiene sentido decir si son V ó F.
ACTIVIDAD 1: Indicar cuáles de las siguientes expresiones son proposiciones y cuáles
no.
Ej. : ¡Aléjate!
Respuesta: No es una proposición por ser orden
1. ¿Haremos recreo?.
2. Esta materia es cuatrimestral.
3. Estoy contestando mis mensajes.
4. ¡ Que calor hace!.
5. Hace calor.
6. ¿ Cuándo nos vamos?.
7. X es un número impar
8. Todo número par es divisible por dos.
9. En el movimiento uniforme la velocidad es constante.
10. ¡Si yo pensara!
11. La aceleración de un móvil es proporcional a la fuerza que la produce
12. Una proposición es, o bien verdadera o bien falsa.
13. Una pregunta no es una proposición.
14. La fuerza de gravedad atrae los cuerpos hacia la tierra
15. Cuáles son los estados de la materia?

PROPOSICIONES SIMPLES Y COMPUESTAS

Clasificaremos las proposiciones en: simples o atómicas (PS) y compuestas o
moleculares (PC).
Una proposición simple o atómica (PS) es una proposición que no contiene dentro de sí
ninguna otra proposición.
Ejemplos: El sol sale por el este.
La suma de dos números naturales es otro natural.

3
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

Una proposición compuesta o molecular (PC) es aquella que contiene dentro de sí otras
proposiciones (por lo menos una).
Ejemplos: Hoy no llueve. (contiene la proposición “hoy llueve”)
Hoy llueve y hace frío. (contiene a las proposiciones “hoy llueve” “hace frío”)
Hoy llueve o hace frío.
Si hoy llueve entonces hace frío.
Hoy llueve si y sólo si hace frío.
Estas proposiciones moleculares se han construido con una (en el primer ejemplo) y dos
proposiciones atómicas y términos de enlace .-Los términos de enlace "y" , "no" , "o" ,
"si...entonces" y "si y solo si" no forman parte de ninguna de las proposiciones atómicas .-
Se han añadido a ellas para construir una proposición molecular.-
ACTIVIDAD 2: Indicar cuáles de las siguientes proposiciones son compuestas y cuáles
son las proposiciones que la componen.

1. La clase comienza a las ocho horas.

2. No tenemos clase de Algebra.
3. O apruebo el parcial, o rindo el recuperatorio.
4. La clase comienza a las ocho horas y yo llegué tarde.
5. Se retiran temprano, si terminan de hacer la tarea.
6. Si resuelvo estos ejercicios correctamente, paso a la siguiente actividad.
7. Es tarde.
8. Es tarde pero no me di cuenta.
9. Apruebo el examen si y solo si estudio.

SINTAXIS DE LAS FÓRMULAS PROPOSICIONALES

La sintaxis describe como escribir las proposiciones en el lenguaje simbólico.
Los ejemplos dados se encuentran en lenguaje coloquial que, generalmente, resulta de
difícil manejo, por lo cual la Lógica tiene su propio lenguaje para simbolizar las
proposiciones y los conectivos: lenguaje simbólico. Las proposiciones se representan con
las letras p, q, r...... que se denominan variables proposicionales y los conectivos con los
signos:  ,  ,  ,  ,  , u otros, según las convenciones adoptadas por cada autor
Ejemplo: Hasta ahora comprendo las explicaciones. se simboliza: p
Canto y bailo. se simboliza: p  q
A efectos de interpretación de la relación entre conectivos y variables proposicionales,
cuando hay más de una conectiva se definen las reglas siguientes:
Una conectiva afecta a las letras proposicionales inmediatas o a algún conjunto de letras
y símbolos inmediatos a ellos entre paréntesis.

4
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

Para evitar el exceso de paréntesis se define jerarquía entre conectivas

NIVEL1 
NIVEL2  , 
NIVEL3 
NIVEL 4 
Por ejemplo, ( pq )  ( r  s ) puede escribirse p q  r  s
( pq )  ( rs ) puede escribirse pq  rs.
 pq ( conjunción) no es lo mismo que  ( pq) ( negación)

ACTIVIDAD 3: Escribir en lenguaje lógico las proposiciones de la actividad 2.

CUADRO RESUMEN
Conectivo Operación Asociada Significado Tabla de Verdad
 conjunción p y q, (pero, aunque, a la vez
no obstante , sin embargo)
 disyunción p o q (en sentido incluyente)
o p , o q ; q a menos que p
 negación no p, no es cierto que p,
no ocurre que p
 condicional si p entonces q; p implica q,
p solo si q; q si p; cuando p, q
p es suficiente para q
q es necesario para p
 bicondicional p si y solo si q , p es suficiente y
necesario para q

ACTIVIDAD 4: Proponer ejemplos de oraciones que no sean proposiciones.

ACTIVIDAD 5: Escribir cinco proposiciones atómicas y luego formar con ellas diez
proposiciones moleculares.
ACTIVIDAD 6.: Considerando las expresiones que representan condicionales, escriba de
cinco maneras distintas en lenguaje coloquial un condicional donde el antecedente esté
dado por la proposición me aburro, y el consecuente por la proposición resuelvo estas
actividades.

ACTIVIDAD 7: Colocar paréntesis (si fuera necesario) para que la fórmula lógica
corresponda a la proposición que se indica en cada caso:
7.1.-Condicional: p  q  r s
7.2.-Conjunción: p  q  r s
7.3.-Negación: ~ p q  r
7.4.-Disyunción: p q  r

5
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

7.5.-Bicondicional: p r  q  r
7.6.-Negación: ~ p  q r
ACTIVIDAD 8: Dadas las siguientes proposiciones, simbolizarlas en términos de la lógica
proposicional. Usar paréntesis cuando sea necesario.

1. La palanca es una barra rígida que puede girar alrededor de un punto fijo.
2. Si apruebo los parciales prácticos y teóricos, promociono esta asignatura y, además
comprendo los temas.
3. O bailo y canto o, miro el espectáculo.
4. A la vez, bailo o canto, y miro el espectáculo

ACTIVIDAD 9: Traducir al lenguaje corriente cada una de las siguientes fórmulas lógicas
considerando que p sustituye a la proposición: Estoy en la clase de lógica, q: Presto
atención, r: soy alumno de primer año, s: Este es un ejercicio lógico.

1. ( p  r )  ~ q
O, si estoy en la clase de lógica soy alumno de primer año o, no presto atención
2. ~ p  r  ~ q
3. ~ ( p  r  ~ q )
4. q  ( p  r )
5. ( p  ~ r )  ( q  s )
6. ~ p  q  r
ACTIVIDAD 10: Con las siguientes proposiciones atómicas simbolizadas con las letras p,
q y r, se formaron proposiciones moleculares. Simbolizar las mismas usando paréntesis
en caso necesario.
p: Escucho música.
q: Estoy enamorado.
r: Soy feliz
1. Escucho música pero no soy feliz. p~r
2. No estoy enamorado aunque soy feliz.
3. Escucho música o no la escucho.
4. O escucho música o no soy feliz.
5. No ocurre que estoy enamorado.
6. No ocurre que, o estoy enamorado o soy feliz.
7. No es cierto que , escucho música y soy feliz.
8. Si estoy enamorado, escucho música.

6
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

9. Si escucho música y estoy enamorado, soy feliz.

10. Escucho música y, si estoy enamorado, soy feliz.
11. Si estoy enamorado entonces escucho música y soy feliz.
12. Estar enamorado implica no ser feliz.
13. Escucho música o, si no escucho entonces no soy feliz.
14. Si escucho música o no la escucho, soy feliz.

DEFINICIÓN SEMÁNTICA DE CONECTIVAS

Intuitivamente podemos afirmar que la semántica nos informa el significado de las

proposiciones en el mundo real. Las conectivas generan un significado de las frases
compuestas a partir de las proposiciones componentes que conectan. Para ello se
utilizarán tablas de relación entre significados de las proposiciones componentes y la
compuesta por cada conectiva, estas tablas se denominan TABLA DE VERDAD.
Se denomina interpretación de una fórmula a una asignación de significados a sus
fórmulas componentes básicas. Una interpretación es una línea de la tabla de verdad de
la fórmula.

TABLAS DE VERDAD DE LAS OPERACIONES LOGICAS: DEFINICIONES

NEGACIÓN
La negación de una proposición sustituida por la variable p es la proposición no p, p
cuya tabla de valores de verdad es :

P p
V F
F V

CONJUNCIÓN

P q pq
V V V
V F F
F V F
F F F

La conjunción de dos proposiciones es V si y solo si ambas proposiciones son

verdaderas; en todo otro caso es F. Es una operación binaria o diádica porque a partir de
dos proposiciones atómicas obtenemos una molecular.

7
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

DISYUNCIÓN
Una disyunción es una proposición compuesta formada por el término de enlace " o”.
Esto significa que en cualquier disyunción, por lo menos una de las dos prop. es
verdadera y quizás ambas. Hay cuatro combinaciones posibles de valores de verdad:

p q pq
V V V
V F V
F V V
F F F

CONDICIONAL ( pq )

Los elementos del condicional se denominan antecedente y consecuente

La tabla de valores de verdad es:

p q pq
V V V
V F F
F V V
F F V

BICONDICIONAL ( p q )

El bicondicional, solo es verdadera si ambas proposiciones tienen el mismo valor de

verdad.

p q pq
V V V
V F F
F V F
F F V

El bicondicional puede definirse como la conjunción de un condicional y su recíproco. De

este modo la tabla de valores de verdad de pq, puede obtenerse mediante la tabla de
( pq )  (qp ).

p q pq qp (p  q)  (q  p)
V V V V V
V F F V F
F V V F F
F F V V V

Para encontrar el valor de verdad de una fórmula bien formada cualquiera, tenemos dos
opciones:

8
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

a).- DIAGRAMA DE VALORES DE CERTEZA (o de verdad)

Independientemente de la longitud y de lo complicada que sea una proposición
molecular, se pueden hallar sus valores de certeza si se conocen los valores de certeza
de sus partes.-
Sea por ejemplo la fórmula ( p  q )  r donde p y r son V y q es F , el diagrama tendrá
la forma ( p  q)  r
F V V
V V
Se comienza con las variables atómicas, luego el conectivo de menor alcance y se
continúa hasta el término de enlace final.-
EJERCICIO:- construir un diagrama para ( p  q  p)  ( r  s) donde p y q son V y
r y s son F

b).- TABLAS DE VALORES DE VERDAD

Si no se conocen los valores de verdad de sus partes, se utilizan mecanismos de
decisión dados por tablas de verdad. Las tablas son exhaustivas operaciones lógicas
cuyos resultados pueden tener distintas formas:-
Forma Tautológica:- Su valor de certeza es V, independientemente de los valores de
certeza de las proposiciones atómicas. Decimos que la fórmula es un tautología.
EJEMPLO DE TAUTOLOGIA

( p  q)   p  q

Forma Contingente: Las valoraciones son V y F, es una función de verdad, porque los
valores dependen de los valores de V de las proposiciones. La fórmula es una
contingencia.

EJEMPLO DE CONTINGENCIA
 p  q  r

Forma Contradictoria: tiene siempre el valor F independientemente del valor de verdad

de las variables. Decimos que la fórmula es una contradicción.

9
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

EJEMPLO DE CONTRADICCION:
p   p

ACTIVIDAD 11 Construir un diagrama de valores de verdad para cada fórmula de la

actividad 9 sabiendo que p es V, q , r son F , s es V

ACTIVIDAD 12.Construir una tabla de valores de verdad para cada una de las fórmulas
obtenidas en la actividad 10 y clasificarlas

EQUIVALENCIA LÓGICA
Dos proposiciones son equivalentes cuanto tienen las mismas tablas de Valores de
Verdad ó bien, cuando al componerlas con el bicondicional, da una tautología.

ACTIVIDAD 13: Escribir ejemplos de fórmulas equivalentes

LEYES LÓGICAS

En el cálculo proposicional se utilizan equivalencias lógicas, entre ellas las siguientes:

1)- Involutiva: ~~ p  p

2.Idem Potencia p  p  p ; p  p  p

3.Trasposición ( p  q )  ( ~ q  ~ p )
4.Conmutatividad ( p  q )  ( q  p )

(pq)(qp)

5. Asociatividad [ p  ( q  r ) ]  [ ( p  q )  r ]

[p(qr)][(pq)r]

6. Distributividad de la conjunción con respecto a la disyunción

[ p  ( q  r )]  [ ( p  q )  ( p  r )]

10
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

7. Distributividad de la disyunción respecto de la conjunción

[ p  ( q  r )]  [ ( p  q )  ( p  r )]
8. Distributividad del condicional con respecto de la conjunción

[ p  ( q  r )]  ( p  q )  ( p  r )

9. Distributividad del condicional con respecto de la disyunción

[ p  ( q v r )]  ( p  q )  ( p  r )
10. De Morgan :
~(pq)(~p~q)

~(pq)(~p~q)

11. Exportación: [ ( p  q )  r ]  [ p  ( q  r )]

12. Absorción :
p  [ p  ( p  q )]

p  [ p  ( p  q )]
13. Negación de un condicional:  ( p  q)  ( p  q)p q

ACTIVIDAD 14: Demostrar las leyes lógicas

ACTIVIDAD 15: Simbolizar las siguientes proposiciones, negar las fórmulas obtenidas y
retraducirlas al lenguaje coloquial
1. Apruebo esta materia pero no estudié para el parcial.
2. Si el movimiento es uniformemente acelerado, entonces la velocidad no es constante.
3. Trabajo en grupo o desarrollo los temas en el pizarrón.
4. Si hoy es miércoles, tenemos Álgebra y Dibujo.
5. Estudio y a la vez, tomo mate o café.
6. Si el número es múltiplo de seis entonces es múltiplo de dos y de tres

11
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

GUIA Nº 1.2: RAZONAMIENTOS PARA LA LÓGICA PROPOSICIONAL

La lógica deductiva es la ciencia que estudia los métodos y principios usados para
distinguir el razonamiento correcto del incorrecto.
El razonamiento se define como el conjunto de proposiciones, en el cual, una de
ellas se pretende que esté fundada sobre la base o a partir de las demás.
Ejemplo:
Si estudio, entonces apruebo.
Estudio.
Por lo tanto, apruebo

Todo razonamiento tiene una estructura cuyas componentes son:

- Las proposiciones, una o más, de las que se parte se denominan PREMISAS.
Las premisas están encabezadas por expresiones como: "puesto que", "porque", "pues",
"ya que", "como", "pero", etc.
- La proposición a la que se arriba se denomina CONCLUSIÓN.
La conclusión está encabezada por expresiones como: "luego", "por lo tanto", "en
consecuencia", "por ende", "así", "podemos inferir", etc.
Las expresiones que encabezan premisa y conclusión son llamadas EXPRESIONES
DERIVATIVAS.

Entre los razonamientos distinguimos los deductivos y los no deductivos. Los

DEDUCTIVOS pueden caracterizarse como aquellos razonamientos en los que se
pretende que la conclusión se infiera en forma NECESARIA de las premisas. En los NO
DEDUCTIVOS, en cambio la conclusión se infiere con cierto grado de PROBABILIDAD,
no con necesidad.
NOTA: En este curso estudiaremos los razonamientos deductivos.

ACTIVIDAD 16: Indicar cuáles de los siguientes razonamientos son deductivos:

1.- Ya he encontrado tres muebles de la sala apolillados. Luego es probable que también
lo estén los restantes muebles de la sala.
2.- Si llueve hace frío. No hace frío, luego no llueve.
3.- He oído decir a varias personas, que poseen auto de la misma marca del mío, que
han tenido problemas con el motor. Pienso, por eso, que el mío también podrá tenerlos.

12
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

RAZONAMIENTOS Y FORMAS DE RAZONAMIENTOS

Para obtener la estructura de un razonamiento deductivo, necesitamos abstraer su forma
lógica sin considerar el contenido informativo de sus proposiciones y de sus términos
(conectivos).-
La forma lógica de un razonamiento debe abstraerse de acuerdo con las reglas de la
lógica proposicional: usamos letras minúsculas de la parte media del alfabeto, como
variables proposicionales y cada término de conectivo por el correspondiente signo lógico
que lo abstrae.-
Ejemplo:

Razonamiento Forma lógica

Si estudio, entonces aprendo pq
Si aprendo, entonces apruebo qr
Luego: si estudio, entonces apruebo. pr

VALIDEZ e INVALIDEZ

Un razonamiento es válido cuando constituye un ejemplo de sustitución de una forma

válida de razonamiento. Una forma de razonamiento es válida cuando sus premisas y
conclusión están relacionadas de modo tal que es absolutamente imposible que las
premisas sean verdaderas, a menos que la conclusión lo sea también.
Luego, la validez de un razonamiento deductivo no depende del contenido informativo de
las proposiciones que lo integran, sino de su forma lógica.

MÉTODO DEL CONDICIONAL ASOCIADO PARA DETERMINAR LA VALIDEZ

Dado un razonamiento, si construimos un condicional cuyo antecedente sea la
conjunción de las premisas y su consecuente, la conclusión del razonamiento, ocurrirá
que si el razonamiento es válido, el condicional construido será una TAUTOLOGÍA y
recíprocamente, si el condicional es tautológico, entonces el razonamiento que le dio
origen será válido.
Luego, un razonamiento es válido si y solo si el condicional asociado a su forma lógica es
tautológico.
Este método tiene la ventaja de ser un procedimiento mecánico que permite determinar la
validez de un razonamiento en forma simple. La desventaja se presenta cuando hay que
trabajar con muchas variables.

13
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

ACTIVIDAD 17: Construir el condicional asociado a la forma del razonamiento dado en la

página anterior y determinar si dicha forma es válida.

ACTIVIDAD 18: Determinar la validez o invalidez de cada uno de los siguientes

razonamientos

1-El lago del Embalse de Río Hondo se contamina si y solo si los ingenios tucumanos
arrojan sus residuos a los ríos. Dirección de Saneamiento ambiental no realiza
inspecciones.
Si los ingenios tucumanos arrojan sus residuos, Dirección de Saneamiento realiza
inspecciones.
Por consiguiente, el lago del embalse no se contamina.

2- Si hay una obstrucción en la línea o la señal luminosa es roja, el tren se detendrá

antes de llegar al puente. El tren no se detiene antes de llegar al puente. Luego, no hay
obstrucción en la línea.

3- La propiedad es valiosa ó la compañía no hubiera ofrecido comprarla. O bien las

apariencias no son dignas de confianza o la propiedad no es valiosa. La compañía ofreció
comprar la propiedad. Luego, las apariencias no son dignas de confianza.

ACTIVIDAD 19- Determinar si las siguientes formas de razonamiento son válidas o no

a)  ( p  r ) b) p q c) p q r
qr q r q
q p  r p  q
.
p r q

14
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

GUIA Nº 1.3: LÓGICA DE PREDICADOS

ESTRUCTURA DE LAS PROPOSICIONES

Consideremos el siguiente razonamiento:

Todos los hombres son mortales.

Sócrates es hombre.
Luego, Sócrates es mortal.
Esta estructura deductiva, tratada con el simbolismo de la lógica proposicional, tendría la
siguiente representación simbólica:

p
q

Si se construye el condicional asociado, la relación entre premisas y conclusión que hace

la deducción correcta, no puede detectarse con este nivel de representación.
Esto se debe a que 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), por ello, para tratar
matemáticamente 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
componentes, es decir:
 Qué se afirma.
 De quién o quiénes se afirma

El primer elemento se define como el predicado y el segundo, como los sujetos o

términos. Así en la frase:
 Juan es negro.

“Es negro” es el predicado y “Juan” el sujeto o término de la proposición. Puede haber

proposiciones con varios términos, por ejemplo:
 Juanita está en clase entre Pedro y Manuela.

En este caso el predicado es “-- está en clase entre -- y --” y los términos son Juanita,
Pedro y Manuela.

15
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

Los predicados que se refieren a un único término se denominan predicados absolutos o

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, etc.).

SIMBOLIZACIÓN EN LA LÓGICA DE PREDICADOS

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

matemática en base a 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.
Para la simbolización de predicados p, q, r. . .

Definición: 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 fijado (dominio de la variable) se transforma en proposición.
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

Actividad 20: Simbolizar las siguientes formas proposicionales y proponer dos ejemplos
de sustitución verdaderos y dos ejemplos de sustitución falsos para cada una de ellas:

1.- x es estudiante de la UCSE

2.- x es alumno de Álgebra y Geometría Analítica

3.- x es número impar.

4.- x es múltiplo de 2

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

*)Distinguir las formas proposicionales de las proposiciones.
**)Señalar y simbolizar los sujetos y los predicados.
***)Traducirlos al lenguaje simbólico de la lógica de predicados.
1.- x es un número.

16
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

2.- x no es un número.

3.- 7 es un número impar.

4.- x es un número par.

5.- 5 es un número primo pero no es par.

6.- No se da el caso de que x sea un número par.

7.- No es cierto que 4 sea un número impar.

8.- La Matemática es exacta.

9.- La Matemática y la Lógica son exactas.

10.- La Lógica es exacta y bivalente.

11.- x es múltiplo de y.

12.- x es múltiplo de 3.

CONJUNTO DE VERDAD

El conjunto formado por las constantes del universo que satisfacen la función
proposicional dada, se denomina conjunto de verdad. O sea:
P = { a  U / p(a) es V }
Actividad 22: Simbolizar las siguientes formas proposicionales y determinar sus
respectivos conjuntos de verdad:

1.- U = N ; x + 3 = 8

2.- U = Z ; 3 - x = 8

3.- U = N ; x2 = 25

4.- U = Z ; x2 = 25

5.- U = Z ; x + 2 = 8

CUANTIFICADORES
Consideremos el siguiente ejercicio:

 Dado el conjunto universal U = { x / x es un nro. dígito } y las funciones

proposicionales:

a) p (x) : x  9
b) q (x) : x > 9

17
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

c) r (x) : x < 5

Encontrar el conjunto de verdad correspondiente.

a) En este caso, se trata de una función proposicional que contiene una variable, “x” y
que es satisfecha por cualquier número perteneciente a U; si colocamos constantes
numéricas cualesquiera en lugar de “x” obtenemos siempre una fórmula verdadera. O
sea que si llamamos P al conjunto de verdad de p (x) tenemos que:
P = { 0, 1, . . ., 9} = U. Expresamos este hecho del siguiente modo:

“Para todo número x del universo, x  9”.

La expresión así obtenida es una proposición y, más aún, 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 universal, se verifica la
propiedad p”

En el lenguaje corriente no se hace uso, por lo general, de variables sino de ciertas

palabras que están estrechamente relacionadas con los cuantificadores; son, entre otras:
cada, todo, cualquiera, cualesquiera, cada uno, etc.

b) Analizando esta situación, vemos que ningún elemento del universal transforma a la
función proposicional en proposición verdadera. Si llamamos Q al conjunto de verdad de
q(x) tendremos:
Q={ } Expresamos: “Para todo número x del universo, se verifica x no es mayor
que 9”
y simbolizamos: x  U : ~ p(x) o bien x : ~ p(x)
En lenguaje corriente otras expresiones son: ninguno, ningún, nadie, nada, etc. Estas
tienen una doble función, cuantificar universalmente y negar.
c) En este caso, algunos elementos del conjunto universal satisfacen r (x). Su conjunto
de verdad es:

R = { 1, 2, 3, 4 } o sea R  U
Enunciamos: “Existe un x del universo tal que verifica x < 5”
Simbolizamos:  x  U : r (x) o bien x : r (x)

18
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

El operador  se denomina cuantificador existencial y transforma a la función

proposicional en una proposición existencial ya que al anteponer el cuantificador, tiene
sentido decir que es V o F.
Otras expresiones que originan proposiciones existenciales son : algo, alguien, hay, unos,
alguno, hay cosas, algún, etc.
Mientras que una función proposicional no es verdadera ni falsa, las proposiciones
existenciales son verdaderas cuando hay por lo menos un caso de sustitución que sea
verdadero y son falsas cuando no hay ningún caso de sustitución que la haga verdadera.

CUANTIFICACIÓN SIMPLE
Se denominan proposiciones generales simples las proposiciones que tienen un único
predicado, y son universales o existenciales.
Las proposiciones generales simples pueden unirse mediante las conectivas
proposicionales diádicas con enunciados singulares, con funciones proposicionales, y con
otras proposiciones generales. Simbolizaremos los siguientes ejemplos:
a) Todo es perecedero.
p(x) : x es perecedero x : p(x)
b) No todo es perecedero.
~ x : p(x)
c) Nada se mueve.
m(x) : x se mueve x : ~ m(x)
d) Alguien no es perfecto.
q(x) : x es perfecto x : ~ q(x)
e) Si Marta llega, todos saldremos.
p(a) : Marta llega q(x) : x sale
p(a)  x : q(x)

Actividad 23: Simbolizar las siguientes proposiciones que contienen cuantificadores

considerando como universo el conjunto de alumnos de este curso:
1. Todos llegaron a tiempo
2. Algunos estudian pero otros no
3. Hay alumnos estudiosos
4. Ninguno fuma en clase
5. Todos estudian aunque algunos no aprueban
6. Unos preparan la teoría o todos se reúnen por las tardes

19
Algebra y Geometría Analítica Ingeniería en informática-Ingeniería en Electrónica

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.
En cambio, 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.

Actividad 24: Dadas las siguientes formas cuantificacionales, indicar cuáles representan
funciones proposicionales, y marcar sus variables libres:
1.- x : p(x) ^ q(x)

2.- x : (p(x) ^ q(x))

3.-  x / p(x) v q(x)

4.- x : (p(x) ^ q(x)) v q(x)

Actividades de Autoevaluación
1º) Dado los siguientes enunciados:
a) Los alumnos aprueban y están contentos o no resolvieron este ejercicio
b) Si los números reales se representan sobre la recta entonces este es un ejercicio
lógico
1.1) Exprese en lenguaje lógico (indicar las variables que sustituyen a cada
proposición)
1.2) Niegue cada fórmula obtenida
1.3) Retraduzca las fórmulas encontradas en 1.2 al lenguaje coloquial.

2º) Encuentre el valor de verdad de la siguiente fórmula lógica sabiendo que p, q , son
variables que sustituyen enunciados verdaderos, y, r ,s, falsos.
 ( p  ( q  r   p )  ( p   r ) )
3º) Escriba en lenguaje simbólico la siguiente proposición molecular y clasificarla usando
tablas de valores de verdad:
Juan estudia y no sale a bailar

20