martes, 5 de abril de 2011

Martes, 5 Abril, 2011

Hoy hemos comenzado la clase corrigiendo un argumento que teníamos que formalizar.

El alocado Rufus T. Firefly, primer ministro reincidente de Freedonia se dirigió a la tribuna de oradores, tropezó en los escalones de subida y a punto estuvo de darse de bruces sobre la moqueta color escarlata. Cuando se recompuso empezó a hablar atropelladamente en respuesta a la intervención del líder de la oposición: “El honorable jefe de la minoría me ha pedido insistentemente que dimita dada la calamitosa situación económica del país. Ahora bien, ¿solucionaría eso los problemas de esta nuestra querida nación? Está claro que o dimito o no dimito. Supongamos que dimito. En ese caso el país se vería abocado a una situación de inestabilidad política e incertidumbre que tendría como consecuencia un empeoramiento de nuestra situación. Supongamos que no dimito. Ante la certeza de que continuaré otros dos años dirigiendo los destinos patrios, los inversores se asustarán, los mercados se hundirán y esto tendrá como consecuencia un empeoramiento de nuestra situación. Por tanto, está claro que haga lo que haga, la situación irá a peor. En estas circunstancias, estarán ustedes de acuerdo conmigo en que, por mi propio bien, lo más razonable es que permanezca en mi puesto”.

Proposiciones:

p = dimito
q = el país se verá abocado de incertidumbre e inestabilidad
r = la situación empeorará
s = continuaré mandando
t = inversores asustarán
u = mercados se hundirán





Continuamos con un ejercicio de formalización y derivación:

Si la biblia está inspirada por Dios, todo lo que ahí se afirma debe ser verdadero, por tanto no es posible que la biblia no sea inspirada por Dios ni que todo lo que se afirme no sea verdadero.


Proposiciones:

p = la Biblia inspirada por Dios
q = todo verdadero





Ahora lo hacemos al revés:



Siguiente ejercicio de derivación:



Recuerdo que nos pondrá un positivo si el próximo día entregamos las siguientes derivaciones:

1 ¬(X ^ Y) |- ¬Xv¬Y
1 ¬Xv¬Y |- ¬(X ^ Y)


María Gutiérrez Valverde

No hay comentarios: