UAI –Licenciatura en matemática- Profesorado de matemática

Álgebra I Práctica 3: Estructuras proposicionales

1) U : x / x son alumnos de la UAI  P( x) : x estudia en la UAI

Q( x) : x sabe diseñar planos
R( x) : x estudia arquitectu ra
Expresar en símbolos:

a) Todos los alumnos de la UAI saben diseñar planos.

b) Todos los alumnos de la UAI: si estudian arquitectura, saben diseñar planos.
c) Existen alumnos de la UAI que no saben diseñar planos.
d) Existen alumnos de la UAI que son de arquitectura y saben diseñar planos.

2) U : x / x son todos los animales P( x) : x tiene plumas

A( x) : x tiene alas
V ( x) : x es un ave

Expresar en lenguaje coloquial: a) x : P( x) b) x /P( x)  A( x) c)x / ~ V ( x)

d) x : P( x)  A( x) e) x /A( x) ~ V ( x) f) x /~ A( x)  V ( x)

3) a) Justificar utilizando la tabla: i) ~ x : P(x)   x / ~ P(x)  ii)~ x / P(x)   x :~ P(x) 
iii) ~ x :~ P(x)   x / P(x)  iv) ~ x / ~ P(x)   x : P(x) 
b) Dar un ejemplo para cada una, definir la variable, estructura proposicional, y escribir cada equivalencia coloquialmente.

4) Dadas las siguientes formas proposicionales: U : x / x es una provincia de Argentina 

P( x) : x lim ita con el océano

Q( x) : x lim ita con Chile

a) ¿Se podría escribir U por extensión?

b) Hallar el conjunto de verdad de: P( x)  Q( x)
c) Hallar el conjunto de verdad de: P( x)  Q( x)

5) Teniendo en cuenta las siguientes estructuras proposicionales: P( x) : x es un mes del año que tiene 30 días
Q( x) : x es un mes del año que empieza con vocal
R( x) : x es un mes del año que ter min a con vocal

Hallar el conjunto de verdad en cada caso, siendo U : x / x es un mes del año:

a) P( x)  Q( x) b) ~ P( x) c) ~ P(x)  Q( x) d) Q( x)  R( x) e) P( x)  Q( x)  R( x)

6) Sea: U  1,2,...9 y sean: P( x) : x es un número impar
Q( x) : x  3  9
R( x ) : x  2  7

a) Expresar en lenguaje coloquial: P(3) ; P(4) ; Q(2) ; Q(5) ; R(5) . Indicar su valor de verdad.
b) Hallar el valor de verdad de: i) P(6)  Q(6) ii) P(3)  Q(3) iii) ~ R(4)
iv) P(3)  R(2) v) Q(1) ~ P(3) vi) Q(5)  P(1)

c) Traducir todas las proposiciones compuestas al lenguaje coloquial.

d) Indicar el conjunto de verdad de P( x), Q( x) y R( x) .
UAI –Licenciatura en matemática- Profesorado de matemática
Álgebra I Ejercicios Adicionales: Práctica 3: Estructuras proposicionales

1) a) Definir el conjunto universo y las distintas estructuras proposicionales utilizadas.

b) Simbolizar las proposiciones utilizando cuantificadores.
c) Negar cada una de las proposiciones de b)

i) A algunas personas le gustan las Matemáticas

ii) A algunas personas no le gustan las Matemáticas
iii) A todo el mundo le disgustan las Matemáticas
iv) A todo el mundo le gustan las Matemáticas

2) Idem 1)

i) A todo el mundo le gustan los helados

ii) A nadie le gustan los helados
iii) A todo el mundo le disgustan los helados
iv) A alguna persona no le gustan los helados

3) Idem 1)

i) Algunos cuadros están viejos o deteriorados

ii) Todos los cuadros están nuevos y bien conservados
iii) Algunos cuadros no son viejos o no están deteriorados
iv) Nótese que no hemos necesitado utilizar la última hipótesis.

4) Sea la estructura proposicional P( x) : x  2 x , donde el universo comprende todos los enteros. Determinar si cada una de
2

las siguientes proposiciones es verdadera o falsa.

a) P(0) b) P(1) c) P(2) d) P(2) e) x : P( x) f) x : P( x)

5) Para el universo de los enteros, sean las siguientes estructuras proposicionales:

P( x ) : x > 0 Q( x) : x es par R( x) : x es un cuadrado perfecto
S ( x) : x es divisible por 4 T ( x) : x es divisible por 5

a) Escribir las siguientes proposiciones en forma simbólica:

i) Al menos un entero es par
ii) Existe al menos un entero positivo que es par
iii) Si x es par, entonces x no es divisible entre 5
iv) Ningún entero par es divisible entre 5
v) Existe al menos un entero par divisible entre 5
vi) Si x es par y un cuadrado perfecto, entonces x es divisible entre 4

b) Determinar si cada una de las seis proposiciones de a) es verdadera o falsa. Para cada proposición falsa, dar un
contraejemplo.

c) Expresar en palabras cada una de las siguientes representaciones simbólicas:

i) x : R( x)  P( x) ii) x : S ( x)  Q( x) iii) x : R( x)  P( x)
iv) x : S ( x) ~ T ( x) v) x : S ( x) ~ R ( x) 
vi) x : ~ R( x) ~ Q(x)  S(x) 
d) Proporcionar un contraejemplo para cada proposición falsa del apartado c).

6) Escribir la negación de cada una de las siguientes proposiciones verdaderas. (Para las partes a), b) y c), el universo es el de los
enteros y para los apartados d) y e), el universo es el de los reales.)

a) Para todo entero n, si n no es divisible entre 2, entonces n es impar

b) Si el cuadrado de un entero es impar, entonces el entero es impar
c) Si k, m y n son enteros tales que k – m y m - n son impares, entonces k - n es par
d) Si x es un número real tal quex 2 > 16, entonces x < -4 o x > 4
e) Para todo número real x, si x  3 < 7, entonces -4 < x < 10