PUERTA | PUERTA-CS-2002 | Pregunta 8
«Si X, entonces Y a menos que Z» esté representado por cuál de las siguientes fórmulas en lógica proposicional? (“¬” es negación “^” es conjunción y “→” es implicación) (A) (X ^ ¬ Z) → Y (B) (X ^ Y) → ¬ Z (C) (X → (Y ^ ¬ Z) (D) (X → Y(^ ¬ … Continue reading «PUERTA | PUERTA-CS-2002 | Pregunta 8»