You are on page 1of 3

) t r ( ) q p ( v .

EJERCICIOS PROPUESTOS

1) De los siguientes enunciados:
* Qu rico durazno.
* 7 + 15 > 50
*
Qu alternativa es correcta?

a) Una es proposicin.
b) Dos son enunciados abiertos.
c) Dos son expresiones no proposicionales.
d) Dos son proposiciones.
e) Todas son proposiciones.

2) Cuntas de las siguientes expresiones son proposiciones?
* Dios mo .... se muri!
* El calor es la energa en trnsito.
* Baila a menos que ests triste.
* Siempre que estudio, me siento feliz.
* El delfn es un cetceo, ya que es un mamfero marino.

3) Dadas las siguientes expresiones:
* El tomo no se ve, pero existe.
* Los tigres no son paquidermos, tampoco las nutrias.
* Toma una decisin rpida.
* Hay 900 nmeros naturales que se representan con tres cifras.
* La Matemtica es ciencia fctica.
* Es imposible que el ao no tenga 12 meses.
Cuntas no son proposiciones simples?

4) Hallar el valor de verdad de las siguientes proposiciones:




5) Determinar el valor de verdad de cada una de las siguientes proposiciones:
I. Si: 3 + 1 = 7, entonces: 4 + 4 = 8
II. No es verdad que: 2 + 2 = 5 si y solo si 4 + 4 = 10.
III. Madrid est en Espaa o Londres est en Francia.
6) Si : ; es falsa, determinar los valores de verdad de "p", "q" y "r".
7) Si la proposicin: es falsa, deducir el valor de verdad de:

8) Si la proposicin compuesta:
Es falsa. Indicar las proposiciones que son verdaderas:
9) Si la proposicin:


25 y x
2 2
= +
) 11 2 7 ( ) 5 2 3 ( = v = +
) 8 10 2 ( ) 3 1 4 ( = =
) 5 12 ( ) 10 7 3 ( > . = +
|
.
|

\
|
= + |
.
|

\
|
=
2
3
2
1
1 2 1
2
r ) q ~ p ( .
) s r (~ ) q ~ p ( v
p ~ ) q ~ p (~ v .
) r q ( ) q p ( .
10) Es falsa, hallar el valor de verdad de las siguientes frmulas:
I.
II.
III.
11) Indicar el valor de verdad de:
I.
II.
III.
12) Indicar el valor de verdad de:
I.
II.
III.
IV.
13) Sean p, q y r las proposiciones siguientes:
p: "est lloviendo"
q: "el sol esta brillando"
r: "hay nubes en el cielo"
Traducir las siguientes oraciones a notacin simblica utilizando las letras asignadas y los
conectivos lgicos:
1 Est lloviendo y el Sol brillando
2 Si est lloviendo, entonces hay nubes en el cielo
3
Si no est lloviendo, entonces el Sol no est brillando y hay
nubes en el cielo

4 El Sol est brillando si, y slo si, no est lloviendo
5 Si no hay nubes en el cielo, entonces el Sol est brillando
6 O est lloviendo o el sol est brillando
14) Sean p, q y r del ejercicio 13. Traducir las siguientes proposiciones simblicas a oraciones en
espaol:
1 (p.q)r
2 ~p(qvr)
3 ~(pvq).r
4 (pr)q
5 ~(p(qvr))
15) Determinar el valor de verdad de las siguientes proposiciones compuestas:
a) si : 2+45 entonces 1+1=2 3>5
b) Si 5>2 entonces 4+2=6 y 3+14
c) No es verdad que: si -2<-3 entonces 4>2 o 1>2
d) Si 5+2 8 entonces no es verdad que: 4+610 5+3=8
d) Si 6+1<5+2 entonces 6<5 y 1<2
16) Simplificar D={([pv~q].[(~r.s)v(~pvq)]).(pq)}q
17) Simplificar la siguiente expresin: [p~(qp)]~q
18) Simplificar a su mnima expresin: ~{~[~(p.q).(~p.~q)]}
19) Verificar si el siguiente argumento es vlido:
*Todos los perros tienen dos patas
*Todos los animales de dos patas son carnvoros.
) q p ( ) r p ( ~ v v
) q r (~ ) q ~ p ( . v
) r ~ p ( )] r ~ q ( ) q p [( v . v .
) q p ( p v
) q p ( ) q p ( .
] p ) q p [( ~ .
] p ) q p [( ~ .
p ) q p ( .
) q p ( ) q p ( .
) q p ( p v
*Por lo tanto, todos los perros son carnvoros.
20) Verificar si el siguiente argumento es vlido:
*Todos los vehculos tienen cuatro ruedas.
*Una bicicleta es un vehculo.
*Por lo tanto, una bicicleta tiene cuatro ruedas.
21) Determinar los circuitos lgicos que representan a los siguientes esquemas moleculares:
a) [(pq)vp].[(pq)v~p]
b) (pvq)[(~pvq)(p.q)]
22) Simplificar los siguientes circuitos lgicos:

23) Dado el circuito lgico, hallar el circuito lgico ms simple posible.

24) Simbolizar, utilizando el cuantificador existencial las siguientes expresiones.
- Todos desaprobamos el curso y no disfrutamos de las vacaciones.
- Todo cetceo es un pez.
- Toda cucaracha es un insecto.
25) Simbolizar, utilizando el cuantificador universal, las siguientes expresiones.
*Existe al menos una montaa.
*Hay cisnes negros.
*Existen animales carnvoros.
*Hay nmeros perfectos.
26) Verificar que la negacin de:
a) x: y: -z: (x+y)=z es -x:-y: z: (x+y =z)
b) -y: x: (xys2) es y: -x: (xy>2)
c) x: [p(x) v q (y)] es -x: [~p(x).~q(y)]
d) x: -y: [p(x).ysx] es -x: y: [~p(x)vy>x]

You might also like