LOGICA I ‘Tiempo: 120 minutos Codigo de asignatura: 70012105 Material: Tabla de Reglas sin anotaciones 1) Diga, en primer lugar, si las siguientes afirmaciones son verdaderas o falsas; después, justifique su respuesta, a) La negacién de una tautologia es una formula insatisfacible b) Si solo si las premisas no implican la conclusién, es invalido el argumento. ©) Un &rbol semantico abierto indica que el argumento analizado es vilido, d) Para que un argumento sea valido es condicién necesaria que sus premisas sean verdaderas. 2) Demuestre la validez. del siguiente esquema de inferencia, mediante Deduecién Natural, Cpvaor =pv-s t os at) > q T 3) Desarrolle completamente el Arbol Semantico del siguiente esquema argumentativo y ofrezea un contraejemplo en castellano. (pvavevs) (vs) t>Gpa t ) 4) Formalice los siguientes enunciados: a) Haremos una barbacoa en el jardin, a no ser que Ilueva. b) Si Dracula viene a mi casa, debe decir qué y cuantos fines persigue, y si no dice la verdad, no le dejaré entrar, pero si dice la verdad, le acompaiaré a la habitacién de invitados, 5) Deseriba el Lenguaje de la Logica de enunciados 0 Logica proposicional Por favor, indique en la primera pagina el niimero total de hojas de examen que entrege.