PC3 Modelo solucionado

ESTUDIOS
GENERALES
LETRAS
MODELO SOLUCIONADO ∗
PRÁCTICA CALIFICAD A No. 3
CURSO: LÓGICA
CÓDIGO: FIL105
PROFESOR: W. ARAND A
JEFES DE PRÁCTICA. J. CASTILLO, R. OCAMPO Y M. RIVAS
HORARIO: 0201
FECHA:12 DE FEBRERO DE 2015
DURACIÓN DE LA PRUEBA: 1 HORA Y 30 MINUTOS
CICLO DE VERANO: 2015-0
•
•

Contestar en el cuadernillo adjunto.
La redacción y la ortografía serán tomadas en cuenta en lacalificación
de la prueba.
•
No está permitido el uso de ningún material.
•
No está permitido el uso de ningún dispositivo electrónico (tablets, laptops, iPods,
etc.).
•
Los celulares y las cartucheras debenpermanecer guardados durante la prueba.
•
Puntaje: 20 puntos (Cada pregunta tiene un valor de 5 puntos)
_________________________________________________________________
1. Analice la siguiente fbf ydetermine si se trata de una fbf tautológica o
no. Para ello, utilice el método de árboles semánticos. (5 puntos)

1. ܸ ሾ∼ ∃‫ ݔ‬൫ ܲ‫ → ݔ‬ሺ ‫ ݔܨ ∧ ݔܩ‬ሻ൯ .∧ . ∀‫ ݔ‬ሺ∼ ‫ ݔܨ ∼ → ݔܩ‬ሻ ∧ ∃‫ ݔ‬ሺ ܲ‫ ݔܨ ∧ ݔ‬ሻሿ2. ܸ ሾ∼ ∃‫ ݔ‬൫ ܲ‫ → ݔ‬ሺ ‫ ݔܨ ∧ ݔܩ‬ሻ൯ሿ
3. ܸ ሾ∀‫ ݔ‬ሺ ∼ ‫ ݔܨ ∼ → ݔܩ‬ሻ ∧ ∃‫ ݔ‬ሺ ܲ‫ ݔܨ ∧ ݔ‬ሻሿ
4. ܸ ൣ∀‫ ∼ ݔ‬൫ ܲ‫ → ݔ‬ሺ ‫ ݔܨ ∧ ݔܩ‬ሻ൯൧‫ ܰܥ‬2
5. ܸ ሾ∀‫ ݔ‬ሺ∼ ‫ ݔܨ ∼ → ݔܩ‬ሻ ሿ
6. ܸ ሾ ∃‫ ݔ‬ሺ ܲ‫ ݔܨ ∧ ݔ‬ሻ ሿ
7. ܸ ሾܲܽ∧ ‫ ܽܨ‬ሿ‫ ܧܫ‬6
8. ܸ ሾ ܲܽ ሿ
9. ܸ ሾ ‫ ܽܨ‬ሿ
10. ܸ ሾ∼ ሺ ܲܽ → ሺ ‫ ܽܨ ∧ ܽܩ‬ሻሻ ሿ‫ ܷܫ‬4
11. ‫ ܨ‬ሾ ܲܽ → ሺ ‫ ܽܨ ∧ ܽܩ‬ሻ ሿ
12. ܸ ሾܲܽ ሿ
13. ‫ ܨ‬ሾ ‫ ܽܨ ∧ ܽܩ‬ሿ
14. ܸ ሾ∼ ‫ ܽܨ ∼ → ܽܩ‬ሿ ‫ ܷܫ‬5
15. ‫ ܨ‬ሾ ‫ ܽܩ‬ሿ
16. ‫ܨ‬ሾ ‫ ܽܨ‬ሿ

17. ‫ ܨ‬ሾ ∼ ‫ ܽܩ‬ሿ

×
∗

18. ܸ ሾ ∼ ‫ ܽܨ‬ሿ

×

Elaborado por William Aranda, Jaime Castillo, Raymond Ocampo y Marlon Rivas.

1

2. Analice los siguientes textos y ofrezca la fbfcorrespondiente a cada uno
de ellos. Para tal efecto, utilice el lenguaje formal de LCP. (5 puntos cada
uno)
2.1. Que nadie vea realities de competencia es condición suficiente para que tales programas
noexistan. Sin embargo, siempre habrá gente que vea dichos realities a menos que todos
sean conscientes de sus efectos negativos. Por todo ello, o bien nadie es consciente de los
efectos negativos de...