Bloque 1
Lógica
MATEMÁTICA GENERAL – FCA – UNER- 2024
20
Bloque 1 – Lógica
Equipo de cátedra Matemática de la FCA
Ing. Magalí Soldini
Ing. Gabriela Martínez
A.S. Adriana Marichal
Prof. Rubén Darío Ponce
Oro Verde, 2020.
Esta obra está bajo una Licencia Creative Commons Atribución 2.5 Argentina.
Matemática General – FCA – UNER 2
Bloque 1 – Lógica
BLOQUE
La lógica es la rama del conocimiento que trata los métodos de
razonamiento mediante reglas y técnicas, con el fin de determinar si un
argumento es válido. Nosotros nos ocuparemos de la lógica usada en
matemática.
El pensamiento Lógico-Matemático se relaciona con la habilidad de
trabajar y pensar en términos de números y la capacidad de emplear el
razonamiento lógico. Desarrollar esta forma de pensar es fundamental
para el desarrollo de la inteligencia matemática, ya que nos capacita
para entender conceptos y establecer relaciones basadas en la lógica de
forma esquemática y técnica. Esta forma de pensar nos permite comprender
conceptos abstractos, razonamiento y comprensión de relaciones.
Matemática General – FCA – UNER 3
Bloque 1 – Lógica
Elementos de Lógica
Proposiciones
Una proposición es una oración declarativa a la cual se le puede asignar
un valor de verdad: verdadera (V) o falsa (F). Las proposiciones serán
simbolizadas mediante letras minúsculas: p, q, r, etc.
EJEMPLO 1:
Las siguientes oraciones son proposiciones:
a) 5 es menor que 6.
b) 2 + 5 = 8.
c) La suma de dos números reales positivos es un número real positivo.
EJEMPLO 2:
Los siguientes enunciados no son proposiciones:
a) 3 - x = 5
b) ¿Hoy es martes?
c) Vaya a sembrar tomates.
a) No es una proposición porque no sabemos su valor de verdad a menos
que reemplacemos a la variable x por un valor. Si x=2 se transforma
en una proposición verdadera, pero si x= -2 se transforma en una
proposición falsa.
b) No es una proposición porque no es una oración declarativa, sino
que es una interrogación.
c) En este caso se trata de una oración imperativa, es una orden.
Conectivos Lógicos
A partir de una o más proposiciones se pueden formar otras proposiciones
compuestas, utilizando los siguientes operadores o conectivos lógicos:
conjunción, disyunción, condicional, bicondicional, y negación.
Conjunción ∧:
Si p y q son dos proposiciones cualesquiera, la conjunción de p y
q es la proposición que se lee “p y q" y se simboliza p ∧ q.
El valor de verdad de una proposición compuesta, depende de los valores
de verdad de las proposiciones simples que la componen, los cuales se
ordenan en una tabla llamada “Tabla de verdad”.
La tabla de verdad de la conjunción es la siguiente:
Matemática General – FCA – UNER 4
Bloque 1 – Lógica
EJEMPLO 3:
a) De la conjunción de las proposiciones del ejemplo 1,”5 es menor que
6“y la proposición ”2 + 5 = 8” obtenemos la proposición “5 es menor que
6 y 2 + 4 = 8". Como la proposición “5 es menor que 6" es verdadera y
la proposición “2 + 4 = 8" es falsa, la proposición “5 es menor que 6 y
2 + 4 = 8" es falsa.
b) La proposición “√2 y 𝜋 son números reales positivos" es la conjunción
de la proposición “√2 es un número real positivo" y de la proposición
“𝜋 es un número real positivo". Como la proposición “√2 es un número
real positivo “es verdadera y la proposición “𝜋 es un número real
positivo" también es verdadera, resulta que la proposición “√2 y 𝜋 son
números reales positivos “es verdadera.
Disyunción ∨:
Si p y q son dos proposiciones cualesquiera, la disyunción de p
y q es la proposición que se lee “p o q" y se simboliza p ∨ q. El
valor de verdad de la proposición “p ∨ q” está determinado por el valor
de verdad de las proposiciones p y q según la siguiente tabla:
EJEMPLO 4:
De la disyunción de la proposición “5 es menor que 6" y la proposición
“2 + 5 = 8” obtenemos la proposición compuesta “5 es menor que 6 o 2 +
4 = 8". Como la proposición “5 es menor que 6" es verdadera y la
proposición “2 + 4 = 8" es falsa, la proposición “5 es menor que 6 o 2
+ 4 = 8" es verdadera.
Condicional→:
Si p y q son dos proposiciones cualesquiera, el condicional de p
y q es la proposición que se lee “Si p entonces q" y se simboliza
p → q.
Matemática General – FCA – UNER 5
Bloque 1 – Lógica
En el condicional p → q, la proposición que está delante de la flecha
se llama antecedente y la que está después de la flecha se llama
consecuente.
La característica del condicional es que su valor de verdad es falso
sólo cuando el consecuente es falso y el antecedente es verdadero.
El valor de verdad de la proposición p → q está determinado por el valor
de verdad de las proposiciones p y q según la siguiente tabla:
Existen otras formas de leer la proposición p → q:
“p implica q”
“p sólo si q”
“q es condición necesaria para p”
“q si p”
“p es condición suficiente para q”
Las siguientes son formas equivalentes de decir una misma
proposición:
“Si 2 ≤ 4 entonces 2 + 5 = 9”
“2 ≤ 4 implica 2 + 5 = 9”
“2 ≤ 4 sólo si 2 + 5 = 9”
“2 + 5 = 9 si 2 ≤ 4”
“2 ≤ 4es condición suficiente para que2 + 5 = 9”
“2 + 5 = 9 es condición necesaria para que 2 ≤ 4”
EJEMPLO 5:
a) Como la proposición “5 es menor que 6" es verdadera y la
proposición “2+ 5 =8" es falsa, la proposición “Si 5 es menor que
6 entonces 2 + 4 = 8" es falsa.
Mientras que la proposición “Si 2 + 4 = 8 entonces 5 es menor que
6" es verdadera.
b) La proposición “Si 1 es negativo entonces -6 es positivo" es
verdadera.
Bicondicional ↔:
Si p y q son dos proposiciones cualesquiera, el bicondicional
de p y q es la proposición que se lee “p si y sólo si q" y se
simboliza p ↔ q. El valor de verdad de la proposición p ↔ q está
determinado por el valor de verdad de las proposiciones p y q
según la siguiente tabla:
Matemática General – FCA – UNER 6
Bloque 1 – Lógica
EJEMPLO 6:
a) Como la proposición “5 es menor que 6" es verdadera y la
proposición “2 + 5 =8" es falsa, la proposición “5 es menor que 6
si y sólo si 2 + 5 = 8" es falsa.
Observar que la proposición “2 + 5 = 8 si y sólo si 5 es menor que
6" también es falsa.
b) La proposición “x+3=5, si y solo si x=2 " es verdadera.
Las siguientes son formas equivalentes de decir una misma
proposición:
“p si solo si q”
“q si p y p si q”
“si p entonces q, e inversamente”
“p es condición necesaria y suficiente para que q”
“p si y solamente si q”
“sí y solamente sí p ocurre q”
“es necesario y suficiente p para que ocurra q”
“p solamente si q”
Negación ∼:
Si p es una proposición cualquiera, la negación de p es la
proposición que se lee “no p" y se simboliza ∼ p. También puede
decirse “es falso que p". El valor de verdad de la proposición ∼ p está
determinado por el valor de verdad de la proposición p según la siguiente
tabla:
EJEMPLO 7:
a) Como la proposición “5 es menor que 6" es verdadera, la
proposición “5 no es menor que 6" es falsa.
b) La proposición “3 + 5≠ 9" es la negación de la proposición
“3 + 5 = 9".
c) La proposición “es falso que 6 es un número real negativo" es la
negación de la proposición “6 es un número real negativo".
Matemática General – FCA – UNER 7
Bloque 1 – Lógica
Clasificación de las formas proposicionales
Tautología: cuando la forma proposicional resulta siempre verdadera,
independientemente de los valores de verdad de las proposiciones
intervinientes.
Contradicción: cuando la forma proposicional resulta siempre falsa,
independientemente de los valores de verdad de las proposiciones
intervinientes.
Contingencia: cuando la forma proposicional resulta verdadera o falsa,
según los valores de verdad de las proposiciones intervinientes.
EJEMPLO 8:
a) Tautología: 𝑝 ∨ 𝑞 → (∼ 𝑞 → 𝑝)
b) Contradicción:( 𝑝 ∧ 𝑞) ∧∼ 𝑝
c) Contingencia:( 𝑝 ∧ 𝑞) ∨∼ 𝑝
Condicionales asociados
A cada condicional p → q se le asocian otros tres que se obtienen
permutando el antecedente con el consecuente o sus negaciones.
Se dice que la proposición:
“q → p es la implicación recíproca de p → q”
“∼ p → ∼q es la implicación contraria de p → q”
“∼ q → ∼p es la implicación contrarrecíproca de p → q”
EJEMPLO 9:
Si partimos de la implicación:
“Si este animal es un ave, entonces tiene alas”
p: Este animal es un ave q: Este animal tiene alas
Recíproca: “Si este animal tiene alas, entonces es un ave”
Contraria: “Si este animal no es un ave, entonces no tiene alas”
Contrarrecíproca: “Si este animal no tiene alas, entonces no es un ave”
En las disciplinas de la lógica, se emplea el término tautología
para referirse a aquellos enunciados autoevidentes, obvios o
redundantes, o sea, que resultan verdaderos desde cualquier
posible interpretación, pues se explican y afirman a sí mismos.
Decimos que dos proposiciones son equivalentes cuando tienen la
misma tabla de verdad (en todas sus interpretaciones). También
Matemática General – FCA – UNER 8
Bloque 1 – Lógica
decimos que dos proposiciones son equivalentes cuando el bicondicional
que se forma entre ellas es una tautología.
Un condicional p → q, con su contrarrecíproco son equivalentes, y el
recíproco de un condicional es equivalente con el contrario.
Utilizaremos proposiciones equivalentes para expresar una misma idea
de distintas maneras
EJEMPLO 10:
Enunciar el recíproco, contrario y contrarrecíproco del siguiente
condicional:
“Si el triángulo es equilátero, entonces el triángulo es isósceles”
Recíproco: “Si el triángulo es isósceles, entonces el triángulo es
equilátero”
Contrario: “Si el triángulo no es equilátero, entonces el triángulo no
es isósceles”
Contrarrecíproco: “Si el triángulo no es isósceles, entonces el triángulo
no es equilátero”
Funciones proposicionales, cuantificadores
Sea 𝑥 una variable que toma valores en un conjunto universal U.
Una función proposicional en la variable 𝑥 es una oración que depende
de 𝑥 ,de forma tal que al reemplazar 𝑥 por cualquier elemento de U se
obtiene una proposición. Las funciones proposicionales se indican 𝑃(𝑥),
𝑄(𝑥), 𝑅(𝑥), etc; donde 𝑥 es la variable y 𝑃, 𝑄 , 𝑅 es la propiedad o atributo
que se le atribuye a la variable.
La expresión 𝑃(𝑥) se lee “ la variable x cumple o satisface la
propiedad p”.
Observar que las funciones proposicionales NO SON PROPOSICIONES,
pues no puede afirmarse si son V o f.
Matemática General – FCA – UNER 9
Bloque 1 – Lógica
EJEMPLO 10:
Veamos un ejemplo de una función proposicional dependiente de la
variable 𝑥, la cual toma valores en el conjunto de los números reales
R.
𝑷(𝒙): 𝒙 + 𝟖 > 𝟎
Es claro que “𝒙 + 𝟖 > 𝟎" no es una proposición: no puedo asignarle un
valor de verdad, depende de la variable 𝑥.
Una función proposicional 𝑷(𝒙) se puede transformar en una
proposición de dos formas distintas:
1. Reemplazando la variable por un elemento del conjunto universal.
2. Anteponiendo a la función proposicional un operador o cuantificador,
éste puede ser universal ∀, cuando abarca a todos los elementos del
universo o existencial ∃ cuando abarca sólo a algunos de los elementos
del universo.
Anteponiendo el cuantificador universal ∀, (∀ 𝒙)𝑷(𝒙) se lee “para todo 𝒙,
𝑷(𝒙) es verdadera" (o simplemente “para todo 𝑥, 𝑃(𝑥)").
Anteponiendo el cuantificador existencial ∃ , (∃𝒙)𝑷(𝒙) se lee “existe 𝒙
tal que 𝑃(𝑥) es verdadera" (o simplemente “existe 𝒙 tal que 𝑃(𝑥))
EJEMPLO 11:
Continuando con el ejemplo 10:
Haciendo 𝑥 = 2 obtenemos la proposición 𝑃(2): 2 + 8 > 0 , que es verdadera.
Haciendo 𝑥 = − 20 obtenemos la proposición 𝑃(−20): −20 + 8 > 0,
que es falsa.
Anteponiendo el cuantificador existencial obtenemos la proposición
(∃ 𝑥) 𝑥 + 8 > 0,que es verdadera.
Anteponiendo el cuantificador universal obtenemos la proposición
(∀ 𝑥) 𝑥 + 8 > 0, que es falsa.
Matemática General – FCA – UNER 10
Bloque 1 – Lógica
La proposición (∃ 𝑥) 𝑃(𝑥) es verdadera cuando existe al menos un
elemento del conjunto universal 𝒂,tal que 𝑃(𝑎) es verdadera. En
este caso decimos que 𝑃(𝑥) es verdadera para algún elemento del
conjunto universal.
En cambio, la proposición (∀ 𝑥) 𝑃(𝑥) es verdadera cuando 𝑃(𝑥) resulta una
proposición verdadera al reemplazar 𝑥 por cualquier elemento del conjunto
universal. Es decir que, esta proposición es falsa si existe algún
elemento 𝒂 del universal tal que 𝑃(𝑎) es falsa.
En este caso se dice que 𝒂 es un contraejemplo de la proposición (∀ 𝑥) 𝑃(𝑥).
Muchas veces el uso de las palabras algún y cualquier resulta confuso,
se puede pensar en ejemplos del lenguaje cotidiano: si digo “Algunas
verduras me gustan", se entiende que al menos hay una verdura que me
apetece. Mientras que si digo “Cualquier verdura me gusta" se entiende
que me gustan todas las verduras.
Negación de los Cuantificadores
Decir que es falso que una propiedad dada se cumpla para
todos los elementos de un conjunto universal, es claramente
equivalente a decir que existe algún elemento del universal que
no satisface dicha propiedad. Por lo que la negación de un
cuantificador universal es equivalente a un cuantificador
existencial con la función proposicional negada:
∼ (∀𝒙) 𝑷(𝒙) ≡ (∃𝒙) ∼ 𝑷(𝒙)
Decir que es falso que una propiedad dada se cumple para algún
elemento del universal, es claramente equivalente a decir que todos
los elementos del universal no satisfacen dicha propiedad.
Por lo que la negación de un cuantificador existencial es
equivalente a un cuantificador universal con la función
proposicional negada:
∼ (∃𝒙)𝑷(𝒙) ≡ (∀𝒙) ∼ 𝑷(𝒙)
Matemática General – FCA – UNER 11
Bloque 1 – Lógica
Actividades de Cierre
E1) Establezca si las siguientes expresiones son proposiciones:
a) ¿Cómo estás?
b) 9>97
c) x es un número primo
d) Una fracción es impropia cuando el numerador es mayor o igual al
denominador.
e) ¡Que calor!
f) Corta el pasto
E2) En cada proposición coloque una “s” o “c” según sea simple o
compuesta. Escriba junto a la compuesta el conectivo utilizado.
a) Si es un número positivo, entonces es mayor que cero.
b) El girasol y el sorgo son oleaginosos.
c) La cosecha de avena no pertenece a la cosecha fina.
d) Si el ovino come pasto, entonces es herbívoro.
e) Las células son procariotas o eucariotas.
E3) Construya la tabla de verdad de las siguientes proposiciones y
determine en cada caso si se trata de una tautología, contradicción o
contingencia.
a) (𝑝 ∧ ~𝑞) b) (𝑝 ∧ 𝑞) ∧∼ 𝑝 c) (𝑝 → (𝑞 ∨ 𝑟)) ∨ (𝑝 ∧ ~𝑞)
E4) Dadas las siguientes proposiciones:
p: “R simboliza el conjunto de los números reales".
q: “2 + 1 = 6".
r: “5 es un número par".
s: “la letra t es una vocal".
t: “√2 es un número racional".
a) Establezca el valor de verdad de cada una.
b) Determine el valor de verdad de las siguientes proposiciones e
indique como se leen en el lenguaje corriente.
1) ∼ q ∧ r
2) s ∨∼ t
3) ∼ p → ∼ r
E5) Determine si las siguientes proposiciones son verdaderas o falsas:
a) Si 9 es par entonces 3 es par
b) 2 + 2 = 4 sólo si 2 + 2 = 3
c) 1 + 1 es 3 si 2 + 2 es 4
d) 7 es par si 5 es par
E6) Reescriba las siguientes proposiciones utilizando “necesario" y
“suficiente" y determine su valor de verdad.
a) 3 + 1 = 4 sólo si 2 + 4 = 6
b) 3 = 5 si 3 = 7
c) 2 - 1 = 0 si y sólo si 2 + 1 = 0
Matemática General – FCA – UNER 12
Bloque 1 – Lógica
E7) Para las siguientes proposiciones, enuncie la recíproca, la
contraria y la contrarrecíproca de la implicación dada.
a) “Si dos ecuaciones son equivalentes, entonces son iguales”
b) “Si dos gases tienen la misma temperatura y el mismo volumen,
tienen la misma presión”
E8) Decida cuáles de los siguientes enunciados son funciones
proposicionales dependientes de una variable y defina un universo
apropiado en cada caso.
a) “x es un número impar"
b) “x - 3 es múltiplo de 5"
E9) Para las funciones proposicionales del ejercicio anterior, dé
constantes que produzcan proposiciones verdaderas y proposiciones
falsas.
E10) Dadas las siguientes funciones proposicionales:
a) Si 𝑥 es par entonces 𝑥 + 2 es par
b) 𝑥 + 5 ≥ 20 y 𝑥 − 6 ≤ 22
c) 𝑥 − 1 > 1 → 𝑥 > 5
a) Establezca un universo adecuado.
b) Anteponga el cuantificador universal a cada una de ellas y analice
su valor de verdad.
c) Anteponga el cuantificador existencial a cada una de ellas y
analice su valor de verdad.
E11) Dado el conjunto 𝑩 = {-𝟑, -𝟏, 𝟏, 𝟑, 𝟓}. Halle el valor de verdad
inicial y luego niegue cada una de las siguientes proposiciones y
establezca el nuevo valor de verdad:
a) ∀𝑥∈𝐵∶ (𝑥 2 - 20) ≤ 29 b) ∃𝑥∈𝐵/ (𝑥 2 - 6) ≤ 0
4𝑥+5
c) ∀𝑥∈𝐵∶ 5
<5 d) ∃𝑥∈𝐵 / (𝑥 + 4) ≥ -1
RESPUESTAS:
E1) a) No b) Si c) No d) Si e) No f) No
E2) a) Compuesta Condicional.
b) Compuesta Conjunción.
c) Simple Negación
d) Compuesta Condicional.
e) Compuesta Disyunción.
E3) a) Contingencia b) Contradicción c) Tautología
E4) a) p: verdadera q: falsa r: falsa s: verdadera t: falsa
b) 1) Falsa “Dos más uno es distinto de seis”
2) Verdadera “ La letra t es una vocal o raíz cuadrada de
dos no es un número racional”
3) Verdadera “Si R no simboliza el conjunto de los números
reales, entonces 5 no es un número par”.
E5) a) Verdadero
b) Falso
Matemática General – FCA – UNER 13
Bloque 1 – Lógica
c) Falso
d) Verdadero
E6) Reescriba las siguientes proposiciones utilizando “necesario" y
“suficiente" y determine su valor de verdad.
a) “3+1=4 es condición suficiente para que 2+4=6” Verdadera.
b) “3 = 5 es necesario para que 3 = 7” Verdadera.
c) “2 - 1 = 0 es necesario y suficiente para que 2 + 1 = 0” Falsa
E7) a) p: dos ecuaciones son equivalentes q: dos ecuaciones son
iguales
Directa: 𝑝 → 𝑞 Contraria: ~𝑝 → ~𝑞 Recíproca: 𝑞 → 𝑝
Contrarrecíproca: ~𝑞 → ~𝑝
b) p: dos gases tienen la misma temperatura q= dos gases tienen el
mismo volumen r= dos gases tienen la misma presión
Directa: (𝑝 ∧ 𝑞) → 𝑟 Contraria: ~(𝑝 ∧ 𝑞) → ~𝑟 Recíproca: 𝑟 → (𝑝 ∧
𝑞)
Contrarrecíproca: ~𝑟 → ~(𝑝 ∧ 𝑞)
E8) a) El conjunto de los números enteros.
b) El conjunto de los números reales.
E10) Dadas las siguientes funciones proposicionales:
a) El conjunto de los números enteros.
𝑃(𝑥): x es par 𝑄(𝑥): x+2 es par (∀ 𝑥 ∈ ℤ) (𝑃(𝑥) → 𝑄(𝑥)) Verdadera
(∃ x ∈ ℤ)/(𝑃(𝑥) → 𝑄(𝑥)) Verdadera.
b) El conjunto de los números reales.
𝑃(𝑥) = 𝑥 + 5 ≥ 20 𝑄(𝑥) = 𝑥 − 6 ≤ 22 (∀𝑥 ∈ ℝ): (𝑃(𝑥) ∧ 𝑄(𝑥)) Falsa
(∃𝑥 ∈ ℝ)/(𝑃(𝑥) ∧ 𝑄(𝑥)) Verdadera.
c) El conjunto de los números reales.
𝑃(𝑥) = 𝑥 − 1 > 1 𝑄(𝑥) = 𝑥 > 5 (∀𝑥 ∈ ℝ): (𝑃(𝑥) → 𝑄(𝑥)) Falsa
(∃𝑥 ∈ ℝ)/(𝑃(𝑥) → 𝑄(𝑥)) Verdadera.
E11) a) Verdadera ∃𝑥∈𝐵/ (𝑥 2 - 20) > 29 Falsa
b) Verdadera ∀𝑥∈𝐵∶ (𝑥 2 - 6) >0 Falsa
4𝑥+5
c) Falsa ∃𝑥 ∈ 𝐵/ 5
≥5 Verdadera
d) Verdadera ∀𝑥 ∈ 𝐵 ∶ (𝑥 + 4) < −1 Falsa
Matemática General – FCA – UNER 14