LOGICA Tiempo: 120 minutos Cédigo de asignatura: 70012105 Material: Tabla de Reglas sin anotaciones (original 0 fotocopia exacta) 1) Diga si las siguientes afirmaciones son verdaderas falsas. Después justifique su respuesta, a) El operador principal de la formula [(p 4 q) v(t» + s)] es “> b) Si encontramos un enunciado con una forma légica X, que es falso, podemos afirmar que dicha forma légica X no es una tautologt ©) La formulas [( p vq) > (48) y[Grv 78) > (pA q)] son equivalentes. 4) Todos tos argumentos con conclusién verdadera tienen premisas verdaderas. 2) Demuestre la validez. del siguiente esquema de inferencia, mediante Deduecién ‘Natural. arv(@>p ar apa) Stap aqvas 3) Presente un contraejemplo de la siguiente forma argumentativa: GavnrGat sat sqyve 4) Formalice los siguientes enunciados y presente sus Tablas de Verdad: a) Tom Waits gané su juicio contra Levi-Strauss por utilizar una versién de “Heartattack and Vine” en un anuncio, ya que sus canciones se pervierten cuando son utilizadas para vender cosas. b) Si no intervengo en Alf, no me doy cuenta de mis errores, si bien aprendo mucho cuando discuto los problemas en clase o practico con los ejercicios del libro en casa. 5) Explique qué son y para qué sirven los rboles semanticos. Ponga un ejemplo.