ISFT Nº 151 Tecnicatura Superior en Análisis de Sistemas

Algebra 1ero 1era Profesor: Julio E. RIERA

TRABAJO PRÁCTICO Nº 1 Parte II

Función Proposicional -- Cuantificadores

1.- Dadas las siguientes funciones proposicionales, determinar su valor de verdad para los
distintos valores de x: -2; 4; 23

a) P(x) = x – 2 > 14

b) Q(x) = x2 + 4 = 8

c) x es un número primo

2.- Para P(x)= x + 5 >2 determinar el valor de verdad de la función proposicional

utilizando los cuantificadores universal y existencial. Dar ejemplos con distintos valores de
la variable x

3.- Dadas las expresiones x: x = 7 y x: x2 > 1 obtener las negaciones con
cuantificadores.

4.- Dado el conjunto de los números Naturales N = {1; 2; 3; 4;…..} y sean las siguientes
expresiones
xN / x2-16 = 0 y xN / x2-16 = 0

a) Verificar el valor de verdad de las expresiones.

b) Negar las expresiones con cuantificadores y hallar el valor de verdad

5.- Sea el conjunto A={1; 2; 3}

Determinar el valor de verdad de las siguientes expresiones

a) xA  yA / x2 < y + 1

b) xA, yA / x2 + y2 < 12

c) xA  yA, zA / x2 + y2 < 2z2

d) xA, yA  zA / x2 + y2 < 2z2

6.- Negar las siguientes expresiones con cuantificadores

a) x: [P(x) Q(x)]

b) x: [P(x) Q(x)]

c) x: [P(x) Q(x)]

d) x: {P(x) [Q(x)R(x)]}

 ISFT Nº 151 Tecnicatura Superior en Análisis de Sistemas

Algebra 1ero 1era Profesor: Julio E. RIERA

7.- A las siguientes afirmaciones:

“Si todos los libros de Álgebra son pesados entonces son confusos.”

“Algunos libros de Álgebra son pesados y confusos.”

“Todos los libros de Álgebra son pesados o confusos.”

“Existe un libro de Álgebra pesado que no es confuso.”

a) Expresarlas con propocisiones simples y cuantificadores

b) Negar las expresiones