lógica cuantificacional

ejercicios de LC con solución.
Todos los sapos y las ranas son anfibios. Los anfibios viven en la tierra o en el agua. Ningún animal del pantano es reptil. Por lo tanto, si todos los anfibios sonanimales del pantano, entonces algunos animales viven en el agua o en la tierra.
Léxico: [estoy poniendo ‘tener la propiedad de’ solo para recordarles qué representan los predicados de LC, por elmismo motivo también habría sido útil poner ‘pertenece al conjunto de los’]
Sx = x tiene la propiedad de ser sapo
Rx = x tiene la propiedad de ser rana
Ax = x tiene la propiedad de ser anfibio
Tx = xtiene la propiedad de vivir en la tierra
Bx = x tiene la propiedad de vivir en el agua
Cx = x tiene la propiedad de ser animal
Dx = x tiene la propiedad de ser del pantano
Fx = x tiene lapropiedad de ser reptil
Simbolización:
{(∀x)[(Sx Ú Rx) ® Ax] Ù (∀x)[Ax ® (Tx Ú Bx)] Ù (∀x)[(Cx Ù Dx) ® ~Fx)]} ® {(∀x)[Ax (Cx Ù Dx)] .®. (∃x)[Cx Ù (Bx Ú Tx)]}
Si todos los detectives son lógicos y algunosescritores de novelas policiales escriben sobre detectives que solucionan casos fantásticos, algunos de estos escritores son lógicos. Por lo tanto, hay escritores de novelas policiales que sonlógicos, si escriben sobre detectives que solucionan casos fantásticos. De manera que, en conclusión, si Arthur Conan Doyle fue un escritor de novelas policiales y Sherlock Holmes un detective que solucionacasos fantásticos creador por Arthur Conan Doyle, Arthur, entonces, es lógico.
Léxico:
Dx = x tiene la propiedad de ser detective
Lx = x tiene la propiedad de ser lógico
Nx = x tiene la propiedadde ser escritor de novelas policiales (*** Para que se pueda apreciar mejor el ejercicio no estoy separando como en la clase. Como les dije, yo no estaría de acuerdo con no separar –sigo sin estarlo-pero no es incorrecto. Para quienes sí separaron sigan así y los que no también, para este caso en específico y otros análogos a este)
Sx = x tiene la propiedad de escribir sobre detectives
a:...