Examen de lógica IX

2
Examen IX. Elaboró: Víctor Fabián Nava Salazar. Seminario de Filosofía de la Lógica UNAM FES- Acatlán 2015. Los siguientes ejercicios están diseñados a partir de las nociones de lógica proposicional y cuantificacional, los ejemplos que se usan son ficticios, existe sólo una respuesta correcta. 1) Supongamos que sólo una de las siguientes opciones es falsa. ¿Cuál es? a) Todos los amigos de Fari son o borrachos o peleoneros. b) Para cada amigo de Fari, ese es peleonero. c) Los amigos de Fari son borrachos. d) Todos son peleoneros y todos son borrachos. e) Todos son amigos de Fari. 2) ¿Cuàl es la mejor simbolización para el siguiente enunciado? Los filosofos y los matemáticos son inteligentes y arrogantes. a) x[ (Fx V Mx)( Ix Ax)] b) ¬x[(Fx Mx) ¬ ( Ix Ax)] c) ¬x[(Fx Mx) (¬Ix V ¬Ax)] d) x[ (Fx Mx)( Ix Ax)] e) x [(¬Fx V ¬Mx) V ( Ix Ax)] 3) ¿Qué asignación veritativa hace a la siguiente fórmula una contradicción? {[((p v q) (s(tk))) ((w p)r)] V s} t a) q: V, s: V, r; V, w: F, p:F t: V, k: V b) q: V, s: V, r; V, w: V, p:V t: V, k: V c) q: F, s: V, r; V, w: V, p:F t: V, k: F d) q: V, s: F, r; V, w: V, p:V t: V, k: V e) q: V, s: F, r; V, w: V, p:F t: V, k: V 4) ¿Cuál es la mejor simbolización para la negación del siguiente enunciado? SI es posible, exige existir. Dominio del discurso: el ser. Diccionario: Ex: x exige existir. Px: x es posible. a) ¬y(Py Ex) b) x¬(Px Ex) c) x¬(Px ¬Ex) d) x(Px ¬ Mx) e) ¬x(Px ¬ Mx) 5) ¿Cuál es la mejor simbolización para la negación del siguiente enunciado? Si Packman Pacquiao le pega a Mayweather, él lo abrazará; él lo hará aunque Packman no lo haga. a) (P V ¬ P) A b) (P V ¬P) ¬A c) ¬(P V¬P) A d) (P V ¬ P) ¬A e) (P V ¬ P) A 6) Supongamos que tenemos tres conjuntos de fórmulas Δ, Ε y Γ; y una fórmula α y sabemos de cierto que: x ∈Δ tenemos que Γ⇒ x, x ∈Ε tenemos que Γ⇒x; finalmente sabemos que Ε⇒¬α y Δ⇒ α. ¿Cuál de las siguientes opciones no puede ser verdadera? a) Γ⇒Δ no es inválida. b) Δ U Ε es inconsistente. c) Γ no es consistente. d) Γ⇒Ε es inválida. e) Δ⇒Ε es inconsistente. 7) Supongamos que tenemos tres conjuntos de fórmulas Δ, Ε y Γ; y sabemos de cierto que: x ∈Δ tenemos que Γ⇒ x, tenemos que Γ⇒Ε es falso; finalmente sabemos que Ε U Δ es inconsistente. ¿Cuál de las siguientes opciones no puede ser falsa? a) Γ es consistente. b) Δ es inconsistente. c) Ε es consistente. d) Δ ⇒Ε es consistente. e) Δ ⇒Γ es insatisfacible.

description

Ejercicios de lógica matemática

Transcript of Examen de lógica IX

  • Examen IX. Elabor: Vctor Fabin Nava Salazar.

    Seminario de Filosofa de la Lgica UNAM FES- Acatln 2015.

    Los siguientes ejercicios estn diseados a partir de las nociones de lgica proposicional y cuantificacional, los ejemplos que se usan son ficticios, existe slo una respuesta correcta.

    1) Supongamos que slo una de las siguientes opciones es falsa. Cul es? a) Todos los amigos de Fari son o borrachos o

    peleoneros. b) Para cada amigo de Fari, ese es peleonero.

    c) Los amigos de Fari son borrachos. d) Todos son peleoneros y todos son borrachos. e) Todos son amigos de Fari.

    2) Cul es la mejor simbolizacin para el siguiente enunciado? Los filosofos y los matemticos son inteligentes y arrogantes. a) x[ (Fx V Mx) ( Ix Ax)] b) x[(Fx Mx) ( Ix Ax)] c) x[(Fx Mx) (Ix V Ax)]

    d) x[ (Fx Mx) ( Ix Ax)] e) x [(Fx V Mx) V ( Ix Ax)]

    3) Qu asignacin veritativa hace a la siguiente frmula una contradiccin? {[((p v q) (s ( t k))) ((w p) r)] V s} t a) q: V, s: V, r; V, w: F, p:F t: V, k: V

    b) q: V, s: V, r; V, w: V, p:V t: V, k: V

    c) q: F, s: V, r; V, w: V, p:F t: V, k: F

    d) q: V, s: F, r; V, w: V, p:V t: V, k: V

    e) q: V, s: F, r; V, w: V, p:F t: V, k: V

    4) Cul es la mejor simbolizacin para la negacin del siguiente enunciado? SI es posible, exige existir. Dominio del discurso: el ser. Diccionario: Ex: x exige existir. Px: x es posible. a) y(Py Ex) b) x(Px Ex)

    c) x(Px Ex) d) x(Px Mx)

    e) x(Px Mx)

    5) Cul es la mejor simbolizacin para la negacin del siguiente enunciado? Si Packman Pacquiao le pega a Mayweather, l lo abrazar; l lo har aunque Packman no lo haga. a) (P V P) A b) (P V P) A

    c) (P VP) A d) (P V P) A

    e) (P V P) A

    6) Supongamos que tenemos tres conjuntos de frmulas , y ; y una frmula y sabemos de cierto que: x tenemos que x, x tenemos que x; finalmente sabemos que y . Cul de las siguientes opciones no puede ser verdadera? a) no es invlida. b) U es inconsistente.

    c) no es consistente. d) es invlida.

    e) es inconsistente.

    7) Supongamos que tenemos tres conjuntos de frmulas , y ; y sabemos de cierto que: x tenemos que x, tenemos que es falso; finalmente sabemos que U es inconsistente. Cul de las siguientes opciones no puede ser falsa? a) es consistente. b) es inconsistente.

    c) es consistente. d) es consistente.

    e) es insatisfacible.

  • Examen IX. Elabor: Vctor Fabin Nava Salazar.

    Seminario de Filosofa de la Lgica UNAM FES- Acatln 2015.

    8) En la bsqueda del one piece Monkey D Luffy Sombrero de paja junto con tres de sus compadres: Nami La gata ladrona, Zoro Roronoa cazador de piratas y Sanji Pata negra se han dispuesto a conseguir comida. Llegaron a la isla donde el rey les propuso lo siguiente a cambio de su comida. i) Si Pata negra me cocina, Nami me baila ii) No es el caso que: Zoro me pega y Sombrero de paja no me cuenta una aventura. iii) No es el caso que Nami me baila o el cazador de piratas me pega. iv) SI Luffy me cuenta una aventura, yo les dar alimento. cul de las siguientes opciones no les lleva al alimento a la tripulacin del sombrero de paja? a) La gata ladrona no me baila entonces Sanji no me concina. b) Yo les dar alimento o Sombrero de paja no me cuenta una aventura. c) No es el caso que: La gata ladrona no me baila entonces Zoro Roronoa me pega. d) No es el caso que: Sanji cocina y el cazador de piratas no me pega. e) El cazador de piratas me pega y Pata negra me cocina.

    9) Supongamos que tenemos una nueva conectiva tal que P Q es equivalente a (P V Q), Cul de las siguientes opciones es equivalente a (P V Q)? a) (P P) (Q Q) b) (P Q) c) ((P P) Q) Q) d) (P (P (Q Q)) e) (P P) (Q Q)

    10) Supongamos que estamos en la isla de caballeros y bribones y que estamos frente dos sujetos tales que no sabemos si son caballeros o bribones, podemos tener tres opciones, o bien uno es caballero y el otro bribn, o ambos son bribones o finalmente ambos son caballeros. Cul de las siguientes opciones nos permitira saberlo? a) Preguntarle a cada uno Eres caballero? b)Preguntarle a cada uno Eres Bribn? c) Preguntarle a cada uno Es verdad que no sea el caso que si son entonces son? d) Preguntarle a cada uno Es verdad que si soy entonces ustedes tambin? e) Preguntarles a cada uno Todos mienten?