Ejercicios de formalización Lp con corrección

 

1.     O está lloviendo y nevando, o está soplando el viento.

         p= Está lloviendo; q=Está nevando; r=Está soplando el viento

 

(p ʌ q) v r

 

2.     O los hombres han nacido iguales o no son libres.

 

p=Los hombres han nacido iguales; q= Los hombres son libres

 

p ∨ ¬q

 

3.     O bien Moriarty y Crumm son ambos culpables, o Crumm es inocente.

 

P = Moriarty es inocente ; q= Crumm es inocente

 

(¬p ∧ ¬q) ∨ r

 

4.     O Crumm es culpable, o él y Moriarty lo son conjuntamente.

 

p= Crumm es inocente; q= Moriarty es inocente

 

¬p ∨ (¬p ∧ ¬q)

 

5.     O bien Moriarty es culpable, o Crumm es inocente, o ambos son culpables.

 

p= Moriarty es inocente; q= Crumm es inocente

 

¬p ∨ q ∨ (¬p ∧ ¬q)

6.     O Holmes lleva razón, o Moriarty y Crumm son o ambos culpables o ambos inocentes y  Crumm es culpable.

      p= Holmes lleva razón; q= Moriarty es inocente; r=Crumm es inocente

       [p ∨ ((¬q ∧ ¬r) ∨ (q ∧ r))] ∧ ¬r

6.     Luis se irá si Pablo se queda.

 

p= Luis se irá; q= Pablo se queda

 

q → p

 

7.     Si Pablo se queda, entonces Luis se va.

 

p= Pablo se queda; q=Luis se irá

p → q

 

8.     Supuesto que Pablo se quede, Luis se irá.

 

p=Luis se irá; q=Pablo se queda

q → p

9.     Luis se irá en caso de que Pablo se quede.

 

p=Luis se irá; q=Pablo se queda

 

q → p

 

10.  Cientos de vidas podrían salvarse cada año si la gente utilizara el cinturón de seguridad.

 

Cientos de vidas podrían salvarse cada año = p

La gente utilizara el cinturón de seguridad = q

 

q  → p

12.  Democracia significa un modo de vida en el que la libertad y la justicia están presentes.

Democracia significa un modo de vida en el que la libertad está presente = P

Democracia significa un modo de vida en e que la libertad está presente = q

p ʌ q