PARTE I: VERDADERO Y FALSO. De acuerdo a las
preguntas indique su respuesta si es verdadera y falsa y justifique
1)
En
la Reglas de inferencias para demostrar una conclusión se antepone un si existe
un X. V o F __________________________
2)
En
la Regla Modus Ponendo Ponens se aplica mediante el enlace <-> V o F___
3)
Teniendo
la negación del consecuente niega el antecedente es la regla de Conjunción V o
F:___________________
4)
Indique
que cuantificador es el de Existe un único E. V o F__________
PARTE
II: Ejercicios:
1)
Aplique las Reglas que sea necesaria para la
proposición eh indique la conclusión de dicha proposición.
a)
Si el país
genera divisas por exportación de bienes, entonces no habrá desempleo
-
Habrá
desempleo.
b)
Si, todos los
bancos cierran entonces habrá desempleo.
-
Todos los
bancos cierran.
2)
Resuelva los siguientes ejercicios de acuerdo a lo
visto en clase
1)
Probar que la
siguiente expresión es una contradicción
P^ - ( q v p)
2)
Probar que [(
p -> q) ^ -q )] -> -p es tautología.
