Ejercitación de Lógica proposicional

Práctica de Lógica Proposicional

1.  Formalizar los siguientes razonamientos.

a. Si el resultado obtenido es suprimir al previsto en 5 unidades, será debido a no ser realizado el proceso a la temperatura adecuada o a la existencia de errores en los cálculos finales.

b. El análisis realizado innecesario si nos dejamos llevar por la precipitación , se torna necesario si nos paramos a reflexionar sobre el mensaje que se pretende transmitir.

2. Demuestre por medio de tabla de verdad si las siguientes proposiciones son Tautologías, Contradicción o Contingencias.

a. [ ( p⇒q)∧-p  ]⇒-q
b. -{[- p∧(-q∨p) ]⇒q}
c.[ (p ∨ q)∧ (p∨r) ]⇔[ p∨(q∧ r) ]

Nota: La operación proposicional Negación está expresada por “-“.

3. Demostrar las siguientes equivalencias:

a.[( p⇒q)∧ (-p ⇒ q)]⇔q
b.[ (p ∨ q)⇒(-p∧q)]∧( p⇒q)⇔-p

4. Simplificar las siguientes proposiciones compuestas:
a. p⇒ [ -q⇒ (p ∨ q)]

b. p∧[(q∧-p)⇒(p ∨ -q)]

5. Determinar, si es posible el valor de verdad de las siguientes proposiciones:

a.(p∨q)⇒q si p⇒q es F
b.p∨(p⇔q) si p⇒q es V
c.[(p∨q)∧-Q] si p es V y -q es V

6. Traducir en lenguaje proposicional las siguientes afirmaciones:

a.  El sol brilla y la humedad no es alta

b. Si termino mi tarea antes de la cena y no llueve, entonces iré al partido de fútbol

c.  Si no me ves mañana significa que habré ido a la playa

d. Si el costo de las utilidades crece o se niega la requisición de fondos los adicionales, entonces compraremos una nueva computadora si y sólo si podemos mostrar que los recursos de cómputo son, en efecto, insuficientes 

7. 

a. Escribir una afirmación compuesta que sea verdadera cuando exactamente dos de tres afirmaciones p ; q y r sean verdaderas.

b. Escribir una afirmación compuesta que sea verdadera cuando ninguna, o una, o dos de las tres afirmaciones p ; q y r sean verdaderas.

8. Determine si cada una de las afirmaciones de los ejercicios de a hasta h es una proposición. Si la afirmación es una proposición, escriba su negación. (No se le piden los valores de verdad de las afirmaciones que son proposiciones)

a. 2 + 5 = 19

b. Mesero, ¿puede traer las nueces? Es decir, ¿puede servir las nueces a los invitados?

c. Para algún entero positivo n, 19340 = n• 17. 

d. Autrey Meadow fue la “Alicia” original en “The Honeymooners”. 

e. ¡Pélame una manzana!

f. La frase “Hazlo de nuevo, Sam” aparece en la película Casablanca. 

g. Todo entero mayor que 4 es la suma de dos números primos. 

h. La diferencia de dos primos.

Se muestra a continuación una tabla con los Principios Lógicos respecto a la disyunción, conjunción y su respectiva relación con la Tautología (V) y Contradicción (F) con el fin de ayudar a la simplificación de las proposiciones compuestas. Los mismos se encuentran expresados en un orden alternativo, pero válido, con los nombres específicos de cada uno:

Si quiere tener la ejercitación en formato papel, acá te dejo el link para que puedas descargarlo.

• DESCARGUE LA EJERCITACIÓN