Instituto Superior del Profesorado Joaqun V.

Gonzlez
Profesorado de Matemtica - lgebra I A y lgebra I C Turno Maana
Ao 2014
Trabajo Prctico N 1 - Unidad N 1
Lgica Matemtica
Ejercicio 1:
Analizar si las siguientes expresiones son proposiciones o no. Justifique su respuesta
a. 2x -3 > 7
b. Los precios de los telfonos celulares bajaron un 5% a fin de ao.
c. Los conflictos sociales en la ex URSS no representan un grave riesgo para
la paz mundial.
d. Por favor, atiende el telfono si suena ms de dos veces
e. El agua no hierve a los 90 centgrados
f. No se sabe quin mat a Kennedy
g. X obtuvo el premio Nobel de la Paz en 1968
h. 15 6 = 9
Ejercicio 2:
a) Siendo p: veo televisin y q: hay luz, escribir en lenguaje coloquial la expresin
~ (~ p) ~ (~ p ~ (~ q)) y luego simplificarla si es posible.
Ejercicio 3:
Hallar las tablas de verdad de las siguientes proposiciones y clasificarlas
a) p q q
b) p ~ q r
c) p q p q
d) ( p q) ~ p ( ~ q )
e) ~ p ( q p )
f) p q r p ( ~ q) r
g) p q q p
h) ~ p q ~
~q

i) p q ( r p ) ( r q)

Ejercicio 4:
a) Demostrar que la barra de Scheffer p q est definida como la negacin de la
conjuncin de dos proposiciones, y que la negacin de Peirce p q es la negacin de la
disyuncin. Dar una definicin coloquial para estos conectivos.
b) Demostrar:
b1) ~ p p p
b2) p q ( p q ) ( p q )
b3) p q ( p p ) ( q q )
b4) p q ( p ~ q )

Ejercicio 5:
Indique en cules de los siguientes casos p es condicin suficiente para q; y en cules p
es condicin necesaria y suficiente para q.
a) p: A es nmero par
q: A es mltiplo de 4
b) p: A y B son pares
q: A + B es par.
Ejercicio 6:
Profesora: Silvia Tajeyan

pgina 1

Instituto Superior del Profesorado Joaqun V. Gonzlez

Profesorado de Matemtica - lgebra I A y lgebra I C Turno Maana
Ao 2014
a) Si p q es falsa, qu valor de verdad tienen cada una de las siguientes
proposiciones?
a) p q

b) ( p q ) r
c) p q

b) Si v(q)=V qu valores de verdad deben tener las proposiciones p, r y s para que la

siguiente proposicin resulte verdadera : q p r s s r q
Ejercicio 7:
Justificar si la informacin sobre los valores de verdad de algunas proposiciones que se
dan en cada caso es suficiente o no para determinar el valor de verdad de la proposicin
compuesta indicada
a) p q p r

con v ( p ) V y v ( q ) F

b) p p q

con v ( q ) F

c) p q p r

con v ( q ) F

Ejercicio 8:
Al negar el enunciado siguiente, cul es su equivalente? Juan est melanclico porque
vive alejado de su familia.
a) No es cierto que, Juan vive alejado de su familia porque no est melanclico.
b) Juan vive alejado de su familia y est melanclico.
c) Juan no est melanclico y vive alejado de su familia.
d) Juan est melanclico pero no vive alejado de su familia.
Ejercicio 9:
a)

b)

c)

d)

r q

~r ~q

~ q r

~r~q

rs

p~ p
p p
~ p p

f)

g)

h)

~ q ~ r

rq
( s r ) ( p m)

pq

p q r

pq
pr
qs

p ~ q

r ~ p

rs

p~ q

e)

pq

p q r

~ p

rs

pm

i)

~ q

~ q r
p
p

~ r

j)

~ p q
~ r t

q ~ t
~ p r

Ejercicio 10:
Traducir los siguientes razonamientos al lenguaje de la lgica proposicional y analice su
validez a travs de la prueba de invalidez. En caso de ser vlido, demustrelo tambin
utilizando el mtodo deductivo

Profesora: Silvia Tajeyan

pgina 2

Instituto Superior del Profesorado Joaqun V. Gonzlez

Profesorado de Matemtica - lgebra I A y lgebra I C Turno Maana
Ao 2014
a. Si el tren llega a las 7 y no hay taxis en la estacin, entonces Juan llegar tarde
a la reunin. Juan no ha llegado tarde a la reunin. El tren lleg a las 7. Por
tanto, haban taxis en la estacin.
b. Si Carlos aumenta de peso, entonces abus de los dulces o abus de las pastas.
Si Carlos no abus de los dulces, entonces est mintiendo. Si Carlos est
mintiendo y aumenta de peso, entonces no abus de las pastas. Por lo tanto,
Carlos abus de los dulces.
c. Me gusta al menos una de las tres asignaturas: lgebra, Lgica o Dibujo. Si
me gustase el lgebra pero no el Dibujo, me gustara la Lgica. O me gusta el
Dibujo y la Lgica, o bien ninguna de las dos. Si me gustase el Dibujo,
entonces me gustara el lgebra.
d. Si voy a tu casa, cenaremos muy tarde. Si no voy, me perder el partido de
ftbol de esta noche. Es seguro que o voy a tu casa o no voy. Por lo tanto, es
seguro que o cenaremos muy tarde o me perder el partido de ftbol de esta
noche.
e. Si 2 es par, entonces 5 no es divisor de 9. Por otra parte 11 no es primo 5 es
divisor de 9. Adems, 11 es primo. Por tanto, 2 es impar.
f. Pepe es contable o Pepe es actor, pero no ambas cosas a la vez. Si no es
contable, no llevar bien las cuentas de su casa. Es seguro que Pepe es actor.
En consecuencia, Pepe no llevar bien las cuentas de su casa.
g. Si A compra la casa, F ser su aval. Si los precios son accesibles, A comprar
la casa y R alquilar un terreno. Pero si F es el aval, M se disgustar con F. Por
tanto, si R no renta el terreno, M se disgustar con F.
h. Si acepto este trabajo o dejo de pintar por falta de tiempo, entonces no
realizar mis sueos. He aceptado el trabajo y he dejado de pintar. Por lo tanto,
no realizar mis sueos.
Ejercicio 11:
Dibujar el circuito ms simple que pueda asociarse a cada una de las siguientes
proposiciones.
a) ~ p ~ q ~ p q p ~ q
b) p q p ~ q ~ p ~ q
Ejercicio 12:
Indicar la proposicin ms simple que puede asociarse a cada uno de los siguientes
circuitos y graficar el nuevo circuito.

a)

Profesora: Silvia Tajeyan

pgina 3

Instituto Superior del Profesorado Joaqun V. Gonzlez

Profesorado de Matemtica - lgebra I A y lgebra I C Turno Maana
Ao 2014
p

~q

~q

b)
~p

c)

~r
a

b
a

~p
c

b
b
c
a

Ejercicio 13:
Indicar cules de los siguientes enunciados son funciones proposicionales e indique su
dominio y su conjunto de verdad
a. X-8=3
b. X es un mes del ao
2
c. x 8
d. La madre de x
e. X en un nmero entero positivo mltiplo de 2
f. Bobby tiene cuatro patas
Ejercicio 14:
Dado A={1,2,3,4,5} hallar el valor de verdad de los siguientes enunciados.
a) x A / x 3 10
b) x A : x 3 10
c) x A / x 3 5
d) x A : x 3 7

Ejercicio 15:
Sea A={1,2,3,4,5,6,7,8,9,10}. Considerando las siguientes expresiones, indicar cules
son proposiciones y cules funciones proporcionales. De las que son proposiciones
indicar el valor de verdad.
a) x A y A / x y 14
b) y A : x y 14
Profesora: Silvia Tajeyan

pgina 4

Instituto Superior del Profesorado Joaqun V. Gonzlez

Profesorado de Matemtica - lgebra I A y lgebra I C Turno Maana
Ao 2014
c)
d)

x A y A : x y 14
y A / x y 14

Ejercicio 16:
Hallar el valor de verdad de las siguientes proposiciones categricas
a. x : x Z x es par
b. x : x x es divisible por 2
c. x, y : x y 8 en
1

x, y : x ; y ; x y 8
5

d.

e. x, y : x y y en

x, y : x ; y ; x y 8
5

f.
g. x, y : x Q; y Z ; x y 1
h. x, y : x Z ; y N ; x y 1
i. x : x : y : y R x y 1

Ejercicio 18:
Negar las siguientes proposiciones.
a) x : x 0
b) y / 5 y 12
c) x y : z / x z y

2
2
d) xy : x y x y x y

e) x : P x Q x
f) x : P x Q( x)

g) x : P x Q x

h) x : P x Q x
Ejercicio 19:
Indicar cules de los siguientes enunciados corresponden a verdades matemticas en el
conjunto de los nmeros naturales. (Considere al 0 como nmero natural)
a.
b.
c.
d.

x, y : x y y x
x, y : x y 0

x , y : y x x , y : y x
x, y : y x x, y : x y

Ejercicio 20:
Simbolizar los siguientes enunciados en lgica de predicados de primer orden,
primeramente sin usar cuantificadores existenciales y luego sin usar cuantificadores
universales
a. No todos los animales tienen cuatro patas
b. Algunos pjaros son hermosos o coloridos
Profesora: Silvia Tajeyan

pgina 5

Instituto Superior del Profesorado Joaqun V. Gonzlez

Profesorado de Matemtica - lgebra I A y lgebra I C Turno Maana
Ao 2014
c.
d.
e.
f.
g.

Ningn ratn es ms pesado que un elefante

Todo nmero entero es negativo o posee raz cuadrada
Existen mltiplos de dos que son mltiplos de cuatro
Todos los nmeros primos son no negativos.
El nico nmero primo par es el 2.

Ejercicio 21:
Expresar cada uno de los siguientes razonamientos como proposiciones categricas y
determine su validez. Si son invlidos, modificar su conclusin para hacerlos vlidos
a. Ningn cientfico es un gran artista. Algn gran artista es tambin buen
deportista. Entonces, algn buen deportista no es un gran cientfico
b. Toda recta es infinita. Algunas lneas son rectas. Luego, algunas lneas son
infinitas
c. Ningn atleta es una rata de biblioteca. Carlos es una rata de biblioteca.
Entonces, Carlos no es un atleta
d. Todos los montaeses son afables. Ninguna persona afable es accesible. Algn
proscripto es montaes. Por lo tanto, algn proscripto es accesible.
e. Ningn jugador es feliz. Algunos idealistas son felices. Algunos jugadores son
forzudos. Por lo tanto, ningn idealista es forzudo.
f. Todos los burlones son pcaros. Ningn pcaro dice la verdad. Nadie que dice
la verdad es feliz. Por lo tanto, ningn burln es feliz.

Profesora: Silvia Tajeyan

pgina 6

Instituto Superior del Profesorado Joaqun V. Gonzlez

Profesorado de Matemtica - lgebra I A y lgebra I C Turno Maana
Ao 2014
Leyes lgicas
Leyes de identidad

A A
A A

Ley de contradiccin

A A

Ley del tercero excluido

A A

Ley de la doble negacin

A A

Leyes de simplificacin
Leyes conmutativas

Leyes asociativas

Leyes distributivas

Leyes de los silogismos hipotticos

Leyes del dilema
Ley de exportacin
Leyes contrarrecprocas

A B A
A A B
A B B A
A B B A
A B B A
A B C A B C

A B C A B C
A B C A B C
A B C A B A C
A B C A B A C
A B C A B A C
A B C A B A C

A B B C A C
A B B C A C
A B C D A C B D
A B C D A C B D
A B C A B C
A B B A
A B B A

Ley del bicondicional

A B A B B A

Ley del condicional disyuncin y

conjuncin

A B A B
A B A B
A B A B
A B A B

Leyes de De Morgan
Ley del Modus Ponens

A B A B

Ley del Modus Tollens

A B B A

Ley del Modus Tollendo Ponens

A B A B

Ley de idempotencia

A A A
A A A
AB A B A B

Definicin de

Profesora: Silvia Tajeyan

pgina 7