Los cuatro reactivos en que más fallamos de la prueba eliminatoria para la IX Olimpiada de Lógica.

Problema 14. (Apto)

¿Cuál de las siguientes fórmulas es consecuencia lógica del conjunto de estas premisas?

$\mbox{Premisas:} ~~~ \{ ~ p, ~ t, ~ \neg r \}$

$(a) ~~~ \neg ( p \wedge ( t \lor \neg r ) ) ~ \wedge ~ ( p \wedge ( t \lor \neg r ) )$
$(b) ~~~ ( ~ s \supset s ~ ) \lor \neg t$
$(c) ~~~ ( \neg s \wedge s ) \wedge ( p \wedge t )$
$(d) ~~~ t \supset \neg t$
$(e) ~~~ ( s \supset s ) \wedge r$

Reactivo 23. (Apto)

Problema 25. (Apto)

¿Cuál de las siguientes afirmaciones es verdadera?

a) Si $(\neg \alpha \wedge \neg \beta)$ es una tautología, entonces $\alpha$ es una tautología o $\beta$ es una tautología.
b) Si $(\alpha \lor \beta)$ es una tautología, entonces $\alpha$ es una tautología o $\beta$ es una tautología.
c) Si $(\alpha \wedge \beta)$ es una contradicción, entonces $\alpha$ y $\beta$ son contradicciones.
d) Si $(\neg \alpha \wedge \neg \beta)$ es una tautología, entonces $\alpha$ y $\beta$ son contradicciones.
e) Si $(\neg \alpha \supset \neg \beta)$ es una contradicción, entonces $\alpha$ y $\beta$ son contradicciones.

Reactivo 17. (Apto)

Si no se indica lo contrario, el contenido de esta página se ofrece bajo Creative Commons Attribution-Noncommercial-Share Alike 2.5 License.