PRIMERO: TODO CHIMPANCÉ ES PRIMATE P=ser primate H=hablar-comunicarse LUCY ES UN CHIMPANCÉ Q=ser chimpancé a=Lucy -------------------------- I=ser inteligente b=Mary LUCY ES UN PRIMATE R=ser humano c=Dolly
SEGUNDO: ALGUNOS PRIMATES NO SON CHIMPANCÉS ALGUNOS CHIMPANCÉS SABEN HABLAR ---------------------------------- ALGUNOS PRIMATES NO SON CHIMPANCÉS
TERCERO: TODOS LOS PRIMATES SON SERES INTELIGENTES TODOS LOS SERES INTELIGENTES SABEN HABLAR LUCY ES UN PRIMATE --------------------------------------- LUCY SABE HABLAR
CUARTO: TODOS LOS CHIMPANCÉS SON PRIMATES TODOS LOS PRIMATES SABEN COMUNICARSE LUCY Y MARY SON CHIMPANCÉS ------------------------------------ O LUCY SABE COMUNICARSE O MARY SABE COMUNICARSE
QUINTO: ALGUNOS SERES HUMANOS SABEN HABLAR ALGUNOS SERES QUE SABEN HABLAR SON INTELIGENTES ALGUNOS INTELIGENTES SE COMPORTAN COMO CHIMPANCÉS ------------------------------------------- ALGUNOS SERES HUMANOS SE COMPORTAN COMO CHIMPANCÉS
SEXTO: SI NO ES CHIMPANCÉ NO ES PRIMATE SI NO ES PRIMATE NO ES INTELIGENTE DOLLY NO ES UN CHIMPANCÉ ---------------------------------- DOLLY NO ES INTELIGENTE
SEPTIMO: ALGUNOS SERES SON INTELIGENTES O SABEN HABLAR DOLLY NO SABE HABLAR ------------------------------------- DOLLY NO ES INTELIGENTE
OCTAVO: ALGUNOS SERES NI SABEN HABLAR NI SON INTELIGENTES ---------------------------------- NO ES CIERTO QUE ALGUNOS SERES SEPAN HABLAR O SEAN INTELIGENTES
NOVENO: TODO CHIMPANCÉ SABE COMUNICARSE ALGUNOS PRIMATES NO SABEN COMUNICARSE --------------------------------------- ALGUNOS PRIMATES NO SON CHIMPANCÉS
DÉCIMO: NINGÚN CHIMPANCÉ TIENE INTELIGENCIA ALGUNOS SERES O SON HUMANOS O SON INTELIGENTES ALGUNOS PRIMATES NO SON HUMANOS --------------------------------------- ALGUNOS PRIMATES NO SON CHIMPANCÉS
PRIMERO: |--- Pa
|--- Ma
|--- $x (Tx Ù ¬ Cx)
|--- "x (Ox ® Vx)
|--- "x (Mx Ù Ex) ® ¬ Px
|--- $x (Hx Ù ¬ Dx)
|--- $x (Dx Ù ¬ Hx)
|--- $x (Nx Ù ¬ Fx)
|--- "x (Fx ® ¬ Nx)
|--- "x (Ox ® Ax)
|--- "x (Ax ® Px)
|--- $x (Lx Ù ¬ Hx)
|--- $x (Hx Ù ¬ Lx)
|--- $x (Fx Ù Px)
|--- "x (Px ® ¬ Fx)
|--- La
|--- ¬ La
|--- $x (Ax Ù ¬ Mx)
|--- $x (Mx Ù Ax)
|--- $x (Fx Ù ¬ Gx)
|--- $x (Gx Ù ¬ Fx)
|--- "x (¬ Ax ® ¬ Ex)
|--- $x Px Ù Ax
|--- "x ¬ Cx ® ( ¬ Lx Ù ¬ Fx)
|--- $x (Lx Ù ¬ Fx)