Universidad del Tolima

IDEAD Ibagu

Ejercicios de Tutora 1 10%

Espacio acadmico: Lgica de sistemas
Tema: Lgica proposicional

Resuelva los siguientes ejercicios de lgica proposicional

1. En cada una de las siguientes frases, identifique proposiciones simples

usando variables proposicionales. Asegrese de buscar significados
afirmados de forma positiva (evitando negaciones). Luego escriba la
expresin booleana que describa la frase original. Finalmente, escriba la
contrarrecproca de la expresin y como frase en espaol de la forma ms
natural que pueda.
a. Si el permetro aumenta, entonces el rea se duplica.
b. Si llueve, entonces no ir a hacer mercado.
c. Me quedar solo si t te vas.
d. 8 es un nmero par y 8 es divisible por 2
e. No puedo terminar la tarea si no entiendo la demostracin.
f. Est lloviendo, as que no puedo ir al pueblo.
g. No ha nevado, as que no puedo esquiar.

2. Cul de las siguientes expresiones es una tautologa?

a. (P Q) ( P Q)
b. ( P Q) P
c. P ( P Q)
d. (P Q) ( P Q)
e. ( P Q) (P Q)

3. Cul de las siguientes expresiones es una tautologa?

a. P ( P Q )
b. P Q ( P Q)
c. ( P Q) (P Q)

4. Cul de las siguientes expresiones es una tautologa?

a. (P Q) ( P Q)
b. ( P Q) (Q P)
c. (P Q) ( P Q)

5. ~d p si mara no tiene dientes, Dios le da pan

~p d Dios no le da pan a maria o ella tiene dientes

Ingeniera Jenny Carolina Ramirez Leal

 Universidad del Tolima
IDEAD Ibagu

d mara tiene dientes

Comprobar la siguiente afirmacin para verificar si es una tautologa

((~d p ) (~p d)) d

6. Dada la siguiente afirmacin establezca la expresin proposicional

Si Dios no le da pan a Mara, ella tiene dientes. Dios le da pan a Mara.

Entonces Mara no tiene dientes.
Una vez realizada la expresin resulvala y verifique si es una tautologa o
no.
7. Forme la expresin proposicional a los siguientes enunciados:
a. Juanita, podrs salir a la calle cuando arregles la cama y limpies los
muebles.
b. El crimen fue cometido por X o por Y. X estaba fuera del pueblo
cuando el crimen fue cometido

8. Cul es el resultado de las siguientes expresiones

a. 3+1*14
b. 8+7*3+4*6
c. -4 * 7 + Math.pow (2 , 3) / 4 - 5
d. 8+9+78+4/2
e. 2* 5*5+3*5+7
f. 15 / 2 * (7 +(68-15 * 33 + (45 * 2 / 16 ) / 3 ) / 15 ) +19
g. 10<=6 || 7>3 || !(6<10)&&(9>=6) || !( 3>8) || ! ( 9>=12)&&(9<6)
h. a=1 b=3 c=-1 y=4 h=2 a % 2 /b c *a* y+18 /c -3 *h
i. 100 / 2 * (2 +(8*5 / 3 + (45 * 2 / 6 ) / 3 ) / 15 ) +19

9. Resuelva las siguientes expresiones usando pruebas de escritorio

a.
a = ( ( 4 + 6 * 9 ) / 9 + ( 15 * 9) / 2 ) / 2 / 2
b = ( 14 /4 /2 / 1 ) * ( 66 / 8 * 9 + 1) /9
c = ( 80 / 2 ) + ( 15 * 3 ) / 3 + 3 / ( 12 + 9 )
d = ( 4 + 15 / 2 ) / 2 / 9 + 50

b.

a = 5;

Ingeniera Jenny Carolina Ramirez Leal

 Universidad del Tolima
IDEAD Ibagu

b = 2;

c = a + b;

d = 15 % 20 + c * b / 2;

a = a + b + c + d;

b = ( ( Math.pow ( b, ( Math.pow ( c - 4 , b ) + 1 ) / b - 1 ) ) ;

c = b 165;

d = b + 2 * Math.sqrt ( 64 );

10. Pasar a expresin aritmtica de Java las siguientes expresiones algebraicas.

Expresin algebraica Expresin aritmtica

3
5

3 4
5

3 4 +2
52

3 4
58

3
26
4

3 x 2 1 2x3
4x
x4 y

Ingeniera Jenny Carolina Ramirez Leal