UNIVERSIDAD NACIONAL AUTNOMA DE MXICO FACULTAD DE FILOSOFA Y LETRAS Lgica 3 Metalgica y axiomatizacin Prof.

Javier Garca-Salcedo TAREA 3

1. Prueba los siguientes meta-teoremas. (Nota: conjuntos arbitrarios de frmulas de P.)

son meta-variables;

son

a. . b. Si , entonces . c. Si y , entonces . d. Si y , entonces . e. Si , entonces . f. , ~ , para cualquier frmula B de P.

2. Exhibe frmulas que correspondan a las funciones de verdad f y g que se muestran a continuacin. f (V, V, V) = F f (V, V, F) = F f (V, F, V) = F f (V, F, F) = V f (F, V, V) = F f (F, V, F) = F f (F, F, V) = V f (F, F, F) = V

g (V, V, V) = V g (V, V, F) = F g (V, F, V) = V g (V, F, F) = V g (F, V, V) = F g (F, V, F) = V g (F, F, V) = F g (F, F, F) = V

3. Determina si las siguientes son frmulas vlidas de P*, y exhibe las frmulas interpoladas correspondientes en los casos relevantes (Nota: P* es el sistema formal que resulta al aadir a P las conectivas & y definidas de la manera usual): a. (( ) ) ((~ & ~ ) (~ )) b. ( (~ & ~ )) (( & ) ~ ) c. (( ) ~ ) ( )

4. Demuestra que: a. PS ~p ((p p) (p p)) b. PS (p p) ((p ~ p) ~ p)

5. Demuestra que el conjunto {} es un conjunto de conectivas adecuado. (Nota: La conectiva es usualmente llamada Barra de Sheffer. A B tiene el valor de verdad F ssi A y B tienen ambas el valor de verdad V. Por tanto, A A ~A.)