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).

domingo, 7 de febrero de 2010

Actualización del Blog

Seguimos trabajando en las entradas publicadas el curso anterior.
Tenemos pendiente la Disertación sobre "¿Hablamos como pensamos o pensamos como hablamos?" y por si algún despistadillo no sabe cómo empezar, os sugiero que busquéis la entrada del 29 de Enero de 2009.
Y para los que anden un poco más adelantados, ahora que hemos empezado lógica, también hay una entrada sobre Lógica de Enunciados con ejercicios del 8 de diciembre del 2008.
Para cualquier duda, podéis publicarla a través de este mismo portal.
Ánimo para el examen.