Revisión
1) Resolver mediante condicional asociado:
a)
1_ (D v E) --> (D . E)
2_ D v E .: D . E
b)
1_ E --> F
2_ F --> E .: E v F
2) Resolver mediante reglas de inferencia:
1_ J --> K
2_ K v L
3_ (L . ~J) --> (M . ~J)
4_ ~K .: M
a)
1_ (D v E) --> (D . E)
2_ D v E .: D . E
b)
1_ E --> F
2_ F --> E .: E v F
2) Resolver mediante reglas de inferencia:
1_ J --> K
2_ K v L
3_ (L . ~J) --> (M . ~J)
4_ ~K .: M
No hay comentarios:
Publicar un comentario