You are on page 1of 4

Ponticia Universidad Cat olica de Chile Facultad de Matem aticas MAT140S - L ogica

Soluci on Interrogaci on 1
Primer Semestre 2012

NOTA: Cada pregunta vale 1 punto; esto totaliza 6, m as punto base.

1) Determine, en cada caso, si la f ormula es tautolog a, contradicci on o contingencia (justique su respuesta): (a) (p q r) s p (b) (p q ) (p q )

Soluci on: (a) (p q r) s p es una contingencia: en efecto, tomando cualquier valuaci on tal que p = V y s = V , se tendr a que (p q r) s = V y p = F , con lo que la f ormula resulta falsa; y tomando cualquier valuaci on tal que p = F , se tendr a que p = V , con lo que la f ormula resulta verdadera. (b) (p q ) (p q ) es una tautolog a: en efecto, para que fuese falsa se requerir a que p q fuese falsa, lo cual s olo ocurre si p = V y q ] = F , pero en tal caso p q = F , con lo que la f ormula completa es verdadera.

[ 0,5 puntos cada parte. Si se usaron tablas verdad o arboles de Gentzen, en cada caso 0,3 puntos por la elaboraci on correcta de la tabla o arbol, y 0,2 punto por su interpretaci on correcta ]

2) Sean A , B , C , D f ormulas tales que A B no es una tautolog a y D es equivalente a (tiene la misma tabla de verdad que) (A C ) . Decida si la f ormula B A (B D) es o no es una contradicci on (demuestre su respuesta). Soluci on: La f ormula A B no es una tautolog a. Esto signica, por denici on, que existe al menos una valuaci on 1 tal que 1 ( A B ) = F , de modo que 1 (A) = V y 1 (B ) = F . Con esa misma valuaci on tenemos: 1 (A) = V = 1 (A C ) = V = 1 ((A C )) = F = 1 ((D)) = F . En resumen, hemos deducido que existe una valuaci on 1 tal que 1 (A) = V y 1 (B ) = 1 (D) = F [ 0,6 puntos ]

Aplicando esa valuaci on, tenemos que 1 B A (B D) y por lo tanto esta f ormula no es una contradicci on. [ 0,4 puntos ]

=V ,

[Total: 1 punto. Si en la primera parte no se especica expl citamente que es una valuaci on espec ca la que provee de esos valores veritativos, se descuentan 0,3 puntos.]

3) Traduzca el siguiente razonamiento al lenguaje formal proposicional, y determine si es o no es correcto (justique su respuesta): Si compro un auto nuevo, o si arreglo el antiguo, ir e al sur y pasar e por Rancagua. Si paso por Rancagua, visitar e a mis familiares. Pero si los visito tendr e que quedarme con ellos. Y si me quedo con ellos, no ir e al sur. En conclusi on, no podr e ir al sur.. Soluci on: Adoptemos la siguiente correspondencia de letras proposicionales y armaciones, adaptando estas de modo conveniente: p = Comprar e un auto nuevo. q= Arreglar e el auto antiguo. r= Ir e al sur. s= Pasar e por Rancagua. t= Visitar e a mis familiares. u= Me quedar e con ellos. Entonces el razonamiento se puede simbolizar as : (p q ) (r s) , st , tu , u r |= r

Puede ser falsa la conclusi on y al mismo tiempo ser verdaderas las premisas? Si r] = F , podemos tener u r = V con u = F ; para que t u sea verdadera, necesitamos t = F ; con ello, para que s t sea verdadera necesitamos s = F ; pero con estos valores la f ormula (p q ) (r s) es verdadera ya que r s es falso. Por lo tanto, con r = V y u = t = s = F , las premisas son verdaderas y la conclusi on, falsa. Entonces r no es consecuencia tautol ogica de las premisas, es decir que el razonamiento no es correcto.

[Elecci on adecuada de armaciones para asignarles letras 0,3 puntos; traducci on correcta a f ormulas y a consecuencia tautol ogica 0,3 puntos; an alisis 0,4 puntos. Si se respondi o con tablas o arboles, el an alisis se divide en 0,2 puntos por la elaboraci on correcta de la tabla o arbol y 0,2 por su interpretaci on correcta]

4) Demuestre que: si |= B y

|= A entonces |= A

Soluci on: Lo que se debe demostrar es que no es posible que exista una valuci on con la que las f ormulas de sean verdaderas y la f ormula A sea falsa. Mostremos entonces que si una valuaci on hace verdaderas a las f ormulas de , necesariamente hace verdadera a la f ormula A: Si es una valuaci on con la que todas las f ormulas de son verdaderas, dado que |= B tenemos que necesariamente (B ) = V . Por lo tanto, con la valuaci on todas las f ormula de B son verdaderas. Y en consecuencia, dado que B |= A , necesariamente (A) = V .

[ 1 punto ]

5) Decida si la persona que arma lo siguiente se contradice a s misma, o no (justique su respuesta con la l ogica formal que hemos estudiado, no de modo meramente intuitivo): No es cierto que o no funciona el primer m etodo o funciona el tercero. Adem as, si funciona el segundo m etodo, el tercero no debe funcionar. Y adem as, si funciona el primer m etodo, debe funcionar el segundo. Soluci on: Estas tres armaciones se pueden simbolizar as : ( p t ) , s t , ps

[ 0,3 puntos ] Con la valuaci on t = F y p = s = V , las tres f ormulas son verdaderas. [ 0,5 puntos ] Por lo tanto, el conjunto es satisfactible, de modo que la persona no se contradice a s misma. [ 0,2 puntos ]

[ Total: 1 punto. Si se utilizaron tablas o arboles para determinar si existe una valuaci on con la que las tres f ormulas son verdaderas, los 0,7 puntos de las dos partes nales se dividen en 0,5 puntos por la elaboraci on correcta de la tabla o arbol y 0,2 por su interpretaci on correcta ]

6) Se sabe lo siguiente: Es necesario que no ocurra el suceso B, para que pueda ocurrir el suceso A: (i) Si ocurre el suceso B, eso garantiza que no ocurre el suceso A, o no lo garantiza? (ii) Construya la falacia de negaci on del antecedente correspondiente a Es necesario que no ocurra el suceso B, para que pueda ocurrir el suceso A. Soluci on: (i) Que no ocurra el suceso B, es condici on necesaria para que pueda ocurrir el suceso A. Si falla la condici on necesaria, no puede ocurrir A: es decir, B A, o sea B A. Por lo tanto, si ocurre el suceso B, eso garantiza que no ocurre el suceso A. [Visto de otro modo: Si es necesario que no ocurra B para que pueda ocurrir A, entonces no puede ocurrir B y simult aneamente ocurrir A, es decir (B A), es decir B A] [ 0,5 puntos ]

(ii) Por las razones reci en explicadas, la armaci on Es necesario que no ocurra el suceso B, para que pueda ocurrir el suceso A puede expresarse mediante a la f ormula (B A), y por consiguiente, tambi en mediante la f ormula B A o mediante la f ormula A B (puede elegirse cualquiera de las dos, pues son equivalentes). [ 0,2 puntos ]

Si se eligi o la armaci on B A , la falacia de negaci on del antecedente ser a: B A , B |= A

o bien, equivalentemente: Si ocurre B, no ocurre A No ocurre B Por lo tanto, ocurre A Si en cambio se eligi o la armaci on A B , la falacia de negaci on del antecedente ser a: A B , o bien: Si ocurre A, no ocurre B No ocurre A Por lo tanto, ocurre B A |= B

[ 0,3 puntos ]