Ejercicios de Logica

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.

Ejercicios de Logica

Cargado por

Copyright:

Formatos disponibles

Ejercicios de Logica

Cargado por

Información del documento

Descripción original:

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejercicios de Logica

Cargado por

Copyright:

Formatos disponibles

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

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

expresar en espaol las siguientes sentencias:

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

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

7.- Idem para el siguiente esquema de inferencia:

8.- Idem para el siguiente esquema de inferencia:

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

10.- Una ley de Morgan es:

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

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

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

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

a) En U, todos los elementos verifican A.

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

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

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

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

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

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

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

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

22.- Simplifica las siguientes proposiciones:

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

24.- Determina, en cada caso, si la informacin que se da es suficiente para conocer el

25.- Los valores de verdad de las proposiciones p, q, r y s son, respectivamente, V, F, F,

26.- Niega las proposiciones

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

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

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

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

i. R es condicin suficiente pero no necesaria para Q

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

Qf : f tiene funcin inversa.

También podría gustarte