FORMALIZACIÓN

En estos últimos días de clase hemos estado dando formalización. Algunos ejercicios de los que hemos hecho son:

1. En Pere és entremaliat, però no és malvat
2. Quan en Toni diu que ha anat a classe, no hi ha anat.
3. La Maria tindrà èxit en els seus exàmens si no es posa malalta.
4. Si en Joan no fa el seus deures o si no estudia les seves lliçons, fracassarà en els seus exàmens.
5. La porta no pot estar a la vegada oberta i tancada.
6. Sempre que es va a fer la revolució, s'acaba no fent-la
7. Per poder morir, n' hi ha prou amb haver nascut.
8. Es convertirà en un feixista sempre que el paguin.
9. Es té dignitat o no s'enté.

Son ejercicios hechos en clase y por lo tanto también corregidos ahí. Las soluciones son las siguientes:

1. p^ ¬ q
2. p --> ¬q
3. p --> ¬q
4. (¬p v ¬q) --> r
5. ¬ (p^q)
6. p --> ¬q
7. p --> q
8. p --> q
9. p v ¬ p