miércoles, 17 de febrero de 2010

Ejercicios de Lógica

Para que no perdáis el ritmo de Formalización, os propongo que hagáis los siguientes ejercicios:
  • Formaliza en lógica de enunciados las siguientes argumentaciones del lenguaje natural:
A)
  1. Como este año ha llovido mucho, los pantanos están rebosantes de agua.
  2. O los pantanos están rebosantes de agua o no tendremos agua este verano.
  3. Sólo si los pantanos están rebosantes de agua o llueve mucho este año, tendremos agua este verano.
  4. Los pantanos están rebosantes de agua.
  5. Por lo tanto, no tendremos agua este verano y la sequía se agravará.
B)
  1. No es cierto que estemos a finales de siglo o viva en el Reino Unido.
  2. Si vivo en el Reino Unido, mis paisanos son ingleses o escoceses, o galeses.
  3. El fin de siglo siempre coincide con un 31 de Diciembre o no esteremos a finales de siglo
  4. Como ayer fue 30 de diciembre, hoy es fin de siglo y vivo en el Reino unido.
  5. Por lo tanto, si vivo en el Reino Unido y si hoy es el fin de siglo, entonces ni soy inglés, ni escocés ni galés.
Recordad que siempre que el contenido de un enunciado se repita, debéis utilizar la misma variable (aunque exteriormente cambien algunas palabras por cuestiones de concordancia).