Formalización de argumentos en Lp

 Formaliza  en Lp los siguientes argumentos del Lenguaje natural. Una vez hallas realizado la formalización detente en el argumento número 6 y reflexiona sobre el.

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

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

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

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

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

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

7.     Luis se irá si Pablo se queda.

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

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

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

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

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

Ejercicio resulto (pincha aquí)