Ejercicios para resolver en grupo

Proposiciones
1.1) Traduce las siguientes proposiciones a la forma simblica:

a) a) = 10 si y slo si 2 x = 20
b) b) 3 x + 2 = 11 es equivalente a x = 3
c) c) ni fumar ni beber es bueno para la salud
d) d) no es cierto que, invierto mi dinero en acciones o lo pongo en una
cuenta de ahorro.
e) e) Es suficiente que tenga un compromiso previo para que no pueda ir
contigo


1.2) 1.2) Clasifica las siguientes formas proposicionales en tautologa,
contradiccin o contingencia. Justifica tu respuesta.

b) b) (~
c) c) ( s ~ s ~ t)

1.3) 1.3) Completa los siguientes enunciados de manera que resulten verdaderos:
a) a) Si la proposicin s es F, el valor de s, m y r es
respectivamente.............................................................
b) b) Si la proposicin t ~ q es F, el valor de la proposicin ~q
es...................................................................................
c) c) Si la forma proposicional ~ es F, entonces el valor de ~
es .................................................................................
d) d) El condicional p ~ r es equivalente al
condicional...................................................................


1.4) 1.4) Simplifica las siguientes proposiciones:
a) a) ~ (~ p ~ q )
b) b) ~ ( p q ) (~ p q )
c) c) ~ (~ p ~ r )


1.5) 1.5) Sabiendo que p es V y que q es V, determina el valor de verdad de:
a) a) ~
b) b) ~ ~ q )


1.6) 1.6) Determina, en cada caso, si la informacin que se da es suficiente para
conocer el valor de verdad de las siguientes proposiciones compuestas. En caso
afirmativo, justificarlo:
a) a) ; r es V
x
) ( ) q p p a v
q q p v . )
( ) .t
v
) ( r mv
v
. ) ( q t
) ( m t s
s t

v
v v .
| | q p r p . . v ) (
v v
| . v ) ( q p | q q
| | v . p p q p ( ) (
r q p ) (
b) b) (~ p ~ q ); q es V
c) c) (p q ) ; p es V y r es F
d) d) es V


1.7) 1.7) Los valores de verdad de las proposiciones p, q, r y s son,
respectivamente, V, F, F, V. Obtiene los valores de verdad de:
a) a)
b) b)
c) c) ~ s )


1.8) 1.8) Niega las proposiciones
a) a) ~ Q (x)
b) b)
c) c)


1.9) 1.9) Dadas las proposiciones:
a) a) El cuadrado de todo nmero real es mayor que 2,
b) b) Existen enteros cuyo cubo aumentado en 1 es igual al cubo del siguiente,
c) c) Todo el que estudia triunfa,
Exprsala simblicamente, niega las expresiones obtenidas y retradcela al lenguaje
ordinario.

1.10) 1.10) Determina el valor de verdad de las proposiciones siguientes:
a) a)
b) b)
c) c)
d) d)
e) e) Todo entero es divisible entre si mismo y entre 1.


1.11) 1.11) Escribe cada una de las siguientes funciones proposicionales como una
proposicin verdadera empleando el cuantificador ms general.
a) a) 5 x + 7 = 13
b) b)
c) c)
d) d) 3( 2 x ) = 6 3 x


1.12) Para cada par de funciones proposicionales R
x
y Q
x
determinar si:

i. R es condicin suficiente pero no necesaria para Q
ii. R es condicin necesaria pero no suficiente para Q
v ) ( q p
.
.
) ( r pv
r p r q p . ; ) (
| | s r q p . v v ) (
) ( p s r .
. v r r p ( ) (
v - ) ( / x P x
) ( ) ( : x Q x P x
0 . / : = - y x y x
x x x R 4 3 : = + e
10 7 : = e x R x
11 4 3 / = e - x Z x
13 2 / ( e - x R x
10 3 ( y
x x ) +2
iii. R es condicin suficiente y necesaria para Q
iv. R y Q no estn relacionadas.

a)- R
x
: x es tringulo issceles.
Q
x
: es tringulo rectngulo.

b)- R
x
: x es divisible por 5.
Q
x
: x es divisible por 15.

c)- R
f
: f es una funcin lineal de pendiente m = 2
Q
f
: f es una funcin lineal creciente

d)- R
f
: f es biyectiva.
Q
f
: f tiene funcin inversa.