Instituto de Ciencias Bsicas

Universidad Nacional de Cuyo

Preclculo

2011

TRABAJO PRCTICO N 1
NOCIONES DE LGICA SIMBLICA
Ejercicio n 1: Decida si cada una de las oraciones siguientes es o no una proposicin lgica. Marque con una
X las que sean proposicin
El cdigo postal de Mendoza es 5200
Tenga un da feliz
El baile es saludable
Un galn de agua pesa ms de 5 libras
Levntese y pase a que lo cuenten

El 12 de octubre de 1949 fue Mircoles

8+15=23
9-4=5 y 2+1=6
No todos los nmeros son positivos
Los Toyotas son mejores autos que los Dodge

Ejercicio n 2: Decida si las siguientes proposiciones son simples o compuestas

Proposicin
Yo leo novelas y leo peridicos
3+5<6
Lus canta o baila
Si Francisco no es un poltico, entonces Edgardo es un ladrn
Mi hermana contrajo matrimonio en Pars

simple

compuesta

Ejercicio n 3 En la columna de la izquierda hay una lista de proposiciones. Para cada una de ellas, indique si
la correspondiente proposicin a la derecha es o no su negacin. Si no lo es, escriba correctamente la
negacin.
Proposicin
El pizarrn es verde
4 es mltiplo de 8
El conjunto A tiene un solo elemento
A es un conjunto vaco
ab
a b
a < bc
Hoy no llovi en San Rafael

El pizarrn es negro
4 no es mltiplo de 8
El conjunto A es vaco
A tiene al menos un elemento
a>b
a b
a b b>c
Hoy llovi en Malarge

Ejercicio n 4: Represente con p la proposicin Ella tiene ojos azules y con q a El tiene 43 aos de edad.
Traduzca cada proposicin compuesta a palabras.
Proposicin

p
pq
pq
q
pq

A
B
C
D
E

Traduccin

p q
p q

F
G

p q

Ejercicio n 5 Sean a, b y c nmeros reales y sean las proposiciones: p: a < b; q: b < c; r: a < c. Represente
en trminos de p, q y r los siguientes enunciados
1.
2.
3.

a<b<c
(a b y b < c) o a c
No es cierto que (a < b y a < c)

Ejercicio n 6: Lleve a lenguaje simblico, en cada caso indique el nombre de cada proposicin

Prof. Lic. Miriam Pirani

Prof. Lic. Eliana Leonangeli
Prof. Lic. Vernica Nodaro

Instituto de Ciencias Bsicas

Universidad Nacional de Cuyo
1.
2.
3.
4.

Preclculo

2011

O me prestas los apuntes o no podr estudiar para el examen.

Cristina y Federico coleccionan figuritas y Juan colecciona banderines.
Ni Cristina colecciona figuritas, ni Juan banderines.
Juan colecciona banderines pero Federico no colecciona figuritas, Federico colecciona tapitas de
gaseosa.

Ejercicio n 7: Conteste
1.
2.
3.

Si sabemos que p es verdadera Qu podemos decir acerca del valor de verdad de p q , an cuando
no tenemos el valor de verdad de q?
Si p es falsa, Qu podemos saber acerca del valor de verdad de p q , an cuando no tenemos el
valor de verdad de q?
Si p es falsa, Cul es el valor de verdad de p q r ?

Ejercicio n 8: Si p es una proposicin falsa y q una proposicin verdadera. Encuentre el valor de verdad de
las siguientes proposiciones compuestas

a) p

b) q

f) p q q

e) p q

c) q q

g) p q

d) p q p
h) p q

Ejercicio n 9: Suponga que p representa una proposicin verdadera y q y r son proposiciones falsas.
Encuentre el valor de verdad de las siguientes proposiciones compuestas

a) q r p

b) r q r q

c) p q r q

Ejercicio n 10: Construya la tabla de verdad para cada una de las siguientes proposiciones compuestas

b) q p q

a) p q

c) p q p q

Ejercicio n 11: Utilice una de las Leyes de De Morgan para escribir la negacin de cada una de las
proposiciones siguientes
1.
2.
3.
4.
5.
6.
7.

Puedes pagarme ahora o puedes pagarme despus

Es verano y no hay nieve
Un nmero positivo es 1/3 y -12 es menor que cero.
Yo dije si pero ella dijo no
5-1=4 y 9+127
3<10 o 72
El abogado y el cliente se presentaron en la corte.

Ejercicio n 12: Decida si cada una de las proposiciones siguientes que incluyen cuantificadores son
verdaderas o falsas.
1.
2.
3.
4.
5.

Todo nmero natural es un entero.

Existe un entero que no es un nmero natural.
Todos los nmeros irracionales son nmeros reales.
Algunos nmeros racionales no son enteros.
Cada nmero racional es un nmero positivo.

Ejercicio n 13 Para cada una de las siguientes proposiciones analice su valor de verdad y escriba, en forma
simblica, su negacin. Asuma que las variables toman valores en el conjunto de los nmeros reales.
Por ejemplo, dada la proposicin
se verifica

3 2 4
3
7

3
7

Prof. Lic. Miriam Pirani

Prof. Lic. Eliana Leonangeli
Prof. Lic. Vernica Nodaro

x | 3 x 2 4 x 1

, la misma es verdadera puesto que para

, y la negacin de la proposicin es

x 3/ 7

(x), 3 x 2 4 x 1.

Instituto de Ciencias Bsicas

Universidad Nacional de Cuyo
1.
2.
3.
4.
5.
6.
7.
8.
9.

Preclculo

2011

x | x 2 x 1 0
x, ( x 1) ( x 1) x 2 1
x | x 2 1 0
x, x 2 3 x 2 0
x | x x
x, x x 0
x, (y | x 2 y 2 ( x y ) 2 )
x, (y, x y y x)
x | (y, x y 0)

Ejercicio n 14 Escriba las siguientes frases con notacin lgica.

1.
2.
3.
4.

x 0 , existe n natural tal que n x y x 1/ n .

Para todos m, n existe p natural tal que m p y p n .
Existe u en los naturales tal que un n para todo n natural.
Para cada n natural existe m natural, tal que m n .
Para todo

Ejercicio n 15: Encuentre el valor de verdad

1.
2.
3.
4.

Para cualquier nmero real y, y<12 o y>4

Para cualquier nmero real t, t>3 o t<3
Para algn entero p, p5 y p5
Existe un entero n tal que n>0 y n<0

Ejercicio n 16: Decida cuando cada proposicin es verdadera o falsa

1.
2.

Si el antecedente de una proposicin condicional es falso, la proposicin condicional es verdadera.

Si el consecuente de una proposicin condicional es verdadero, la proposicin condicional es
verdadera.

3.

si q es verdadera, entonces

4.
5.

La negacin de Si los cerdos vuelan, yo lo creera es si los cerdos no vuelan, yo no lo creera

La proposicin si esto vuela, entonces es un pjaro y esto no vuela o es un pjaro son
proposiciones lgicas equivalentes.
Dado que p es verdadera y q falsa, la condicional p q es verdadera.

6.

p q q

es verdadera.

Ejercicio n 17: Escriba cada proposicin usando los conectivos sientonces. Reacomode la redaccin o
agregue palabras si es necesario
1.
2.
3.
4.
5.
6.
7.

Es suficiente ser tringulo equiltero para ser issceles.

Es necesario ser issceles para ser tringulo equiltero.
Es necesario tener 18 aos para poder votar.
Todos los enteros son nmeros racionales.
Defender la ecologa es necesario para ser reelecto.
El director contratar ms profesores slo si la junta escolar lo aprueba..
Resolver crucigramas es suficiente para volverme loco.

Ejercicio n 18: Complete la siguiente tabla.

Antecedente

Consecuente

Si hace fro entonces uso guantes

2x>10 si x>5
Todo cuadrado es paralelogramo
Ser mendocino es suficiente para
ser argentino

Prof. Lic. Miriam Pirani

Prof. Lic. Eliana Leonangeli
Prof. Lic. Vernica Nodaro

Instituto de Ciencias Bsicas

Universidad Nacional de Cuyo

Preclculo

Ejercicio n 19: Sean p , q y

p : est lloviendo''
q : el sol est brillando''
r : hay nubes en el cielo''.

2011

las proposiciones siguientes:

Traduzca los siguientes enunciados a notacin lgica, utilizando p , q , r y conectivos lgicos.

1. Si est lloviendo, entonces hay nubes en el cielo.
2. Si no est lloviendo, entonces el Sol no est brillando y hay nubes en el cielo.
3. El Sol est brillando si y slo si no est lloviendo.
4. Si no hay nubes en el cielo, entonces el Sol est brillando.
Ejercicio n 20: Sean
oraciones en espaol.
1.
2.
3.
4.

p, q

como en el ejercicio anterior. Traduzca las siguientes proposiciones a

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

Ejercicio n 21: Supongamos que todos los das que llueve Juan usa paraguas. Cules de las siguientes
proposiciones son verdaderas y en cules no puede asegurarse nada?
1.
2.
3.
4.

5.

Si
Si
Si
Si
Si

llueve entonces Juan usa paraguas.

Juan usa paraguas entonces llueve.
Juan no usa paraguas entonces no llueve.
no llueve entonces Juan no usa paraguas.
no llueve entonces Juan usa paraguas .

Ejercicio n 22: Clasifique como verdadera o falsa a cada condicional. Aqu V representa a una proposicin
verdadera y F a una proposicin falsa.

a) F 4 7

b) F 3 3

c) V 4 2

d) 4 11 7 3 0

Ejercicio n 23: Encuentre el valor de verdad de de cada proposicin sabiendo que p y r son falsas y que q es
verdadera.

a) r q
Ejercicio n 24:

b) r p

c) p r

d) p r p r

Suponiendo que p q es falso, indique los valores de verdad para

a) p q

b) p q

c) q p

Ejercicio n 25: Escriba la negacin de cada proposicin. Recuerde que la negacin de

1. Si das a tus plantas ternura, y las cuidas con cario, florecern.
2. Si el cheque est en la correspondencia, estar sorprendido.
3. Si ella no lo hace, el lo har.
4. Todos los hombres alguna vez fueron nios.

pq

es

p q

Ejercicio n 26: Decida cules de las siguientes proposiciones son equivalentes usando tablas de verdad.

a) p q; p q

Prof. Lic. Miriam Pirani

Prof. Lic. Eliana Leonangeli
Prof. Lic. Vernica Nodaro

b) q p; p q

c) p q ; p q

Instituto de Ciencias Bsicas

Universidad Nacional de Cuyo

Preclculo

2011

Ejercicio n 27: Realice las siguientes demostraciones

1.
2.
3.
4.
5.
6.

pq
Si un nmero es impar, entonces su cuadrado es impar enunciar el contrarecproco, el
contrario y el recproco. Demuestre el primero.
Si a b y c d entonces a c b d .
Si a b entonces b a .
Si a b y c 0 entonces ac bc
Si a b y c 0 entonces ac bc
Si p: a.b es impar y q: a y b son impares. Demostrar

INDUCCIN MATEMTICA
Ejercicio n 28: Aplique induccin matemtica para demostrar que la frmula es verdadera para todos los
nmeros naturales n
1.
2.
3.
4.
5.

2 4 6 .... 2n n(n 1)
n (3n 1)
1 4 7 .... (3n 2)
2
n
(
n

1) (2n 1)
12 22 32 .... n 2
6
2
n (n 1)2
3
3
3
3
1 2 3 .... n
4
n
1
1
1
1

....

1.2 2.3 3.4

n(n 1) n 1

Ejercicio n 29 Demuestre que

n 2 n es divisible entre 2 para todos los nmeros naturales n.

Los ejercicios que deben presentarse son:

Ejercicio 8, d-g-h.
Ejercicio 10, c.
Ejercicio 11, 4-5-6.
Ejercicio 13, 5-6-7.
Ejercicio 19, 3-4.
Ejercicio 28, 2.

Prof. Lic. Miriam Pirani

Prof. Lic. Eliana Leonangeli
Prof. Lic. Vernica Nodaro