Matemática- Profesorado en Ciencias Biológicas.

Trabajo Práctico N° 1
Introducción a la lógica proposicional y su relación con la teoría de conjuntos

LÓGICA PROPOSICIONAL

1) Determinar si los siguientes enunciados son proposiciones, en el caso de serlo, indicar el valor de verdad de cada
una de ellas.
a) Todo número par es divisible por 2.
b) 24−8=15
c) Todos los perros son animales.
d) Todos los animales.
e) Los triángulos equiláteros no tienen tres lados congruentes.
f) 2 x−3=¿2
g) 5+7−8
h) 6+ 4=10 y √ ❑

2) Determinar si las siguientes expresiones son proposiciones y cuáles no lo son. Explicar por qué.

▪ El sol es cuadrado. ▪ ¿Existe la justicia?

▪ La cuchara sirve para. ▪ Existe la justicia

▪ Hay finitos números pares. ▪ 2+5=6

▪ ¿Qué hora es? ▪ 2+5

3) A modo de ejemplo, consideremos las proposiciones simples: (1) p: “está lloviendo”, (2) q : “hay mucho tráfico”.
Algunas proposiciones compuestas que se pueden formular a partir de ellas son:

(i) p ∧q : “está lloviendo y hay mucho tráfico”;

(ii) p ∨∼ q : “está lloviendo o no hay mucho tráfico”;

(iii) p ⇒q : “si está lloviendo, entonces hay mucho tráfico”;

Para cada una de las siguientes expresiones coloquiales, escribir la proposición compuesta correspondiente usando
lenguaje simbólico:

a) Está lloviendo y nevando, o está soplando el viento

( p: “está lloviendo”; q : “está nevando”; r : “está soplando el viento”)

b) Las personas han nacido iguales o no son libres

( p: “las personas han nacido iguales”; q : “las personas son libres”)

c) Do y Re son culpables, o Re es inocente

( p: “Do es inocente”; q : “Re es inocente”)

d) Do es culpable, o tanto Do como Re son culpables
( p: “Do es inocente”; q : “Re es inocente”)

4) Sean p y q los enunciados:

p: Estamos bajo cero q : Nieva
Escribir los enunciados siguientes usando p, q y conectores lógicos:
a) Estamos bajo cero y nieva.
b) Estamos bajo cero, pero no nieva
c) No estamos bajo cero y no nieva
d) Bien estamos bajo cero o bien nieva (o ambas cosas)
e) Si estamos bajo cero entonces también nieva
f) Estamos bajo cero o nieva, pero no nieva si estamos bajo cero
g) Que estemos bajo cero es necesario y suficiente para que nieve
6

5) Responder y justificar: ¿Las siguientes expresiones son funciones proposicionales? Luego, si es posible, asignar un
valor real a las variables que aparecen en ellas, de modo que resulten proposiciones verdaderas.
a) x 2+ 4=8
b) 2 t+1 ≥ 5
c) 3 z+ 1=2
d) −√ ❑

6) Las siguientes expresiones definen proposiciones porque se han utilizado cuantificadores para transformar las
funciones proposicionales en proposiciones. Expresarlas en forma coloquial. Determinar el valor de verdad de las
mismas. Justificar.
a) ∀ x ∈ R : x 2 ≥ 0
b) ∃ x ∈ R : x 2+ 1=−1
c) ∃! x ∈ R : x +1=3

7) Traducir las siguientes expresiones a la forma simbólica. Decir si son V o F. Justificar.

a) Algunos números enteros son impares.
b) Todo número natural es mayor que cero.
c) Cualquiera que sea 𝑥, se verifica que x 2=x . x
d) Existe algún valor de 𝑥 tal que x 2+ 4=8

8) En las siguientes proposiciones compuestas, identificar a las proposiciones simples que la componen y luego
escribirlas en forma simbólica.

a) El producto de dos números es 0 sí y sólo uno de ellos es 0.

b) El producto de dos números es 0 entonces uno es positivo y el otro es negativo.
c) Juan y José van a pescar entonces comen pescados o pasan hambre.
d) La sustancia reacciona y se calienta entonces es peligrosa si y sólo si el laboratorio no está bien ventilado.
e) Si no apruebo el primer parcial, entonces voy al recuperatorio.
f) Si no apruebo el parcial y no apruebo el recuperatorio, vuelvo el año que viene.

9) Simbolizar:
a) Si p, entonces q
b) No es el caso que p y q
c) p solamente si q y no r
d) p o no q
e) Si p y q, entonces no r o s
f) Si p, entonces q, y si q, entonces p

10) Unir cada proposición con su simbología.

p: “Llueve” , q: “Hace sol”

11) Unir cada proposición con su simbología.

p: “Las estrellas emiten luz” , q: “Los planetas reflejan la luz”, r: “Los planetas giran alrededor de las estrellas”

12) Determinar, en cada caso, si la información que se da es suficiente para conocer el valor de verdad de las
siguientes proposiciones compuestas. Justificar.

En el lenguaje común, hay varias expresiones que se utilizan indistintamente para la misma forma lógica.
Por ejemplo:

● Algunos mamíferos tienen alas ● Unos pancitos tienen queso

● Nadie es perfecto ● Hay algunos sitios de acampe donde no se puede

hacer fuego.
● Cualquier múltiplo de 6 puede dividirse por 3
● Las cámaras digitales utilizan baterías
● No hay mamíferos acuáticos
Redactar las proposiciones anteriores en la forma “Todo...” o “Existe...”.
Por ejemplo: “Algunos mamíferos tienen alas” se escribirá como “Existe al menos un mamífero que tiene alas”

13) Dadas las siguientes proposiciones

● Todos los perros son blancos. ● Hay gallinas que ponen huevos verdes

● Hay mamíferos que vuelan. ● Ningún metal es líquido

● Existe un león que ruge ● Hay plantas que no se reproducen por semillas

● Los leones tienen melena

Se pide, identificar un conjunto de referencia para cada uno y redactar las proposiciones anteriores de la forma
“Todo...” o “Existe...” (Cuando sea necesario)

▪ Ejemplo: Hay gallinas que ponen huevos verdes. → Conjunto de referencia: El conjunto de todas las gallinas

Enunciado en la forma “Existe…” → Existen gallinas que ponen huevos verdes

(¡No es importante si las afirmaciones son verdaderas o falsas!)

14) Expresar en forma simbólica utilizando de ser necesario el cuantificador apropiado, y luego negar proposiciones.
Determinar el valor de verdad en cada caso:

a) Los que cursan Matemática son de Ingeniería.

b) -5 es un número racional.
c) Algunos estudiantes aprueban Matemática.
d) Todos los estudiantes de este curso son estudiosos.

15) Escribir la negación de las siguientes proposiciones (coloquial y simbólicamente):

● Existen planetas con agua en el sistema solar

● Existe un animal que es herbívoro.

● Todo alumno ingresante a la universidad no debe materias de la escuela secundaria.

● Todo egresado de una escuela secundaria del país hace su viaje de egresado a Bariloche.

● Existe un mamífero acuático.

● Todo miembro de la Asociación Argentina de Ecología tiene descuentos en los congresos de la misma.

16) Consideremos los siguientes ejemplos:

▪ Es suficiente que un número sea múltiplo de 8 para que sea divisible por 2.

▪ Es suficiente nacer en Argentina para ser sudamericano.

▪ Es suficiente cargar 70 litros de nafta para llegar desde Bariloche hasta El Bolsón (aprox. 120 km).

▪ Es suficiente fotosintetizar para ser vegetal.

En los enunciados anteriores, reconocer el antecedente y el consecuente y escribirlos como una implicación.

17) Consideremos ahora los siguientes ejemplos:

▪ Para ser investigador de Conicet es necesario haber alcanzado el grado de doctor.

▪ Es necesario ser mayor de edad para emitir un voto electoral.

▪ Es necesario ser mamífero para ser ballena.

▪ Es necesario estar inscripto en la carrera Profesorado en Ciencias Biológicas para cursar Matemática
como alumno regular.
En los enunciados anteriores, reconocer el antecedente y el consecuente y escribirlos como una implicación.

18) Considera la afirmación “Para ser un triángulo es necesario y suficiente tener tres lados” ¿Qué significado tiene
que una condición sea necesaria y suficiente para que se cumpla otra?

19) Enunciar una proposición condicional verdadera. Escribirla de forma simbólica. Escribir su recíproco y su
contrarrecíproco coloquial y simbólicamente.

20) Elaborar tres ejemplos de implicaciones p ⇒q cuyas afirmaciones recíprocas q ⇒ p sean falsas.
21) Elaborar tres ejemplos que involucren una doble implicación verdadera.

22) Expresar simbólicamente las siguientes proposiciones compuestas. Para hacerlo primero identificar y ponerle
nombre a las proposiciones simples que la forman y después conectarlas con los conectivos lógicos que
correspondan.
a) La suma de dos números enteros es impar si y sólo si ambos números son pares o ambos números son impares.
b) Si no elegimos a A como presidente del partido, entonces perderemos las elecciones.
c) Ganaremos las elecciones, si A es elegido presidente del partido.
d) Si hay heladas y fuertes vientos, se arruinará la cosecha.
e) Si el asesino no ha dejado el país, entonces alguien lo está escondiendo.
f) El asesino ha dejado el país o alguien lo está escondiendo.
g) Este niño sabe leer, pero no escribe en absoluto.
h) Si y es entero entonces z no es real, suponiendo que x es un número racional.

CONJUNTOS

23) Escribir los conjuntos siguientes en lenguaje matemático (por comprensión), explicitando claramente el
referencial.

a) A={ 0 , 1,−1 ,2 ,−2, 3 ,−3 }

b) B= {1 , 3 ,5 , 7 , 9 , 11, 13 ,15 , 17 , 19 }
c) C={ 2 , 4 , 6 , 8 , 10 ,12 , 14 , 16 , 18 ,20 }

24) Escribir los siguientes conjuntos por extensión:

a) A={ x ∈ Z /5< x ≤10 }

b) B= { x ∈ N / x posee un dígito }
c) C={ x ∈ N / x es un divisor de 10 }
d) D= { x ∈ N /x es un número primo menor que 11 }

25) Dados los conjuntos: A={ 1 } y B= {1 , 2 }, determinar si las siguientes afirmaciones están correcta o
incorrectamente escritas. En cualquier caso, explicar. De las correctas, decir si son Verdaderas o Falsas y explicar.
a) A ⊂ B b) A ∈ B c) 1 ⊂B d) 1 ∈ B e) B⊂ A

26) Se consideran los conjuntos A={ 2 , 4 , 6 } ; B= { 4 , 6 , 2 } ; C={ 1 , 0 ,3 } ; D= { x ∈ Z / x 2 ≤ 3 } ; E={ 6 }

Indicar, justificando, cuáles de las siguientes proposiciones son verdaderas y cuáles son falsas:

a) A=B
b) 1 ∈ D
c) { 6 } ∈ E
d) ϕ ∉C
27) Comprueba que el conjunto A={ 4 ,5 , 6 } no es subconjunto del conjunto B= {1 , 2 ,3 , 4 ,5 , 8 , 9 }

28) Siendo A={ a , b , c , { a , b } , ϕ } , indicar justificando cuáles de las siguientes proposiciones son verdaderas y cuáles
son falsas, y justificar:

a) { a , b } ∈ A b) { a , b } ⊆ A c) ϕ ⊆ { a , b } d) ϕ ∈ A

e) { ϕ , a , b } ⊆ { a , b } f) { ϕ , a , b } ⊆ A g) { { a ,b } } ⊆ A h) { a , b , c } ∈ A

i) { a ,b ,c , { a , b } } =A j) { { a ,b ,c } } ⊆ A

29) Dados los conjuntos A={ 1 ,2 , 9 } , B= {2 , 4 ,6 ,8 } , C={ 3 , 4 ,5 , 6 } en el referencial U ={ x ∈ N /x ≤ 10 }

Hallar:
a) A ∪ B b) A ∪ C c) A ∩ B d) A ∩C e) A ∩ B∩ C
f) A−B
g) C− A h) A i) A ∩C j) A ∪ B k) B−C l) ( A−B ) ∩C

30) Considerar los siguientes conjuntos de números naturales: A={ x ∈ N / x es un número primo y x ≤7 },
B= { x ∈ N / x es un número par y x ≤ 8 }, en el referencial U ={ x ∈ N /x <10 } . Hallar:

a) A b) B c) A ∪ B d) B ∩ A e) A ∪ B

31) Realizar las siguientes operaciones con los conjuntos definidos en el ejercicio 26):

a) ( A ∪ B)−C b) (C ∩ B)∪ A c) E ∪ A d) ( A ∪ C)∩ E e) D

32) ¿Qué puedes decir de los conjuntos A y B si se sabe que:

a) A ∪ B= A
b) A−B= A
c) A ∩ B= A

33) Escribir una operación entre los conjuntos A , B y C que dé por resultado la zona sombreada en las figuras:

34) Llamemos U a un conjunto referencial, A al conjunto de los elementos de U que hacen verdadera la proposición p
y B al conjunto de los elementos de U que hacen verdadera la proposición q . Completar el siguiente cuadro
 Proposición Forma conjuntista Representación gráfica

A
p es Verdadera

p ∧q es Verdadera

A ∪ B= A ∩ B

p ∨q es Falsa

35) Considerar el conjunto T¿ { 0 , 1 ,2 , 3 , 4 , 5 , 6 , 7 , 8 ,9 ,10 , 11, 12, 13 , 14 , 15 ,16 } y las siguientes proposiciones:
p: “ x es un número par” q : “ x es un número de una cifra” r : “ x es un número divisible por 3”
Escribir el enunciado y los conjuntos resultantes para las siguientes situaciones:
a) p ∧q b) p ∨q c) p ∧q ∧ r d) q ∧ ∼ r