UNSa.

Sede Regional Orán INTRODUCCION A LA MATEMATICA

Departamento de Matemáticas 1er Cuatrimestre de 2019
Carrera de Técnico Electrónico Universitario Nociones de Lógica

Trabajo Práctico Nº 1

1) Analiza y decide cuál de las siguientes expresiones son proposiciones.

a) River es el último campeón argentino de la Copa Libertadores.

b) Las provincias del Norte Argentino están todas inundadas.
c) ¡Qué calor!
d) La Matemática y la Física son ciencias abstractas.
e) 8 es divisor de x
f) Cierre esa puerta.
g) ¿Alguien preguntó por mí?
h) Si la masa de un cuerpo es de 20 kg, su peso es de 20 kg,
i) x es el autor de y.
j) Hoy llueve pero hace calor.
k) x + 8 = 10

2) Sean las siguientes proposiciones simples:

p: El cielo está despejado

q: Veremos el eclipse de luna
r: El libro es ameno
s: El libro está bien ilustrado
t: El mes de Marzo tiene 28 días.

y las expresiones :

i. pq ii. r iii. rs iv.  p   q  v. t   s

vi. pq vii. r  s viii. q   p  q ix. st x. ( s  t )

a) Escribe una frase sencilla y comprensible que describa cada uno de los enunciados dados.
b) Niega en forma simbólica lo establecido en el inciso (a) y luego transcríbelo en lenguaje común.

3) Traducir al lenguaje simbólico:

a) No es cierto que el cielo no está despejado.

b) El libro es ameno y está bien ilustrado
c) Ni llueve ni hace calor.
d) No es cierto que el libro es ameno.
e) El cielo está despejado, en consecuencia veremos el eclipse de luna.
f) Si el libro es ameno y está bien ilustrado entonces el cielo está despejado.
g) El cielo está despejado, también veremos el eclipse de luna.
h) No es verdad que el mes de Marzo tiene 28 días.
i) Esta noche, a las 21, estaré en el teatro o en el club
j) Se otorgarán descuentos especiales a los profesionales o a los estudiantes universitarios.
k) El empleado, dice el jefe, es un ignorante.
l) El empleado dice: el jefe, es un ignorante.
m) El piloto estaba inquieto, pues el viento era muy fuerte.

4) Sea p, q , r y s las siguientes proposiciones simples verdaderas:

p: Aumenta el dólar
q: Se abren las importaciones.
r: Se crean fuentes de trabajo
s: Hay crisis en el país.

Introducción a la Matemática T.P. 1 Nociones de Lógica Página 1 de 5

a) Traduce las siguientes fórmulas a un lenguaje coloquial y determina su respectivo valor de verdad.

i. p s ii. r   s  p  iii. iv. r    p  s

( p  q)   s
b) Escribe simbólicamente las siguientes proposiciones, utilizando las dadas más arriba y determina su
valor de verdad.
i. Es suficiente que se suspenda los pagos de la deuda para que no haya crisis.
ii. Aumenta el dólar si y sólo si, no hay crisis en el país o no hay fuentes de trabajo.
iii. No se suspende el pago de la deuda si aumenta el dólar.
iv. Para que no haya crisis en el país es necesario que se creen fuentes de trabajo.

5) Traducir simbólicamente las siguientes proposiciones ( use correctamente los símbolos  o  ).

a) Si todos los cuadrados son rectángulos y todos los rectángulos son paralelogramos, entonces los
cuadrados son paralelogramos.
b) Si Juan y Pedro son hermanos y José es hijo de Juan, entonces José es sobrino de Pedro.
c) Si se mezcla aceite con agua, entonces el aceite flota sobre el agua.
d) Si perdemos las próximas elecciones, entonces me comeré mi sombrero.

5.1) Escribir las condicionales asociadas del ejercicio b) y traducirlas a lenguaje coloquial.

6) Construir las tablas de verdad de las siguientes expresiones lógicas compuestas:

a) ( p  q)  (q  r ) b)  p   q  r    q
c)  p   q  r    q d)  p  q   q  r 
e)  p   q  r   p f) p   p   q  r 

7) Si p, q son proposiciones verdaderas y r, s son proposiciones falsas, determinar el valor de verdad

de las siguientes proposiciones compuestas:

a)   p  s   q  r b)  p  r    q  s
c) p  r   q  s d)  q  r   p  s
e) r   p   q  s f)  p   r   q  s  

8) Negar cada una de las siguientes proposiciones:

a) Mi calificación es 8 ó 9
b) No es cierto que 2 sea menor que 3
c) Los animales domésticos son agradables pero necesitan mucha atención.
d) Las rosas son rojas además los crisantemos no son blancos
e) El piloto estaba inquieto, pues el viento era muy fuerte.
f) Podemos reír o llorar, pero no nos ayudará a solucionar nuestros problemas.
g) Si el clima es agradable entonces iré a la playa.
h) Iré a trabajar si y sólo si no llueve.

9) Sean q: “Asisto a la Universidad” y s: “Acepto el empleo”

Suponga que q sea falsa y s verdadera. Represente de manera simbólica a cada una de las siguientes
proposiciones y dé su valor de verdad:

a) Asisto a la Universidad o acepto el empleo.

b) Asisto a la Universidad o no acepto el empleo.
c) Ni asisto a la Universidad ni acepto el empleo.

10) Demostrar que las siguientes proposiciones sin tautológicas:

a) b)  q   p    p  q  c)  p  q    p   q
 p  q   p  q

Introducción a la Matemática T.P. 1 Nociones de Lógica Página 2 de 5

 11) Demuestre que:

a)   p  q   p  q b)  p  q   q  r   p  r  c) p   q  r    p  q  r

12) Determinar una proposición equivalente a:

a)  p  q  b)  p  q  c) (  p ) d)  p  q 

13) Escribir en le lenguaje simbólico y determinar cuales son proposiciones equivalentes

p(x): x es un nene que llora.

a) Ningún nene llora.

b) Algunos nenes no lloran.
c) No todos los nenes lloran.
d) Algunos nenes lloran.

14) Sea x un hombre de la argentina

p(x): x es músico
q(x): x es rico

a) Escribir en lenguaje coloquial y dar su valor de verdad:

i. p(Juan) ii. q(Menem) iii. p(Pedro) iv. q(Martin)

b) Expresar en el lenguaje simbólico y dar su valor de verdad:

i. Hay músicos y además hay pobres
ii. Todos los músicos son pobres
iii. Hay músicos ricos.
iv. No hay músicos pobres.

15) Analizar el valor de verdad de las siguientes proposiciones:

i. ii. iii. iv. v.

x  N : x  3 x  Z : x 2  6 x : y : x  y  2 x : y : x  y  4 x : y : x  y  5

16) Negar las siguientes proposiciones, y dar su valor de verdad

i. x  R : x 2  0 ii. x  N / 2 x  1  0 iii.

x  R : x  0  x 2  1 
17) En los siguientes problemas enunciar la recíproca, la contraria y la contrarrecíproca de la condicional
dada.
a) Para todo entero x: si x es par, entonces x 2 es par
b) Para todo entero x: si x  0 entonces x 2 es positivo
c) Para todo cuadrilátero Q: si Q es un cuadrado, entonces Q es un rectángulo.

18) Demostraciones:
a) Demostrar que si x es impar entonces x 2 es impar.
b) Probar en forma indirecta que si x 2 es par, entonces x es par
c) Probar que la suma de dos números pares es un par.
d) Probar que la suma de dos números impares es un par.
e) Demostrar que el producto de dos impares, es un impar.
f) Demostrar por el absurdo que raíz de dos, no es racional.
g) Encontrar un contraejemplo para probar, que la suma y el producto de números irracionales, no
siempre da un irracional.

Introducción a la Matemática T.P. 1 Nociones de Lógica Página 3 de 5

Resumen:

Formas lenguisticas más usuales asociadas a:

Condicional: p  q
1) Si p, entonces q 2) p implica q
3) Si p, q 4) q, si p ó q siempre que p
5) p, por (lo) tanto q 6) Puesto que p, q
7) q, puesto que p 8) q, pues p
9) p, en consecuencia q 10) Toda vez que p, q
11) q, toda vez que p 12) p, luego q
13) p, por consiguiente q 14) p, por ello q
15) p sólo si q 16) q, en caso que p
17) p es suficiente para q 18) q es necesario para p

Negación :  p Conjunción: Disyunción: Disyunción Bicondicional: p  q

No; .... pq pq exclusiva: p q ... si y solo si...
No es cierto que;..... ... y... ..o.. o ..., o... ... cuando y solamente cuando ...
No es verdad que;..... ... pero ... o bien ..., o bien...
Es falso que;.... ....mas...
....además...
....también...
....sin embargo...
Negaciónes:
Disyunción: ( p  q )   p   q
Disyunción exclusiva:  p  q    p  q    p  q 
Conjunción: ( p  q )   p   q
Condicional:  p  q)   p   q
Cuantificador Universal:  x : p ( x )   x /  p ( x )
Cuantificador Existencial:  x / p ( x )   x :  p ( x)
Bicondicional:  p  q     p  q  ó  p   q 

Tablas de Verdad:
Disyunción
Conjunción Disyunción Condicional Bicondicional
exclusiva
p q pq pq p q pq pq
V V V V F V V
V F F V V F F
F V F V V V F
F F F F F V V

Condicionales asociadas
pq Directa
q p Reciproca Relación entre la directa y la contrarrecíproca
 p  q Contraria p  q   q  p
 q  p Contrarrecíproca
Leyes del álgebra proposicional:

Involución: Idempotencia : Conmutatividad: Asociatividad:

 ( p)  p ( p  p)  p pq  q p ( p  q)  r  p  (q  r )
pq  q p ( p  q)  r  p  (q  r )

Introducción a la Matemática T.P. 1 Nociones de Lógica Página 4 de 5

Distributividad de la Distributividad de la Leyes de De Morgan:
conjunción respecto a la disyunción respecto a la  ( p  q)   p   q
disyunción: conjunción:  ( p  q)   p   q
( p  q )  r  ( p  r )  (q( 
pr ) q )  r  ( p  r )  (q  r )

Introducción a la Matemática T.P. 1 Nociones de Lógica Página 5 de 5