TAREA ACADMICA N1 I. Formalice las siguientes proposiciones moleculares y argumentos al lenguaje de la Lgica Proposicional.

Puede presentarlo en Word, pdf o escanear las hojas manuscritas y cargarlas en el aula virtual. 1. La vida est en serios riesgos a causa de que actualmente se est contaminando el agua, el aire o la tierra. (2pt) 2. Si el testigo dice la verdad entonces el asesino hizo tres disparos. Adems el revlver tena cinco balas. Si el revlver tena cinco balas, el asesino hizo slo un disparo y no tres. Entonces, el testigo no ha dicho la verdad. (2pts) 6. Un nmero es divisible por 2 si termina en cero o en cifra par. Un nmero es divisible por 5 si termina en cero o en 5. Por consiguiente, un nmero es divisible por 2 si no termina en 5. (2pts) 7. Si Luis gana la primera partida; entonces si quiere aumentar sus ganancias, continuar jugando. Sabemos que Luis contina jugando. Entonces, si Luis gana su primera partida, quiere aumentar sus ganancias. (2pts) 8. Si Scrates se empea en censurar los vicios polticos; aumentar el odio de sus adversarios y ser acusado ante el tribunal ateniense. Si aumenta el odio de sus adversarios o es acusado ante el tribunal ateniense; ser condenado a muerte. Por consiguiente; si Scrates se empea en censurar los vicios polticos, ser condenado a muerte. (2pts) II. Evale los siguientes esquemas usando la prueba POR TABLA DE VALORES: (4ptos) 1. [(pq) p] r 2. [(p r ) [(p v q) -q)] II. Aplique los Diagramas Semnticos a los siguientes esquemas. Aplique hasta el CUARTO PASO (ANALISIS DE RAMAS) (6ptos) 1. Elabore el diagrama cuando el esquema es VERDADERO y otro cuando es FALSO [(pq) r] r 2. Elabore el diagrama cuando el esquema es VERDADERO y otro cuando es FALSO [(pq) r] v ( p q)