Página Principal del Proyecto Aracne

 

 

EXAMEN 1

 

1.- ¿Son tautologías las fórmulas siguientes?

 

SI  NO

SI  NO



2.- Decide mediante un árbol si es consistente el siguiente conjunto de fórmulas:

SI  NO

3.- ¿Son verdaderas o falsas las siguientes afirmaciones?

a.- Si   fuera independiente de    ,entonces  no podría ser una tautología.

VERDADERO  FALSO

b.- Si  es una fórmula contingente, entonces  es independiente de 

VERDADERO  FALSO