Evaluacion Matematica I Bruzual 306

                                                                                                                              

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.