PUERTA | PUERTA-CS-2004 | Pregunta 70
El siguiente enunciado proposicional es (P → (Q v R)) → ((P ^ Q) → R) (A) satisfacible pero no válido (B) válido (C) una contradicción (D) ninguna de las anteriores Respuesta: ( A) Explicación: Creamos la tabla de verdad para el enunciado dado S como: Una fórmula es satisfactoria si hay al menos una … Continue reading «PUERTA | PUERTA-CS-2004 | Pregunta 70»