MODELO EXAMEN LÓGICA (USO DE LAS REGLAS DE INFERENCIA)

1. Resuelvo los siguientes argumentos utilizando las reglas de inferencia (vale 4 puntos, 1 punto por ejercicio)

A.         p.1)   p ^ q                            Conclusión  s  V  ┐p

            p.2)  ┐r → ┐q

            p.3)   r → s

B.        p.1 )   p → q                            Conclusión p → s

           p.2)    r

           p.3)    (q ^ r) → s

C.          p.1 ) ┐ (p^ q)                          Conclusión ┐ p V ┐ q

D.   p.1)   p→ q

      p.2)    r → s                                       Conclusión     (p ^ r) →  t

      p.3)  (  s ^ q ) → t

2. Formalizo y resuelvo el siguiente argumento utilizando las reglas de inferencia y procedimientos que conozco: (vale 3 puntos)

En semana santa voy a ligar y hacer el vago. Si estudio, entonces no hago el vago. Hago el vago. Por lo tanto, no se da la situación de que estudie y juegue a las cartas.

                                                             

3. Formalizo y resuelvo el siguiente argumento utilizando las reglas de inferencia: (vale 3 puntos)

     Todo número entero o es primo o es compuesto. Si es compuesto, es un producto de factores primos, y si es un producto de factores primos, es divisible por ellos. Pero si un número entero es primo, no es compuesto, aunque es divisible por sí mismo y por la unidad, y consiguientemente, también divisible por números primos. Por tanto, todo número entero es divisible por números primos.