(1) All A are B.
(2) All A are non-B.
(3) No A are B.
(1) All A are B:
(2) All A are non-B:
(3) No A are B:
El ejercicio fue tomado de esta fuente:
martes, 18 de septiembre de 2012
Silogísticas a lógica predictiva
Exercise 4.15 Translate the following syllogistic statements into predicate logic, without using universal quantifiers:
(1) All A are B.
(2) All A are non-B.
(3) No A are B.
(1) All A are B:
(2) All A are non-B:
(3) No A are B:
El ejercicio fue tomado de esta fuente:
(1) All A are B.
(2) All A are non-B.
(3) No A are B.
(1) All A are B:
(2) All A are non-B:
(3) No A are B:
El ejercicio fue tomado de esta fuente:
Suscribirse a:
Enviar comentarios (Atom)
\forall = \neg \exists \neg; deberías haber aplicado eso en el primero y el segundo; quito dos puntos y quedan 8 pts.
ResponderEliminar