Instituto de Enseñanza Superior ´´Lola Mora´´

Elementos de Aritmética y Álgebra

Trabajo Práctico N° 1

1) Dadas las proposiciones : p : ” 3 es par “; q : “ 5 es primo” ; r : “ Juan es rubio “

s : “ Rosa es rubia “, escribir en forma simbólica.

a) Juan es rubio o Rosa es rubia.

b) Juan es rubio y Rosa no es rubia.
c) 3 es par y 5 es primo.
d) 3 es impar y 5 no es primo.
e) 3 no es impar o 5 es primo.
f) Rosa no es rubia y Juan no es rubio.
g) No es cierto que, Rosa es rubia y Juan es rubio.
h) Rosa no es rubia o Juan no es rubio.
¿A cual de las dos proposiciones anteriores es equivalente esta última?

2) Sean las proposiciones p: “e no es un número racional”, q: “0 es un número racional”,

escribir en lenguaje corriente.
a) p  q b) p   q c)   p  q  d)  p  q e)    p   q 

3) Confeccione las tablas de verdad de las proposiciones siguientes:

a)  p  q   r b)  p  q   p c)  p  q   p

4) Verificar las siguientes equivalencias:

a) p  q  r  p  r   q  r  b) p  q   q   p c)  p  q   p   q

5) ¿Cuál de las siguientes proposiciones son leyes lógicas?

a) p   p  q  b)  p  q   p c) p  q  p d) p   p  q

6) Simplificar las siguientes proposiciones:

a)    p   q  b)   q   p  c)   p  q    p  q 
7) Los valores de verdad de las proposiciones p, q, r, y s son V, F, F y V
respectivamente. Obtener los valores de verdad de :
a) p  q  r  b)  p  q   r   s c) r   s  p  d) ( p  q )  p    p  r 

e) ( p  r )  ( r   s ) f)  p  q    r   q 

8) Considere como implicaciones directas las que figuran a continuación, construya la

recíproca, la contraria y la contrarecíproca de cada una.

a) Si tengo vacaciones, entonces me voy a Mar del Plata.

b) Si no voy a trabajar, entonces me levanto tarde.
c) Si un cuadrilátero es rectángulo, entonces las diagonales son congruentes.
d) Si una función es periódica entonces no es inyectiva.

9) Siendo P(x,y) : “ x divide a y ” en A = 1 , 2 , 3 , 4  , dar el valor de verdad de las

siguientes proposiciones:

a)  x A ,  y A : P( x, y) b)  x A ,  y A : P( x, y)
c)  x A /  y A : P( x, y) d)  x A ,  y A / P( x, y)

10) Siendo A = 1 , 2 , 3 , 4 , cuantifique para que las proposiciones sean verdaderas:

a) … x  A. .. x  N b) … x  A ...x 2  0 c) … x  A ...x  4

11) Negar las siguientes proposiciones:

a) Todos los hombres pasan hambre.
b) Algunos hombres pasan hambre.
c) En todo triángulo rectángulo el cuadrado de la hipotenusa es igual a la suma
de los cuadrados de los catetos.
d) Voy al cine y voy al teatro.
e) Voy al cine o voy al teatro.
f) No voy al cine ni al teatro.

12) Dado el A =   1 ,1, 0 , 2 , 3  , dar el valor de verdad de las siguientes proposiciones y

negarlas.
a)  x  A / x 2  1 0 b) x  A : x 2  3x  2  0 c) x  A :  y  A / x  y 


d) x  A : y  A / y  x  x 2  y 2 
13) Negar las siguientes proposiciones:

a)  x / P ( x)   Q( x) b)  x :P( x)  Q( x) c) x ,  y / x .y  0

d) Sabiendo que p  q equivale a  p   q y que :

f es continua en x = xo  1) Está definida f ( x o )  2) Existe lim f ( x )

x xo
 3) lim f ( x )  f ( x o )
x  xo
Obtener una definición de f no es continua en x = xo

14) Dadas las siguientes proposiciones, se pide: expresarlas en forma simbólica, negar
las expresiones obtenidas y decodificar la negación en lenguaje ordinario.

a) El cuadrado de todo número real es mayor que dos.

b) Existen números enteros cuyo cubo, aumentado en uno, es igual al cubo del
siguiente.
c) Si una función es derivable en un punto cualquiera x0 , entonces es continua
en dicho punto.
d) Todo número entero, si es par entonces es múltiplo de dos.
e) Un cuadrilátero es paralelogramo si y solamente si tiene dos pares de lados
opuestos y paralelos.
f) Toda persona, si estudia entonces triunfa en la vida.

15) Sean p(x):” 5 divide a x “ q(x):” x es impar”

a) Escribir en lenguaje coloquial y dar el valor de verdad de las siguientes
proposiciones: i)  x N: q( x) ii)   x N: p( x) 
b) Expresar a) ii) simbólicamente de manera equivalente a la dada.
c) Escribir en símbolos:
i) No es cierto que todo número natural sea par
ii) Existen números naturales divisibles en 5.
d) Expresar la proposición del apartado c)i) simbólicamente de manera
equivalente.
e) Demostrar c) i).

16) Demostrar la falsedad de las siguientes proposiciones:

a) x N : 2x  1 es múltiplo de 3

b) x Z : x 2  4  x  2
c) x R : x  1 x  2

d) x N : Si x es divisible en 6 y en 4 entonces x es divisible en 24

17) Demostrar por el método directo
a) El cuadrado de un número par es par.
b) La suma de dos números pares es par.

18) Demostrar por el método indirecto del contrarecíproco.

a) Si el cuadrado de un número natural es par, entonces dicho número es par.
b) Si el producto de dos números naturales es impar, entonces ambos factores son
impares.

19) Demostrar por método directo, pero separando por casos.

a) El producto de un número natural por su consecutivo es par.
b)  x R : x 2  0

20) Demostrar x N : x 2 es impar  x es impar

21) Demostrar por el método del absurdo que: Si p es un primo positivo entonces p es

irracional .