Nociones de Lógica

Universidad Nacional de Avellaneda – Licenciatura en Ciencias Ambientales
Matemática I
Unidad 1: Nociones de lógica

Introducción

En la mayoría de las ciencias y en particular en cualquiera de las ramas de la matemática es
habitual trabajar analizando datos para poder extraer conclusiones, pero para evitar ambigüedades
se utilizan símbolos que dan precisión y que definen lo que se ha dado en llamar Lógica Simbólica
ó Matemática

En esta unidad desarrollaremos algunos de los conceptos de la Lógica Simbólica.

Proposición

Definición:
Diremos que una proposición es un enunciado del cual tiene sentido preguntarse si es verdadero o
falso.

Por ejemplo: “Jonathan Swift es el autor del libro “Los viajes de Gulliver”” es una proposición,
pues tiene sentido preguntarse si lo que se afirma es verdadero o falso. En este caso, Jonathan
Swift escribió el libro “Los viajes de Gulliver”. Entonces, podemos decir que es una proposición
verdadera.

Aquí vale aclarar que una proposición es verdadera o falsa aunque nosotros no sepamos la
respuesta. Si decimos: “El mercurio es un metal” aunque no sepamos si es verdadero, es una
proposición porque tiene sentido preguntarse si es verdadero o falso.

En cambio: “Detente” no es una proposición, no tiene sentido preguntarse si es verdadera o falsa,
es una orden y las órdenes no son ni verdaderas ni falsas.

• Actividad 1
Teniendo en cuenta la definición de proposición que acaba de leer determine cuáles de las
siguientes oraciones son proposiciones

1. ¿Qué hora es?
2. Todos los números naturales son pares
3. Prohibido estacionar de lunes a viernes entre las 7 horas y las 21 horas
4. Ningún gato tiene tres patas
5. ¡Te quiero!
6. El oxígeno es un metal
7. Armstrong pisó la Luna en 1970
8. Inscríbase ya
9. Charlé con ella toda la tarde.
10. ¿En qué año se juega el próximo mundial de fútbol?

Respuesta: Son proposiciones los ítems: 2, 4, 6, 7 y 9.

Las proposiciones se simbolizan con letras minúsculas y tienen asociado un valor de verdad:
verdadero o falso.

Consideremos las proposiciones:

1
Matemática I

p: “El número dos sumado al número cuatro da por resultado seis”
q: ”La Universidad Nacional de Avellaneda se creó en el año 1492”

¿Cuál será el valor de verdad de p?, ¿Cuál es el valor de verdad de q?

• Como sabemos 2+4=6 entonces el valor de verdad de la proposición p es verdadero, esto
lo indicamos simbólicamente de la siguiente manera v(p) = V o bien p es V, donde V
abrevia a verdadero.

• De la misma forma el valor de verdad de la proposición q es falso, ya que en el año 1492
Cristóbal Colón descubrió América, en consecuencia la Universidad Nacional de Avellaneda no
pudo haber sido creada en ese año. Entonces indicaremos que: v(q) = F o bien q es F,
donde F abrevia a falso.

Dada una proposición p puede suceder que sea verdadera o falsa, esto podemos esquematizarlo
en una tabla de valores de verdad, como la siguiente:

p
V
F

• Actividad 2
Usando la información del Diagrama de Venn de los conjuntos A y B, determina el valor de verdad
de las siguientes proposiciones:

Respuesta: (a) Verdadera. (b) Verdadera. (c) Verdadera. (d) Falsa. (e) Verdadera

Conectivos

Dada una o más proposiciones simples se pueden obtener otras (proposiciones compuestas), a
partir de operar con ellas. Para las distintas operaciones entre proposiciones se utilizan diferentes
símbolos que se llaman conectivos.
Veremos los siguientes:
• Negación
• Conjunción
• Disyunción: incluyente y excluyente
• Condicional
• Bicondicional

2
Matemática I

Negación

Definición:
Dada una proposición p se obtiene su negación anteponiendo la palabra no, es decir diremos “no
p”. Se simboliza: ~p

• Si consideramos la proposición p: “El oxígeno es un metal”, la negación de la proposición
p es:
~p: “No el oxígeno es un metal”

o bien, en lenguaje usual:

~p: “El oxígeno no es un metal”

• Si consideramos la proposición p: “No voy a ir a cenar”, la negación de la proposición p
es: ~p: “Voy a ir a cenar”

La negación de una proposición es una proposición, porque podemos determinar el valor de verdad
de las negaciones.

Observemos que la proposición p: “El oxígeno es un metal”, es falsa, y que su negación ~p:
“El oxígeno no es un metal” es verdadera.

En consecuencia:

El valor de verdad de una proposición y su negación están relacionados, no pudiendo ser el
mismo valor de verdad para ambas.

A modo de síntesis se presentan en una tabla que se llama:

Tabla de valores de verdad de la Negación:

p ~p
V F
F V

Conjunción

Definición:
Dadas dos proposiciones, p y q, se obtiene una nueva proposición al unir ambas con la conjunción
“y”, proposición que leeremos “p y q”.
Se simboliza: p Ù q

Por ejemplo, consideremos las siguientes proposiciones:

p: ” Voy al cine”
q: “Voy a cenar a un restaurante”
3
Matemática I

podemos definir la conjunción de ellas diciendo:

p Ù q: “Voy al cine y voy a cenar a un restaurante”

o más simplemente:

p Ù q: “Voy al cine y a cenar a un restaurante“

Una proposición definida por la conjunción de proposiciones simples es verdadera sólo si el valor
de verdad de las dos proposiciones que la definen es verdadero, en cualquier otro caso la
conjunción será falsa.

Tabla de valores de verdad de la conjunción:

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

¿Cómo determinamos el valor de verdad de una proposición donde interviene más de un
conectivo?

Supongamos que queremos determinar el valor de verdad de la proposición:
(~p) Ù (~q)
siendo las proposiciones:
p: 5 es un número mayor que 3
q: 13 es un número mayor que 15

entonces podemos realizar el siguiente análisis:

a) El valor de verdad de la proposición p es verdadero, ya que el número 5 es mayor que el
número 3. Entonces, el valor de verdad de la proposición (~p) es falso.
b) El valor de verdad de la proposición q es falso, ya que el número 13 es un número menor que
el número 15. Entonces, el valor de verdad de (~q) es verdadero.

Entonces, de (a) y (b), como el valor de verdad de la proposición (~p) es falso y el valor de verdad
de la proposición (~q) es falso, tendremos que la conjunción es una proposición cuyo valor de
verdad es falso

“el valor de verdad de la proposición (~p) Ù (~q) es falso”

• Actividad 3
Considerando las proposiciones p: 5 es un número mayor que 3 y q: 13 es un número mayor
que 15, sucede que el valor de verdad de las proposiciones pÙq, qÙp, pÙ(~q) y (~p)Ù(~q)
es FALSO. Explica porqué tienen este valor de verdad.

Respuesta: Consultar la justificación con sus profesores. Pista: Considere que: p es Verdadera y q es Falsa.

4
Matemática I

Disyunción

El vocablo o tiene, en castellano, dos usos que lo hacen ambiguo, por ejemplo podemos decir:

“Voy al cine o voy a cenar a un restaurante”

“Será declarado culpable o será declarado inocente”

En ambas tenemos una proposición que surge al unir dos proposiciones con la disyunción “o”,
pero en ellas el sentido de este “o” es distinto, no por la escritura sino por el significado de la
proposición compuesta que se define.

Por ello, en lógica, se distinguen dos casos de disyunción: inclusiva y excluyente

Veamos cada una de ellas:

Disyunción en sentido incluyente

Definición:
Dadas dos proposiciones, p y q, queda definida una nueva proposición al unirlas con el vocablo o,
que leeremos: “p o q” y si su sentido es incluyente la simbolizaremos: p Ú q.

De las proposiciones que definimos inicialmente, la proposición:

“Voy al cine o voy a cenar a un restaurante”

es una disyunción es sentido incluyente, que indicamos simbólicamente:
p Ú q, donde p: “voy al cine” y q: ”voy a cenar a un restaurante”.

¿Por qué es disyunción en sentido incluyente?. En la proposición tenemos que este “o“ tiene
sentido incluyente pues enuncia una alternativa que no excluye que ocurran ambas acciones;;
es decir , es posible que vayamos al cine y también a cenar a un restaurante.

La disyunción en sentido inclusivo es verdadera cuando al menos una de las proposiciones que
la definen sea verdadera.

Tabla de valores de verdad de la disyunción en sentido inclusivo:

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

• Actividad 4
a) Investiga el valor de verdad de las siguientes proposiciones:

p: “Dimitri Mendeleiev fue el autor de la clasificación periódica de los elementos químicos”
5
Matemática I

q: “Max Born recibió un premio Nobel en 1954”
t: “Blas Pascal fue el inventor del pararrayos”

b) Utilizando las proposiciones del ítem (a) determina el valor de verdad de las siguientes
proposiciones:
p Ú q, (~p) Ú t, ~( t Ú q), (p Ù t) Ú q

c) Traduce a lenguaje usual las proposiciones del ítem b)

Respuestas:
(a) Verdadera. (Dimitri Mendeleiev 1834-1907, químico ruso).
Verdadera. (Obtuvo el Premio Nobel de Física en 1954 por sus trabajos en mecánica cuántica y compartió este galardón con el
físico alemán Walter Bothe.
Falso. (Fue inventado en 1753 por Benjamín Franklin)
(b) Verdadera, Falsa, Falsa, Verdadera.
(c) Consultar las traducciones a lenguaje coloquial de las proposicones compuestas enunciadas simbólicamente.

Disyunción en sentido excluyente

Definición:
Dadas dos proposiciones, p y q, queda definida una nueva proposición al unirlas con el vocablo o,
que leeremos: “p o q” y si su sentido es excluyente la simbolizaremos: p Ú q

Un ejemplo de disyunción en sentido excluyente es la proposición que enunciamos antes y que
dice: “Será declarado culpable o será declarado inocente”.

Observemos que es una disyunción en sentido excluyente, pues las alternativas que plantea no
pueden ocurrir a la vez.

Si llamamos t a la proposición: “Será declarado culpable” y llamamos r a la proposición: “Será
declarado inocente”, la expresión simbólica de la disyunción exclusiva es: t Ú r.

La proposición p Ú q será verdadera si es verdadera sólo una de las proposiciones que la
definen.

Tabla de valores de verdad de la disyunción en sentido excluyente:

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

• Actividad 5
Analice en los siguientes enunciados si la disyunción tiene sentido inclusivo o tiene sentido
excluyente

1) “El producto de dos números es positivo si los números son positivos o los números son
negativos”’.
2) “El producto de dos números, a y b, es cero sí a es igual a cero o b es igual a cero”.
6
Matemática I

3) “Si los números a y b son distintos entonces a < b o b < a”
4) “Los números enteros o los números racionales son números reales”
5) “Un número es racional o irracional”
6) “Un cuadrilátero de cuatro lados iguales es un cuadrado o es un rombo”
7) “Si un número es múltiplo del número seis entonces ese número es múltiplo del número dos o
es múltiplo del número tres”

Respuestas:
(1) Incluyente – (2) Incluyente – (3) Excluyente – (4) Incluyente – (5) Excluyente – (6) Incluyente –(7) Incluyente

Condicional

Definición:
Dadas dos proposiciones: p y q, en ese orden, y las palabras “Si... entonces...” queda definida una
nueva proposición que leeremos:
“Si p entonces q” o bien: “p implica q”

El condicional se simboliza: p Þ q

En el condicional a la proposición p se la llama antecedente y a la proposición q se llama
consecuente.

Es habitual el uso de las proposiciones donde utilizamos la construcción: “si...entonces...” no solo
en matemática, como en otras ciencias, sino también nuestro lenguaje cotidiano, por ejemplo:

• Juro que si apruebo el examen entonces dejo de fumar
• Seguro que si le pido disculpas, me perdonará
• Si ABC es un triángulo rectángulo entonces la suma de los cuadrados de los catetos es
igual al cuadrado de la hipotenusa
• Si un cuerpo es sumergido en un fluido entonces experimenta un empuje vertical y hacia
arriba igual al peso de fluido desalojado.

Consideremos la proposición:
“Si la recta A es paralela a la recta B y la recta B es paralela a la recta C entonces la recta A es
paralela a la recta C”

Es un condicional, pues en ella encontramos a las palabras “si...entonces...” :

“Si la recta A es paralela a la recta B y la recta B es paralela a la recta C entonces la recta A es
paralela a la recta C”

Luego la proposición: la recta A es paralela a la recta B y la recta B es paralela a la recta C es el
antecedente del condicional y la proposición: la recta A es paralela a la recta C es el
consecuente del condicional.

¿Cuáles son las proposiciones que definen el antecedente y cuáles son las proposiciones que
definen el consecuente en los ejemplos anteriores de condicionales?

La proposición que obtenemos al operar dos proposiciones simples con el condicional, es decir: p
Þ q es falso solo cuando el antecedente p es verdadero y el consecuente q es falso.
7
Matemática I

Tabla de valores de verdad asociada al condicional:

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

• Actividad 6
Determine el valor de verdad de la proposición compuesta:
[ ( ~p Ù q ) Ú r ] ⟹ (p Ù q)

Siendo las proposiciones:
p: 3 es un número menor que 5
q: 13 es un número mayor que 15
r: 24 es múltiplo de 6

Respuesta:
p es verdadera, q es falsa y r es verdadera. El lector puede justificar que la proposición compuesta: [ ( ~p Ù q ) Ú r ] ⟹ (p Ù q) es
falsa.

¿Cómo construimos la tabla de valores de verdad de una proposición?

Hasta ahora hemos simbolizado proposiciones elementales y compuestas en las que aparecen los
conectivos negación, conjunción, disyunción y condicional. Nos resta estudiar el significado y la
tabla de valores de verdad del conectivo Bicondicional pero, es oportuno, antes de avanzar
estudiar cómo se construye la Tabla de valores de verdad que tiene asociada cualquier
proposición que definamos mediante proposiciones elementales y conectivos.

• Por ejemplo, ¿Cuál es la tabla de valores de verdad de la proposición: ~ ( p Ù q )?

En este caso debemos analizar el valor de verdad de la proposición dada, para todos los posibles
valores de verdad de p y q, es decir:

puede q es Verdadera
Si p es Verdadera ser
que:

q es Falsa

q es Verdadera
puede
Si p es Falsa ser
que:

q es Falsa

Observemos que teniendo dos proposiciones los posibles valores de verdad son cuatro.
Entonces la tabla de valores de verdad que necesitamos armar tendrá cuatro renglones:

8
Matemática I

p q
V V
V F
F V
F F

Ahora usando las tablas de valores de verdad que ya conocemos, podemos construir la tabla de
valores de verdad de la proposición: ~ ( p Ù q ).

En ella aparecen dos conectivos: el no y la conjunción.

Pero ¿por cual empezamos?

Al igual que en la aritmética los paréntesis, los corchetes y las llaves indican prioridad de
cálculo.

Entonces primero determinamos los valores de verdad de la conjunción y luego los valores de
verdad de la negación:

p q p Ù q
V V V
V F F
F V F
F F F
Luego la negamos:

~(p Ù q)
F
V
V
V

Entonces podemos concluir que:
• El valor de verdad de la proposición: ~(p Ù q) es falso si la proposición p es verdadera y la
proposición q es verdadera
• El valor de verdad de la proposición ~(p Ù q) es verdadero si las proposiciones p y q tienen
distinto valor de verdad o bien ambas son falsas.

• Actividad 7
Construya la tabla de valores de verdad de la proposición:
{ [ p Ù (~q) ] ⟹ r } Ù [ (p Ú q) ⟹r ]

Respuesta: El lector puede deducir que la cantidad de renglones de la tabla de valores de verdad son ocho.
En general:

Si una proposición compuesta está formada por 𝒏 proposiciones simples, la cantidad de renglones de la Tabla es 𝟐𝒏

9
Matemática I

La tabla de valores de verdad de la proposición compuesta del ejercicio es:

p q r ~q p Ù (~q) [ p Ù (~q) ] ⟹ r (p Ú q) (p Ú q) ⟹ r { [ p Ù (~q) ] ⟹ r } Ù [ (p Ú q) ⟹r ]

V V V F F V V V V
V V F F F V V F F
V F V V V V V V V
V F F V V F V F F
F V V F F V V V V
F V F F F V V F F
F F V V F V F V V
F F F V F V F V V

La última columna expresa los valores de verdad de la proposición compuesta.

Bicondicional

Definición:
Dadas dos proposiciones: p y q puede definirse una nueva proposición al unir ambas con las
palabras “si y sólo si”, es decir: “p si y sólo si q”. Esta proposición se llama Bicondicional y se
simboliza: “p ⟺ q”

Al igual que el condicional, el bicondicional es de uso frecuente en la matemática cuando se dan
definiciones, teoremas, propiedades, lemas, corolarios, etc. También es usado por otras ciencias
y aunque no lo creas es usual en nuestro lenguaje cotidiano. Veamos algunos ejemplos:

• Saldrá de vacaciones sólo si junta la plata necesaria para el viaje
• En un conductor eléctrico circula corriente si y sólo si existe una diferencia de potencial
• Dos rectas son paralelas si y sólo si tienen la misma pendiente o son rectas verticales
• Los cuerpos caen sólo si son atraídos por la fuerza de gravedad

De estos ejemplos si consideramos:

“En un conductor eléctrico circula corriente si y sólo si existe una diferencia de potencial”

Tenemos que es un bicondicional definido a partir de las proposiciones:
p: “En un conductor eléctrico circula corriente”
q: “existe una diferencia de potencial”

En los restantes ejemplos, ¿podría identificar las proposiciones que definen al bicondicional?

La tabla de valores de verdad del bicondicional es:

P p ⟺ q q
V V V
V F F
F F V
F V F

Observamos que:
10
Matemática I

Si las proposiciones tienen el mismo valor de verdad, ambas son verdaderas o ambas son falsas,
entonces el bicondicional que obtenemos a partir de ellas es verdadero.

Cuando dos proposiciones tienen el mismo valor de verdad se dicen equivalentes.

• Actividad 8
A partir de las proposiciones:
p: “Gauss vivió entre 1777 y 1855”
q: “Euler vivió entre 1707 y 1783”

Determine el valor de verdad de las siguientes proposiciones:
1) ( p ⟹ q ) Ù ( q ⟹ p )
2) p ⟺ q
3) ~ [ ( p ⟹ q ) Ù ( q ⟹ p ) ]
4) ~ [ p ⟺ q]
5) p ⟺ (~q)
6) (~p) ⟺ q

Respuesta: p es verdadera y q es verdadera. (1) Verdadera. (2) Verdadera. (3) Falsa. (4) Falsa. (5) Falsa. (6) Falsa.

TAUTOLOGÍA, CONTRADICCIÓN Y CONTINGENCIA

Las tabla de valores de verdad de una proposición compuesta, nos permite establecer que existen
proposiciones compuestas cuyo valor de verdad es siempre verdadero, cualquieras sean los
valores de verdad que posean las proposiciones simples que la componen. En otros casos, dicho
valor es siempre falso. O bien, el valor de verdad de una proposición compuesta puede resultar o
bien verdadero o bien falso según el valor de verdad de las proposiciones simples que la componen.

Esto permite clasificar todas las proposiciones compuestas en:

Contingencias:
Una propisición compuesta es una contingencia cuando su valor de verdad resulta a veces
verdadero y otras falso.

• Ejemplo: La proposición: [(p Ù q) Ù r ] ⟺ [ (p Ú q) ⟹r ] es una contingencia ya que como se
observa la última columna de su tabla de valores de verdad a veces es verdadera y a veces es
falsa.

p q r p Ù q (p Ù q) Ù r (p Ú q) (p Ú q) ⟹ r [ (p Ù q) Ù r ] ⟺ [ (p Ú q) ⟹r ]

V V V V V V V V
V V F V F V F V
V F V F F V V F
V F F F F V F V
F V V F F V V F
F V F F F V F V
F F V F F F V F
F F F F F F V F

11
Matemática I

Tautologías:
Una propisición compuesta es una tautología cuando su valor de verdad resulta siempre verdadero.

• Ejemplo: La proposición: ~(𝐩 ∨ 𝐪) ⟺ [(~𝐩) ∧ (~𝐪)] es una tautología porque, como se observa
en la última columna de la Tabla de valores de verdad de la proposición compuesta, ella es
verdadera cualquiera sea el valor de verdad de las proposiciones simples 𝐩 y 𝐪.

p q p ∨ q ~ (p ∨ q) ~p ~q (~p) ∧ (~q) ~(𝐩 ∨ 𝐪) ⟺ [(~𝐩) ∧ (~𝐪)]
V V V F F F F V
V F V F F V F V
F V V F V F F V
F F F V V V V V

Contradicciones:
Una propisición compuesta es una contradicción cuando su valor de verdad es siempre falso.

• Ejemplo: la proposición (𝐩 ∨ 𝐪) ⟺ [(~𝐩) ∧ (~𝐪)] es una contradicción puesto que como se
observa en la última columna de la Tabla de valores de verdad de la proposición compuesta,
ella es falsa cualquiera sea el valor de verdad de las proposiciones simples 𝐩 y 𝐪.

p q p ∨ q (p ∨ q) ~p ~q (~p) ∧ (~q) (𝐩 ∨ 𝐪) ⟺ [(~𝐩) ∧ (~𝐪)]
V V V V F F F F
V F V V F V F F
F V V V V F F F
F F F F V V V F

12
Matemática I

FORMA PROPOSICIONAL

Las formas o funciones proposicionales son expresiones que tienen al menos una de sus
componentes indeterminadas. Estas indeterminadas se llaman variables.

Por ejemplo: p(x): “x es un número par” es una forma proposicional en variable x

Una forma proposicional no es una proposición porque no puede afirmarse si es verdadera o falsa.

Por ejemplo: p(x): “x es un número par” no es una proposición ya que no sabemos qué valor
adopta la variable x

Toda forma proposicional se transforma en proposición asignando valores adecuados a la variable.

Por ejemplo: Sea la forma proposicional: p(x): “x es un número par”
(a) Si x = 12 entonces la forma proposicional se transforma en la proposición: p(2): “2 es un
número par” que, en particular, es verdadera.
(b) Si x = Jacaranda, la expresión “Jacarando es un número par” no es una proposición, no tiene
sentido preguntar si un tipo de árbol tiene una propiedad matemática.

El caso (b) muestra porque se afirma que una forma proposicional se transforma en proposición
para valores adecuados de la variable. En función de esta condición, se define:

El conjunto del cual tomamos valores para la variable de la forma proposicional tal que las
proposición que surjan posean sentido se denomina: Conjunto Universal de la forma
proposicional.

Por ejemplo: Para la forma proposicional p(x): “x es un número par” un posible conjunto universal
es U = {1, 2, 3, 4, 5, 6, 7, 8, 9}. Observemos, por ejemplo, que: p(1)”: 1 es un número par” es una
proposición cuyo valor de verdad es falso y p(4): ”4 es un número par” es una proposición
verdadera.
Otro posible conjunto universal es: U = N (conjunto de número naturales). En este caso, el lector
puede justificar que siempre que elijamos un valor para x que sea divisible por 2 estaremos
transformando la forma proposicional en un proposición verdadera.

Todos los elementos del Conjunto Universal asociado a la forma proposicional para los cuales la
proposición que se obtiene es verdadera definen un conjunto que se llama: Conjunto de verdad
de la forma proposicional.

Por ejemplo: Para la forma proposicional: p(x): “x es un número par” si el conjunto universal es:
U = {1, 2, 3, 4, 5, 6, 7, 8, 9} tendremos que el conjunto de verdad de p(x) es: A = {2, 4, 6, 8}. En
cambio, si U = N (conjunto de número naturales) el conjunto de verdad de p(x) es: A
={x ∈ N⁄x es múltiplo de 2}

13
Matemática I

• Actividad 13
Sean las formas proposicionales: p(x): “x > 4” y q(x): “x es múltiplo de 3
Determine el conjunto de valores de verdad de las siguientes formas proposicionales, teniendo en
cuenta el conjunto universal que se indica:
1. p(x) si U = N (conjunto de números naturales)
2. p(x) si U = N (conjunto de números naturales)
3. p(x) Ú q(x) si U = N (conjunto de números naturales)
4. p(x) si U = { 1;;2;;3;;4;;5;;6;;7}
5. q(x) si U = { 1;;2;;3;;4;;5;;6;;7}
6. p(x) Ù q(x) si U = { 1;;2;;3;;4;;5;;6;;7}
7. p(x) ⟹ q(x) si U = { 1;;2;;3;;4;;5;;6;;7;;8;;9;;10;;11;;12;;13}

Respuestas:
1. Conjunto de verdad de p(x): 𝐴 = {5; 6; 7; 8; 9; 10; 11; 12; … }
2. Conjunto de verdad de q(x): 𝐴 = {3; 6; 9; 12; 15; 18; 21; 24; 27; 30; 33; … }
3. Conjunto de verdad de p(x) Ú q(x): 𝐴 = {3; 5; 6; 7; 8; 9; 10; 11; 12; 13; 14; 15; 16; 17; 18; … }
4. Conjunto de verdad de p(x): 𝐴 = {5; 6; 7}
5. Conjunto de verdad de q(x): 𝐴 = {3; 6}
6. Conjunto de verdad de p(x) Ù q(x): 𝐴 = {6}
7. Conjunto de verdad de p(x) ⟹ q(x): 𝐴 = {1; 2; 3; 4; 6}

CUANTIFICADORES

Analizamos que a partir de una forma proposicional obtenemos una proposición si la variable se
reemplaza por un elemento de un Conjunto Universal. Por ejemplo, para la forma proposicional
p(x): “x es un número par” siendo el conjunto universal U = {1, 2, 3, 4, 5, 6, 7, 8, 9} tenemos que
p(1): ”1 es un número par” es una proposición. Pero, esta no es la única manera de transformar un
forma o función proposicional en proposición. Otra forma de lograrlo es la siguiente:

Si a una forma proposicional se asocia un cuantificador, que puede ser universal: "x o
existencial: $x la forma proposicional se transforma en proposición.

Esto es:

Siendo p(x) una forma proposicional las expresiones “"x: p(x)” y “$ x: p(x)” son
proposiciones.

Por ejemplo: si a la forma proposicional p(x): “x es un número par” se asoci el cuantificador
universal resulta la proposición: “"x: p(x)” que en lenguaje coloquial es: “Todos los números
son pares” y si a la forma proposicional p(x): “x es un número par” se asocia el cuantificador
existencial resulta la proposición: “$x: p(x)” que en lenguaje coloquial es: “Existen números
que son números pares”.

Por ser “"x: p(x)” y “$ x: p(x)” proposiciones tienen asociado un valor de verdad, pueden
ser verdaderas ó falsas.

Definida la forma proposicional p(x) y un conjunto Universal, el valor de verdad de la proposición
“"x: p(x)” y de la proposición “$x: p(x)” depende del conjunto de verdad de la forma
proposicional, es decir:

14
Matemática I

La proposición: “"x: p(x)” es verdadera si y solo si el conjunto de verdad de p(x) es el
conjunto Universal.

Por ejemplo para p(x): x ³ x, siendo el conjunto universal U={1, 2, 3, 4, 5}, la proposición "x:
p(x): “Todos los números del conjunto Universal son mayores o iguales a sí mismos” es
una proposición verdadera, ya que:
p(1): “1 ³ 1”
p(2): “2 ³ 2” El valor de verdad de las cinco
proposiciones es verdadero.
p(3): “3 ³ 3” Esto significa que el conjunto de
p(4): “4 ³ 4” verdad de la forma proposicional
p(x) es el conjunto universal U.
p(5): “5 ³ 5”

La proposición “"x: p(x)” es falsa si el conjunto de verdad de p(x) no es el conjunto
Universal.

Por ejemplo para p(x): x ³ 4, siendo el conjunto universal U={1, 2, 3, 4, 5}, la proposición "x p(x):
“Todos los números del conjunto Universal son mayores o iguales a 4” es una proposición
falsa, ya que:
p(1): “1 ³ 4”
p(2): “2 ³ 4”
Solo el valor de verdad de las proposiciones:
p(3): “3 ³ 4” p(4) y p(5) es verdadero. Esto significa que
p(4): “4 ³ 4” el conjunto de verdad de p(x) es {4,5} ¹ U
p(5): “5 ³ 4”

La proposición “$x: p(x)” es verdadera si el conjunto de verdad de p(x) tiene al menos un
elemento, es decir, el conjunto de verdad de p(x) no es el conjunto vacío.

Por ejemplo, para p(x): x ³ 4, siendo el conjunto universal U= {1, 2, 3, 4, 5}, la proposición $ x:
p(x): “Existen números del conjunto Universal tales que son mayores o iguales a 4" es una
proposición verdadera, ya que: por ejemplo:
p(1): “1 ³ 4”
El valor de verdad de las proposiciones: p(4)
p(2): “2 ³ 4” y p(5) es verdadero. Esto significa que el
p(3): “3 ³ 4” conjunto de verdad de p(x) es {4,5} ¹ Æ
p(4): “4 ³ 4”
p(5): “5 ³ 4”

La proposición: “$x: p(x)” es falsa si el conjunto de verdad de p(x) no tiene elementos, es
decir, el conjunto de verdad de p(x) es el conjunto vacío.

Por ejemplo para p(x): x ³ 9, siendo el conjunto universal U={1, 2, 3, 4, 5}, la proposición
$x p(x): Existen números del conjunto Universal tales que son mayores o iguales a 9" es
una proposición falsa, ya que:
p(1): “1 ³ 9”
p(2): “2 ³ 9” Las cinco proposiciones tienen como valor
de verdad: falso
p(3): “3 ³ 9” Esto significa que el conjunto de verdad de
p(4): “4 ³ 9” p(x) respecto del conjunto Universal
establecido es el conjunto vacío: Æ
p(5): “5 ³ 9”

15
Matemática I

Síntesis:

“"x: p(x)” es una proposición verdadera si y sólo si el conjunto de verdad de p(x) es igual al
conjunto universal asociado a p(x).

“$ x: p(x)” es una proposición verdadera si y sólo si el conjunto de verdad de p(x) es distinto
del conjunto vacio.

• Actividad 14

x x2 x3
1 1 1
2 4 8
3 9 27
4 16 64
5 25 125
6 36 216
7 49 343
8 64 512
9 81 729
10 100 1000
11 121 1331

Establezca si las siguientes proposiciones son verdaderas o falsas. Además, justifique el valor
de verdad asignado, considerando que el conjunto universal son los números naturales x que se
muestran en la primera columna de la tabla anterior.

a) Para todo número x, se cumple que: x 2 < x 3
b) Para todo número x, se verifica que: x2 es par
c) Para todo número x, se verifica que: x2 – x > 0
d) Existen números x tales que x3 es capicúa
e) Existen números x tales que: x 2 > x 3
f) Existen números x tales que x 2 es múltiplo de 10

Respuesta:
a) Conjunto de verdad de la forma proposicional: x 2 < x 3 es: A = { 2;;3;;4;;5;;6;;7;;8;;9;;10;;11}. A no es igual al Conjunto
Universal U = { 1;;2;;3;;4;;5;;6;;7;;8;;9;;10;;11}. Por lo tanto, la proposición es Falsa.
b) La proposición es Falsa. Tenemos que p(x): “ x2 es par” no se transforma en proposición verdadera para todos los valores
de x del Universal, ya que: p(9): “81 es par” es una proposición falsa.
c) El conjunto de verdad de la forma proposicional es: A = U-{1} por lo tanto no es igual al conjunto universal. Entonces la
proposición es Falsa.
d) Verdadera, ya que si x = 11 se tiene que la proposición p(11): “ 113 es capicúa” es una proposición verdadera. Es decir, el
conjunto de verdad no es vacío y la proposición existencial es verdadera.
e) Cualquiera sea el valor de x del conjunto Universal sucede que x2 ≤ x3 por lo tanto, el conjunto de verdad de la forma
proposicional es vacío y, la proposición existencial es Falsa.
f) Tenemos que si x = 10, su cuadrado es 100 y éste es múltiplo de 10. Por lo tanto, p(10) es un proposición verdadera y el
conjunto de verdad de la forma proposicional no es vacío. Entonces, la proposición existencial es Verdadera.

16

Nociones de Lógica

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Nociones de Lógica

Cargado por

Copyright:

Formatos disponibles

Universidad Nacional de Avellaneda – Licenciatura en Ciencias Ambientales

También podría gustarte