Tarea 03 SAT y clasificacin de proposiciones

Solucin
Geovanni Becerril
Resuelva correctamente los siguientes ejercicios.

Nivel 1

Asigne valores Verdadero (V) o Falso (F) a las siguientes proposiciones segn lo visto
en clase.

1. Determinar si dos proposiciones son l-equivalentes se puede reducir a un
problema SAT.

Verdadero. Determinar si las proposiciones y son -equivalentes es
equivalente a mostrar que la proposicin es una tautologa y, este
ltimo problema es equivalente a determinar si la proposicin ( ) es
satisfacible.

2. Determinar si una proposicin es una contradiccin se reduce a determinar si
la proposicin es satisfacible.

Falso. Si la proposicin es satisfacible, entonces la proposicin es
falseable (hay una asignacin que la vuelve falsa) y por tanto no no es
una contradiccin, sin embargo no podemos concluir es una
contradiccin o no. Si la proposicin es no satisfacible, entonces la
proposicin no es falseable y por tanto es una tautologa. En cualquier
caso no podemos determinar si la proposicin es una tautologa.

3. Como continuacin del inciso anterior, si es satisfacible, se concluye que
es una tautologa.

Falso. Como se explic anteriormente, se concluye que es una tautologa
solo si no es satisfacible.

Clasifique las siguientes proposiciones utilizando el mtodo de Quine.

4. ( )
Primero damos valor verdadero () a . Entonces tenemos:
( )



Ahora le damos valor falso a .
( )


Por lo tanto, cuando toma valor falso la proposicin toma el valor de
verdad de por lo tanto podemos observar que la proposicin es una
contingencia (toma valores tanto verdaderos como falsos).

5. (( ) )
Si hacemos verdadero a se obtiene:
(( ) ())
( )


Por otra parte, cuando es falso, tenemos:
(( ) ())
( )


Vemos en ambos casos se tiene que la proposicin es verdadera, por tanto
concluimos que se trata de una tautologa.

Clasifique las siguientes proposiciones utilizando el mtodo de tablas (o rboles)
semnticas:

6. (( ) )
Primero suponemos la proposicin falsa y as desarrollamos la tabla:

(( ) ) ()

()

( ) ()

()

()
() ()


Ya que en ambas ramas llegamos a una contradiccin, concluimos que la
proposicin es una tautologa.

7. (( ) )
Suponemos la falsedad de la proposicin para armar la tabla.

(( ) ) ()

()

( ) ()

( ) () ()

() () ()
() ()
() ()

Podemos ver que aunque existen dos ramas que llevan a una contradiccin hay
una que no se contradice, por tanto no podemos decir si existe una tautologa.

Para esto, asumamos la proposicin verdadera, y se tiene:

(( ) ) ()

(( ) ) () ()


() ()

() () ()

() ()

() ()

Note que no llegamos a ninguna contradiccin, por lo que la proposicin tampoco
es una contradiccin, por tanto concluimos que la proposicin es una contingencia.

Nivel 2

8. Cmo incluira a los conectivos () y () en el mtodo de Quine?

Para el conectivo NAND tenemos las siguientes equivalencias:

Para una tautologa:

( )
Por otra parte, para una contradiccin:

( )

Para el conectivo NOR se tiene:

Para una tautologa:

( )

Por otra parte, para una contradiccin:

( )

9. Y en el mtodo de tablas semnticas?
Para el conectivo NAND, si lo suponemos verdadero entonces ( )
debe ser verdadero, para esto debe ser falso, por lo que tenemos dos
ramas, una donde se desprende que es falso, y otra para el caso que es
falso.

Por otro lado, si lo suponemos falso, ( ) ser falso cuando
sea verdadero, por lo que se tiene una sola rama que desemboca en que
debe ser verdadero y tambin.

De igual manera, para el conectivo NOR se tienen los dos casos anteriores,
primero si el conectivo se asume verdadero, entonces ( ) ser
verdadero cuando sea falso, para lo que se tiene una rama donde es
falso y es falso.

Para el case en que NOR se asume falsa, se cumple en el caso que sea
verdadero, por lo que se forman dos ramas que concluyen una en que es
verdadero y otra en el caso en que es verdadero.

Nivel 3

10. Utilice los resultados de los Ejercicios 8 y 9 para clasificar las siguientes
proposiciones:

a) (( ) ) , con el mtodo de Quine.
Asumimos verdadero, por lo tanto se tiene:
(( ) )
( )




Para falso se tiene:
(( ) )
( )


Ya que para ambos valores de se llega a un valor verdadero, entonces se
concluye que la proposicin es una tautologa.

b) ( ) , con tablas semnticas.
Asumimos la proposicin falsa:

( ) ()

( ) ()

()

()

()

()



Note que se llega a una contradiccin, por tanto la proposicin es una tautologa.