Predicados

1. Todos los Rinocerontes tienen un cuerno; todos los Plantígrados son rinocerontes;así pues, todos los Plantígrados tienen un cuerno.

• R=ser rinoceronte

• C=tener cuernos

• P=ser plantígrado

"x (Px ® Cx)

• -1 "x (Rx ® Cx)

• -2 "x (Px ® Rx)

• 3 Ra ® Ca EG 1

• 4 Pa ® Ra EG 2

• 5 Pa ® Ca Sil 4,3

• 6 "x (Px ® Cx) IG 8

2. Todas las selvas tropicales tienen color esmeralda.Nada que sea esmeralda está reseco. Por consiguiente, ninguna selva tropical está reseca.

• S=ser selva tropical

• E=ser color esmeralda

• R=ser reseco

"x (Sx ® ¬ Rx)

• -1 "x (Sx ® Ex)

• -2 "x (Rx ® ¬ Ex)

• 3 Sa ® Ea EG 1

• 4 Ra ® ¬ Ea EG 2

• 5 Sa [Supuesto Subsidiario]

• 6 Ea MP 3,5

• 7 ¬ Ra MT 4,6

• 8 Sa ® ¬ Ra TD 5-7

• 9 "x (Sx ® ¬ Rx) IG 8

3. Ningún fotógrafo pinta. Todos los que no son fotógrafos son escultores. Por lo tanto, todos los pintores son escultores.

• F=ser fotógrafo

• P=ser pintor

• E=ser escultor

"x (Px ® Ex)

• -1 "x (Fx ® ¬ Px)

• -2 "x (¬ Fx ® Ex)

• 3 Fa ® ¬ Pa EG 1

• 4 ¬ Fa ® Ea EG 2

• 5 Pa [Supuesto Subsidario]

• 6 ¬ Fa MT 3,5

• 7 Ea MP 4,6

• 8 Pa ® Ea TD 5-7

• 9 "x (Px ® Ex) IG 8

4. Ningún enamorado suspira. Todos los deprimidos suspiran. En consecuencia, nadie que esté deprimido está enamorado.

• E=estar enamorado

• S=suspirar

• D=estar deprimido

" x (Dx ® ¬ Ex)

• -1 "x (Ex ® ¬ Sx)

• -2 "x (Dx ® Sx)

• 3 Ea ® ¬ Sa EG 1

• 4 Da ® Sa EG 2

• 5 Da [Supuesto Subsidario]

• 6 Sa MP 4,5

• 7 ¬ Ea MT 3,6

• 8 Da ® ¬ Ea TD 5-7

• 9 "x (Dx ® ¬ Ex) IG 8

5. Ningún Mexicano canta rancheras.Nadie que cante rancheras es aburrido. Por lo tanto, ningún Mexicano es aburrido.

• M=ser mexicano

• C=cantar rancheras

• A=ser aburrido

"x (Mx ® ¬ Ax)

• -1 "x (Mx ® ¬ Cx)

• -2 "x (¬ Cx ® ¬ Ax)

• 3 Ma ® ¬ Ca EG 1

• 4 ¬ Ca ® ¬ Aa EG 2

• 5 Ma ® ¬ Aa Sil 3,4

• 6 "x (Mx ® ¬ Ax) IG 5

6. Ningún idiota resulta entretenido.Ningún premiado con el "Nobel" habla ininterrumpidamente.Todos los que no resultan entretenidos hablan ininterrumpidamente. En conclusión, ningún idiota es premiado con el "Nobel".

• I=ser idiota

• E=ser entretenido

• N=ser premio Nobel

• H=hablar ininterrumpidamente

"x (Ix ® ¬ Nx)

• -1 "x (Ix ® ¬ Ex)

• -2 "x (Nx ® ¬ Hx)

• -3 "x (¬ Ex ® Hx)

• 4 Ia ® ¬ Ea EG 1

• 5 Na ® ¬ Ha EG 2

• 6 ¬ Ea ® Ha EG 3

• 7 Ia [Supuesto subsidiario]

• 8 ¬ Ea MP 4,7

• 9 Ha MP 6,8

• 10 ¬ Na MT 5,9

• 11 Ia ® ¬ Na TD 7-10

• 12 "x (Ix ® ¬ Nx) IG 11

7. Ningún caballo sabe silbar; ningún cerdo tiene alas; todos los que no saben silbar tienen alas. Por consiguiente, ningún caballo es cerdo.

• B=ser caballo

• C=ser cerdo

• S=saber silbar

• A=tener alas

" x (Bx ® ¬ Cx)

• -1 "x (Bx ® ¬ Sx)

• -2 "x (Cx ® ¬ Ax)

• -3 "x (¬ Sx ® Ax)

• 4 Ba ® ¬ Sa EG1

• 5 Ca ® ¬ Aa EG2

• 6 ¬ Sa ® Aa)EG3

• 7 Ba [Supuesto

...