Página Principal del Proyecto Aracne

 

 

EXAMEN 2

 

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 es una tautología, entonces .

VERDADERO  FALSO

b.- Si  no es consecuencia de , entonces  es satisfacible
VERDADERO  FALSO