NOTAS Para efectos de normalizar la corrección, asígnele a los términos letras A, B, C.. en orden de aparición En las hojas siguientes están analizados para efectos de verificar lo que hicieron frente a ellos 

1.       Se puede afirmar que toda acción libre es racional en la medida que toda acción libre es responsable y que toda acción responsable es consciente; además de que toda acción consciente supone deliberación y de que toda acción deliberada es racional.2.       Como ningún acto libre es irracional y que algún acto irracional es irresponsable; a lo que se añade que algún acto irresponsable no es libre junto con el hecho de que todo acto irresponsable es excusable ante la ley y de que algún acto excusable ante la ley no es libre, además de que ningún acto excusable ante la ley es moralmente bueno, se puede establecer con toda certeza que algún acto moralmente bueno no es libre.3.       Es manifiesto que algo que produce placer tiene calorías ya que todo alimento tiene calorías y de que todo alimento es nutritivo, junto con que todo lo que tiene calorías es nutritivo; además de que algo nutritivo es deleitable y que algo deleitable tiene calorías, a lo cual se añade que todo lo deleitable produce placer.4.       Es claro que ninguna roca es viviente ya que todo animal es viviente y de que todo vertebrado es animal, junto a lo cual se afirma que todo cerdo es vertebrado y de que las rocas no son cerdos5.       Como Adán pecó de soberbia y los que pecan de soberbia atentan contra el mandato de Dios; además de que quienes atentan contra el mandato de Dios desobedecen y quien desobedece merece castigo, junto con que el que merece castigo es lanzado del paraíso y los lanzados del paraíso caen en un valle de lágrimas para pagar sus pecados, se infiere que Adán cayó en un valle de lágrimas para pagar sus pecados. 6.       Puesto que este razonamiento contiene errores se sigue que este razonamiento no es válido puesto que ningún razonamiento válido contiene errores, ya que los razonamientos válidos están bien construidos y que ningún razonamiento bien construido contiene errores7.       Se puede afirmar con certeza que Dios es ser único, ya que  Dios es "ens a se"; el "ens a se" es ser necesario; el ser necesario es ser infinito; el ser infinito es único. 8.       Ninguna cosa simple tiene partes; y dado que el alma humana es simple, no tiene partes; y como lo que no tiene partes es incorruptible, se sigue que el alma humana es incorruptible.  

CORRECCION 

1.       Se puede afirmar que toda acción libre(A) es racional (B) en la medida que toda acción libre(A) es responsable(C) y que toda acción responsable(C) es consciente(D); además de que toda acción consciente(D) supone deliberación(E)  y de que toda acción deliberada(E) es racional(B)

Se puede afirmar que todo(A) es (B) en la medida que toda (A) (C) y que toda (C) es (D); además de que toda (D) es (E)  y de que toda (E) es (B)        toda (E) es (B)       toda (D) es (E) 

                               toda (C) es (D);                               toda (A) (C)                               todo(A) es (B)                sorites correcto (ascendente o descendente) 

2.       Como ningún acto libre(A) es irracional(B) y que algún acto irracional(B) es irresponsable(C); a lo que se añade que algún acto irresponsable(C) no es libre(A) junto con el hecho de que todo acto irresponsable(C) es excusable ante la ley(D) y de que algún acto excusable ante la ley(D) no es libre(A), además de que ningún acto excusable ante la ley(D) es moralmente bueno(E), se puede establecer con toda certeza que algún acto moralmente bueno(E) no es libre(A).

Como ningún (A) es (B) y que algún (B) es (C); a lo que se añade que algún (C) no es (A) junto con el hecho de que todo (C) es (D) y de que algún (D) no es (A), además de que ningún (D) es (E), se puede establecer con toda certeza que algún (E) no es (A).

                                                                               ningún (A) es (B)                                                                              algún (B) es (C);                               fresiso                                  algún (C) no es (A)                                                                                           todo (C) es (D)                                                                              algún (D) no es (A),            bocardo                                                                              ningún (D) es (E),                               inválido: 2 negativas        algún (E) no es (A).             

1

3.       Es manifiesto que algo que produce placer(A) tiene calorías(B) ya que todo alimento(C) tiene calorías(B) y de que todo alimento(C) es nutritivo(D), junto con que todo lo que tiene calorías(B) es nutritivo(D); además de que algo nutritivo(D) es deleitable(E)  y que algo deleitable(E)  tiene calorías(B), a lo cual se añade que todo lo deleitable(E)  produce placer(A).

 Es manifiesto que algún (A) es (B) ya que todo (C) es (B) y de que todo (C) es (D), junto con que todo (B) es (D); además de que algún (D) es (E)  y que algún (E)  es (B), a lo cual se añade que todo (E)  es (A).

 

                                               todo (C) es (D),                                               todo (C) es (B)                                               todo (B) es (D)                     B aumenta de extensión                                               algún (D) es (E)                                                  algún (E)  es (B)                 D no está distribuido                                               todo (E)   es (A).                                                algún (A) es (B) 

4.       Es claro que ninguna roca(A) es viviente(B) ya que todo animal(C) es viviente(B) y de que todo vertebrado(D) es animal(C), junto a lo cual se afirma que todo cerdo(E) es vertebrado(D) y de que las rocas(A) no son cerdos(E)

 Es claro que ninguna (A) es (B) ya que todo (C) es (B) y de que todo (D) es (C), junto a lo cual se afirma que todo (E) es (D) y de que ningún (A) es (E) 

todo (E) es (D)               todo (D) es (C)               todo (C) es (B)               ningún (A) es (E)               ningun (A) es (B)    ARGUMENTO INCOMPLETO: FALTAN TERMINOS

 5.       Como Adán(A) pecó de soberbia (B) y los que pecan de soberbia(B) atentan contra el mandato de Dios(C); además de que quienes atentan contra el mandato de Dios(C) desobedecen(D) y quien desobedece(D) merece castigo(E), junto con que el que merece castigo(E) es lanzado del paraíso(F) y los lanzados del paraíso(F) caen en un valle de lágrimas para pagar sus pecados(G), se infiere que Adán(A) cayó en un valle de lágrimas para pagar sus pecados(G).

Como (A) es (B) y todo (B) es (C); todo (C) es (D) y todo (D) es (E), junto con que todo (E) es (F) y todo (F) es (G), se infiere que (A) es (G).

 

(A)    es (B)  todo (B) es (C) todo (C) es (D) todo (D) es (E)todo (E) es (F)todo (F) es (G) (A) es (G).                    sorites correcto (ascendente o descendente)

  

2

6.       Puesto que este razonamiento(A) contiene errores(B) se sigue que este razonamiento(A) no es válido(C) puesto que ningún razonamiento válido(C) contiene errores(B), ya que los razonamientos válidos(C) están bien construidos(D) y que ningún razonamiento bien construido(D) contiene errores(B)

 Puesto que este (A) es (B) se sigue que este (A) no (C) puesto que ningún (C) es (B), ya que todo (C) es (D) y que ningún (D) es (B)

                                 ningún (C) es (B)                 ningún (D) es (B)                               este (A) es (B)                      todo (C) es (D                               este (A) no (C)                     ningún (C) es (B)                                                                            epiquerema válido 7.       Se puede afirmar con certeza que Dios(A) es ser único(B), ya que  Dios(A) es "ens a se"(C); el "ens a se"(C) es ser necesario(D); el ser necesario(D) es ser infinito(E); el ser infinito(E) es único(B).  

Se puede afirmar con certeza que (A) es (B), ya que  (A) es (C); todo (C) es (D); todo (D) es (E); todo (E) es (B).

                               (A)    es (C)

 todo (C) es (D)todo (D) es (E)todo (E) es (B)(A) es (B),

                                                               sorites correcto (ascendente o descendente)  8.       Puesto que ninguna cosa simple(A) tiene partes (B); y dado que el alma humana(C) es simple(A), (C) no tiene partes(B); y como lo que no tiene partes(B) es incorruptible(D), se sigue que el alma humana(C) es incorruptible(D).

 Puesto que ningún (A) es (B); y dado que todo (C) es (A), (C) no es (B); y como todo (B) es (D), se sigue que todo (C) es (D).  ningún (A) es (B)todo (C) es (A)ningún (C) es (B)        celarent  todo (B) es (D)  todo (C) es (D).          INVÁLIDO: NO SIGUE LA PEOR PARTE 

       

3