Introducción a la Lógica Matemática: Ejercitación

Introducción a la Lógica Matemática:

Ejercitación
Álgebra para Ciencias Económicas

Ema Aveleyra

Página 1
 Introducción a la Lógica Matemática: Ejercitación

1) Escribir en lenguaje usual sabiendo que p: los precios son altos y q: los precios suben.

a) p
b) (p)
c) pq
d) pq
e) pq
f) (pq)
g) pq

2) Realizar las tablas de verdad de las siguientes proposiciones compuestas y reemplazarlas

por enunciados.

 Ejemplo. Si agosto tiene 31 días y junio tiene 30 días entonces agosto tiene 31 días.
p: Agosto tiene 31 días
q: Junio tiene 30 días

a)
b)
c)

3) Identificar las proposiciones simples, asignarles una letra y escribirlas con los conectivos
correspondientes. Luego, determinar el valor de verdad de las proposiciones compuestas.

a) 5+3=8 -1<-3
b) 5+3=8 -1<-3
c)
d)
e) No es cierto que 10 sea un número primo
f) Si 4 no es número impar entonces 8 es divisible por 2.

4) Indicar cuáles son condiciones necesarias o suficientes:

a) p: n es un número par
q: n es divisible por 4

Página 2
 Introducción a la Lógica Matemática: Ejercitación

b) p: ABCD es rectángulo
q: ABCD es paralelogramo

c) p: x es un número par
q: x+1 es un número impar

5) Dada la siguiente proposición, escribir todas las asociadas e indicar su valor de verdad.

Si 2 es un número primo entonces 3 es número impar.

6) Dado el conjunto , hallar el valor de verdad de los siguientes enunciados:

x A / x  3  9

x A : x  3  9

x A : x  3  9
7) Expresar simbólicamente usando cuantificadores, dar su valor de verdad y negarlas.

a) Hay algún número que no es primo

b) Existe algún número real tal que su cubo es 8
c) No existe un número real tal que su cuadrado sea 4
d) No todo número par es divisible por 6
e) Todo cuadrado es un rectángulo
f) Todo número entero es racional

8) Determinar el valor de verdad de los siguientes enunciados y negarlos.

a) x : x 2  x
b) x N / 3x  x
c) x Z / x  2k

d) x / x 2  2 x  1  0
e) x / x 2  x  1  0
f) x  Z : ( x  5  x  x  3)

Página 3