1.

- Escribir las correspondientes sentencias lgicas para las siguientes frases:

a) Una relacin es una relacin de equivalencia si y slo si es reflexiva, simtrica y

transitiva.
b) Si la humedad es alta, llover esta tarde o esta noche.
c) El cncer no se cura al menos se determine su causa y se encuentre un nuevo
frmaco.
d) Se requiere valor y preparacin para escalar esta montaa.
e) Si es un hombre que hace una campaa dura, probablemente ser elegido.

2.- Con la siguiente asignacin de significados para las variables proposicionales:

p: necesita un doctor
q: necesita un abogado
r: tiene un accidente
s: est enfermo
u: es injuriado

expresar en espaol las siguientes sentencias:

a) (sp)(rq)
b) p(su)
c) ( p q ) r
d) (pq)(su)
e) (su)p

3.- Para cada una de las siguientes sentencias comprobar si son tautologas,
contradicciones o indeterminaciones:

a) ( p ) p
b) p ( p q )
c) ( s q ) q
d) ( p q ) p
e) ( p q ) ( q p )
f) ( p q ) ( q p )
g) p ( p q )
h) ( p ( q p ) ) p
i) p ( q p )
j) ( p q ) ( p q )
k) p ( ( p q ) )
l) p p
m) p p

4.- Comprobar la validez de las siguientes sentencias, utilizando tablas de verdad,

rboles semnticos y refutaccin:

a) ( p q ) ( q p )
b) ( p q ) ( p q )
c) q [ ( p q ) p ]

5.- Utilizando el sistema axiomtico PM de la lgica de proposiciones, demostrar

[p(qr)][(pq)r]
6.- Con las reglas de inferencias dadas en II.6.1 y en el ejercicio 10, demostrar la
validez del siguiente esquema de inferencia:

(pq)r
rs
qs
------------------
p

7.- Idem para el siguiente esquema de inferencia:

rs
pq
( p s )
p q
-----------------
q r

8.- Idem para el siguiente esquema de inferencia:

(rq)r
st
rs
----------------
qt

9.- Pasar a forma clausulada las siguientes sentencias lgicas:

a) [ ( p q ) ( r p ) ( s q ) ] ( r s )
b) [ ( p q ) r ] [ p ( q r ) ]
c) [ ( p q ) ( p r ) ] ( q r )

10.- Una ley de Morgan es:

a) (p q) (p q)
b(p q) p q
c) q p
d) (p q) (p q)

11. - Sealar la expresin equivalente a la frase (p p) (q p):

a) q p
b) p q
c) (p q) p
dp (p q)

12.- De p q, se deduce:
 a) p q
b) p q
c) p q
d) q p

13.- La expresin que es equivalente a la frase x (Ax Bx) en lgica de clases es:

a) A B
b) A B
c) A B =
d) A B = U

14.- La expresin que es equivalente a x (Bx Ax) en lgica de clases es:

a) A B
b) A B
c) A B =
d) A B = U
15.- La frase xy Pxy x Pxx:

a) Es tautologa.
b) No es tautologa.
c) Es vlida si x = y.
d) Ninguna de las otras tres.

16.- La expresin "ningn A es B" se representa en lgica por:

ax (Ax Bx)
bx (Ax Bx)
cx (Ax Bx)
dx (Ax Bx)

17.- Sea U un universo en el que se verifica x (Ax Bx), entonces:

a) En U, todos los elementos verifican A.

b) En U pueden existir algun elemento que no verifica A.
c) Si A es vaco en U, entonces B es vaco en U.
d) Esta expresin no puede verificarse en ningn universo U, porque es una
contradiccin.

18.- En lgica de Lukasiewicz con n valores de verdad, la expresin (p p):

a) Es tautologa (vale 1 para toda interpretacin).

b) Es tauloga slo para lgica trivalente.
c) No es tautologa.
d) Es una contradiccin.
19.- Traduce las siguientes proposiciones a la forma simblica:

a) = 10 si y slo si 2 x = 20

b) 3 x + 2 = 11 es equivalente a x = 3

c) ni fumar ni beber es bueno para la salud

d) no es cierto que, invierto mi dinero en acciones o lo pongo en una cuenta

de ahorro.

e) Es suficiente que tenga un compromiso previo para que no pueda ir

contigo

20.- Clasifica las siguientes formas proposicionales en tautologa, contradiccin o

contingencia. Justifica tu respuesta.

b) (~

c) (s ~s ~ t)

21.- Completa los siguientes enunciados de manera que resulten verdaderos:

a) Si la proposicin s es F, el valor de s, m y r es
respectivamente.............................................................

b) Si la proposicin t ~ q es F, el valor de la proposicin ~q

es...................................................................................

c) Si la forma proposicional ~ es F, entonces el valor de ~

es .................................................................................

d) El condicional p ~ r es equivalente al
condicional...................................................................

22.- Simplifica las siguientes proposiciones:

a) ~ (~ p ~q)

b) ~ ( p q) (~ p q)

c) ~ (~ p ~r)

23.- Sabiendo que p es V y que q es V, determina el valor de verdad de:

 a) ~

b) ~ ~q)

24.- 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) ; r es V

b) (~ p ~ q ); q es V

c) (p q) ; p es V y r es F

d) es V

25.- 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)

b)

c) ~s)

26.- Niega las proposiciones

a) ~ Q (x)

b)

c)

27.- Dadas las proposiciones:

a) El cuadrado de todo nmero real es mayor que 2,

b) Existen enteros cuyo cubo aumentado en 1 es igual al cubo del siguiente,

c) Todo el que estudia triunfa,

Exprsala simblicamente, niega las expresiones obtenidas y retradcela al lenguaje

ordinario.

28.- Determina el valor de verdad de las proposiciones siguientes:

 a)

b)

c)

d)

e) Todo entero es divisible entre si mismo y entre 1.

29.- Escribe cada una de las siguientes funciones proposicionales como una proposicin
verdadera empleando el cuantificador ms general.

a) 5 x + 7 = 13

b)

c)

d) 3( 2 x ) = 6 3 x

30.- Para cada par de funciones proposicionales Rx y Qx determinar si:

i. R es condicin suficiente pero no necesaria para Q

ii. R es condicin necesaria pero no suficiente para Q
iii. R es condicin suficiente y necesaria para Q
iv. R y Q no estn relacionadas.

a)- Rx: x es tringulo issceles.

Qx: es tringulo rectngulo.

b)- Rx: x es divisible por 5.

Qx: x es divisible por 15.

c)- Rf : f es una funcin lineal de pendiente m = 2

Qf : f es una funcin lineal creciente

d)- Rf : f es biyectiva.

Qf : f tiene funcin inversa.