Document related concepts
Transcript
UNIVERSIDAD DIEGO PORTALES FACULTAD DE CS. SOCIALES E HISTORIA SOCIOLOGÍA, OTOÑO 2012 AYUDANTIA Nº1 Lógica Profesora: Ayudante: 1. Gabriela López. Ingrid Basualto. Sean los enunciados declarativos representados por las proposiciones p y q: p: “4 es un número primo” y q: “4 es divisor de 32” Exprese en español los enunciados representados por: a) p q b)p q c) p q d) p q 2. Si se sabe que p es falsa, q es verdadera y que r es falsa, determine el valor de verdad de las siguientes proposiciones: a) (p q) r b) (p r ) q c) ( p r ) q 3. Defina proposiciones simples apropiadas y traduzca a metalenguaje los siguientes enunciados: a) b) c) d) “Si los limones son caros y el azúcar es barata, entonces es difícil encontrar limonada amarga.“ “Una condición necesaria para que los limones sean baratos es que el azúcar sea cara.“ “Se encuentra fácilmente limonada amarga, a menos que el azúcar sea barata.“ “La limonada amarga se encuentra difícilmente si el azúcar es barata.“ 4. A través de una matriz de valores veritativos, determine si las siguientes proposiciones son tautología o contradicción. a) p Nq p q Np q b) Nq Np q Nq Nq p 5. Traduzca los siguientes argumentos al lenguaje formal L. Use tablas de verdad para determinar si son validos. a) Si dices la verdad, los hombres te odiaran, y si mientes, Dios te odiara. Pero, dirás la verdad o mentiras. Luego, los hombres te odiaran o Dios te odiara. b) Si Smith recibió el telegrama, entonces tomo el avión y estará aquí a mediodía. Smith no tomo el avión. Luego, Smith no recibió el telegrama.