Ejercicios simbolización

4
Materia: ÁLGEBRA I Evaluación: I-20% Ponderación: 20 PUNTOS Sección: A Profesor: SARA LÓPEZ Fecha: 12/06/2016 Nombres:FREDDY JOSÉ Apellidos:PEINADO LONDOÑO C.I N°:15.982.207 Firma: Parte I: Traducir al lenguaje lógico (4 puntos C/U) a. La ley será aprobada en cesión si y solo si es apoyada por la mayoría. Es apoyada por la mayoría o el gobernador se opone a ella. La ley será aprobada en cesión. Por lo tanto el gobernador no se opone a ella. b. El campeonato no dio sorpresas y el Caracas ganó la copa si y sólo si los Cardenales no participaron o los Tiburones no ganaron. c. Es falso que, Si el día está soleado entonces las plantas reverdecen o la primavera es multicolor. Pero el día esta soleado, por lo tanto las plantas no reverdecen. Parte : II: Traducir al lenguaje natural, sabiendo que: P = Valencia es una ciudad del centro de Venezuela Q = Es una ciudad del este de España T = Sus habitantes se llaman Valencianos S = Son Maracuchos Revisión y

Transcript of Ejercicios simbolización

Materia: ÁLGEBRA I Evaluación: I-20%Ponderación: 20 PUNTOS Sección: AProfesor: SARA LÓPEZ Fecha: 12/06/2016Nombres:FREDDY JOSÉ Apellidos:PEINADO LONDOÑOC.I N°:15.982.207 Firma:

Parte I: Traducir al lenguaje lógico (4 puntos C/U)

a. La ley será aprobada en cesión si y solo si es apoyada por la mayoría. Es apoyada por la mayoría o el gobernador se opone a ella. La ley será aprobada en cesión. Por lo tanto el gobernador no se opone a ella.

b. El campeonato no dio sorpresas y el Caracas ganó la copa si y sólo si los Cardenales no participaron o los Tiburones no ganaron.

c. Es falso que, Si el día está soleado entonces las plantas reverdecen o la primavera es multicolor. Pero el día esta soleado, por lo tanto las plantas no reverdecen.

Parte : II: Traducir al lenguaje natural, sabiendo que:

P = Valencia es una ciudad del centro de Venezuela

Q = Es una ciudad del este de España

T = Sus habitantes se llaman Valencianos

S = Son Maracuchos

a. [(P v Q) Ʌ (T P)] ~S (4 Puntos)

b. [(P ~Q)] (T Ʌ ~S) (4 Puntos)

Revisión y Aprobación