An Algebraic Interpretation of Propositional Logic

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS
Universidad del Per, Decana de Amrica

FACULTAD DE LETRAS Y CIENCIAS HUMANAS
Escuela Acadmico Profesional de Filosofa
UNA INTERPRETACIN ALGEBRAICA DE LA LGICA

PROPOSICIONAL Y DE SUS IMPLICANCIAS EN FRMULAS
PREDICATIVAS CERRADAS CON CUANTIFICADORES
Por
Miguel Angel Merma Mora
Tesis presentada para obtener el Ttulo Profesional de

Licenciado en Filosofa
Lima, 2016
A Joan, por su apoyo en los momentos cruciales
Aun las estructuras formales pueden reagruparse de

maneras ms econmicas y racionales
MARIO BUNGE
AGRADECIMIENTOS
Estoy agradecido con el Dr. scar Garca Zrate y con el Dr. Marino Llanos
Villajuan, quienes fueron mis profesores de Lgica I y Lgica II respectivamente,
durante mi formacin en el pregrado de Filosofa. A ellos les debo mi inters inicial en
la lgica matemtica.
Posteriormente, ya en el nivel del posgrado, asist al curso de Lgica de Primer
Orden a cargo del Dr. Luis Piscoya Hermoza y entr en contacto con su obra, de la cual
aprend que la lgica constituye un poderoso instrumento de anlisis epistemolgico y
que adems fue desarrollada por necesidades fundamentalmente matemticas. Esta
importante leccin y el enfoque conceptual de la lgica que aprend en el posgrado,
encaminaron mi investigacin hacia una interpretacin algebraica de la lgica.
Estoy profundamente agradecido con el Dr. Luis Piscoya Hermoza por todo lo
aprendido en sus clases y en las conversaciones que sostuvimos con motivo de mi tesis.
Ha sido un enorme privilegio contar con l como asesor de tesis y como principal
alentador para la culminacin de mi investigacin.
NDICE DE CONTENIDO
Pg.
Introduccin...6
Captulo I: La interpretacin algebraica de la lgica proposicional..9

I.1. Los operadores lgicos como expresiones algebraicas...9
I.2. El condicional representado como producto.....16
I.3. La reduccin de tautologas, contradicciones y contingencias.18
Captulo II: La interpretacin algebraica de frmulas predicativas mondicas de

primer orden......31
II.1. La relacin entre los cuantificadores y la productoria.....31
II.2. La interpretacin algebraica del cuadro de Boecio..32
II.3. La prueba de validez de frmulas predicativas mondicas de primer orden mediante
mtodos algebraicos....35
Captulo III: La decisin algebraica de frmulas predicativas mondicas de primer

orden con identidad.......42
III.1. La representacin algebraica de las formas normales prenex....42
III.2. La prueba de validez de frmulas predicativas mondicas de primer orden con
identidad mediante mtodos algebraicos.....47
Conclusiones....50
Bibliografa......52
INTRODUCCIN
El fracaso del proyecto logicista marc el fin de una empresa aorada por
numerosos filsofos y matemticos: reducir la matemtica a la lgica. Sin embargo, este
proyecto fallido dej algunas lecciones importantes; una de ellas estriba en la aceptacin
de que los lmites entre la lgica y la matemtica no estn tan claros como parecan y
que existe una suerte de continuidad entre ambas disciplinas. Hay una buena cantidad de
trabajos que, siguiendo la direccin del proyecto logicista, formulan interpretaciones
lgicas de la matemtica pero hay pocos que siguen el camino inverso. Esta
investigacin pretende establecer la posibilidad de interpretar en trminos matemticos,
especficamente algebraicos, ciertos fragmentos de la lgica de primer orden.
Los estudios de lgica en nuestra escuela han seguido, mayoritariamente, la
tradicin de Frege y Russell, por lo cual no hay muchos trabajos que se inscriban en la
tradicin algebrista de la lgica inaugurada por George Boole y desarrollada, entre
otros, por Lwenheim, Schrder y Adolf Lindenbaum. Esta investigacin pertenece al
universo de esta segunda tradicin.
Se sostendr que es viable una interpretacin algebraica de la lgica
proposicional y de sus implicancias en las frmulas predicativas haciendo uso de un
sistema posicional binario construible sobre la base de definiciones adecuadas.
Se puede interpretar algebraicamente la lgica proposicional por medio de la
definicin de dos operadores; la negacin y la disyuncin. Tales operadores de la lgica
proposicional conectan variables proposicionales, las cuales poseen valores de verdad.
En la interpretacin algebraica que se propone, la negacin y la disyuncin se
interpretan como operaciones algebraicas entre variables numricas bivalentes que
pueden asumir el 0 o el 1 en lugar de la verdad (V) y la falsedad (F) respectivamente. La
negacin de p tendra la forma de la diferencia (1 p) y la disyuncin de dos variables

proposicionales tendra la forma del producto de dos variables numricas bivalentes.
Sobre la base de lo anterior, es posible interpretar algebraicamente las frmulas
predicativas cerradas con cuantificadores por medio de la definicin bsica del
cuantificador existencial. En lgica predicativa, este cuantificador supone una cadena
infinita de disyunciones de constantes individuales que tienen una determinada
propiedad. Considerando que en nuestra interpretacin la disyuncin guarda
correspondencia con el producto, tenemos que un cuantificador existencial es
interpretable como una cadena infinita de factores, lo que puede expresarse
abreviadamente empleando el concepto matemtico de productoria denotado por el
smbolo . La interpretacin algebraica del cuantificador universal tambin es
posible, puesto que este cuantificador supone una cadena infinita de conjunciones de
constantes individuales que tienen una determinada propiedad. En la interpretacin
algebraica que se propone es necesario aplicar la identidad de De Morgan a un nmero
potencialmente infinito de conjunciones para poder expresar el cuantificador universal
en trminos de una productoria.
La presente investigacin se circunscribe principalmente en el mbito de la
filosofa de la lgica y del metaanlisis lgico, en la medida en que se efecta una
exploracin metalgica.
El mtodo empleado aplica procedimientos hipottico-deductivos al anlisis del
lenguaje formal de la lgica proposicional estndar. Esta metodologa permite
caracterizar aspectos sintcticos y semnticos de la lgica proposicional al dotarla de
una interpretacin no estndar de tipo algebraico.
La interpretacin algebraica efectuada permite proponer un mtodo decisorio

formulado en trminos algebraicos para frmulas predicativas mondicas de primer
orden con identidad. De este modo, se le da continuidad a la investigacin sobre los
mtodos decisorios, formulados ahora algebraicamente, puesto que as se tiene la
ventaja de extender la decisin sobre las afirmaciones matemticas.
La presente investigacin se vio alentada por la necesidad de realizar estudios
interdisciplinarios o de frontera entre la lgica moderna y las matemticas. Se ha dado
un pequeo paso en este proyecto que otros investigadores pueden continuar.
CAPTULO I
LA INTERPRETACIN ALGEBRAICA DE LA LGICA PROPOSICIONAL
Empezaremos estableciendo una correspondencia entre la tabla de verdad de la
negacin de una proposicin p y la tabla numrica de la expresin algebraica (1 p),
siempre que p solo pueda asumir los valores 0 o 1. Asimismo, se establecer la
correspondencia entre la tabla de verdad de la proposicin compuesta () y la tabla
numrica de la expresin algebraica , considerando siempre que y solo pueden
asumir los valores 0 o 1.1
Sobre la base de la interpretacin algebraica de estos dos operadores lgicos
fundamentales se puede interpretar algebraicamente cualquier otro operador lgico en
trminos algebraicos.
I.1. LOS OPERADORES LGICOS COMO EXPRESIONES ALGEBRAICAS
En esta seccin desarrollaremos la representacin algebraica de los operadores
lgicos y emplearemos la negacin y la disyuncin inclusiva como los puntos de partida
de nuestro sistema. Para tal fin, estableceremos la correspondencia entre la verdad y el 0
y, por otra parte, entre la falsedad y el 1.2
p (1 p)
LA NEGACIN:
(1 p)
(1 p)
10
11
La expresin algebraica pq debe entenderse como el producto de p por q.

Empleamos esta correspondencia como figura en el texto Lgica general de Luis Piscoya Hermoza
(2007: 199).
2
Si le asignamos el valor 0 a la proposicin p, entonces su negacin adopta el

valor 1 y si la proposicin p asume el valor 1, su negacin adopta el valor 0. De esto se
desprende que la proposicin equivale, en la interpretacin algebraica, a (1 p),
pues 1 0 = 1 y 1 1 = 0.
LA DISYUNCIN INCLUSIVA:
(pq) pq
pq
pq
pq
0x0
0x1
1x0
1x1
En el primer arreglo del cuadro de la derecha tenemos que ambas variables

numricas asumen el 0 como valor y que, en ese caso, el producto de p y q arroja 0. En
el segundo arreglo tenemos que cuando p asume el valor 0 y q asume el valor 1, el
producto tambin arroja 0. En el tercer arreglo tenemos que cuando p asume el valor 1 y
q asume el valor 0, el producto nuevamente arroja 0. Finalmente, en el cuarto arreglo
tenemos que cuando p y q asumen el valor 1, el producto esta vez arroja 1. De esto se
desprende que la proposicin compuesta pq equivale en la interpretacin algebraica
que proponemos al producto pq, pues 0 x 0 = 0, 0 x 1 = 0, 1 x 0 = 0 y 1 x 1 = 1.
Con estas dos correspondencias bsicas podemos interpretar algebraicamente los
dems operadores de la lgica proposicional. El procedimiento consiste en expresar los
dems operadores en trminos de disyunciones y negaciones.
10
(pq) (p + q pq)
LA CONJUNCIN:
1.
pq
2.
(p q)
De Morgan en 1
3.
1 (1 p)(1 q)
Interpret. algebraica en 2
4.
1 (1 q p + pq)
Multiplicacin de factores en 3
5.
1 1 + q + p pq
Introduccin del signo negativo en 4
6.
p + q pq
Diferencia y conmutatividad de la suma en 5
pq
0+0(0x0)
0+1(0x1)
1+0(1x0)
1+1(1x1)
p + q pq
p + q pq
(p q) (1 p)q
EL CONDICIONAL:
1.
pq
2.
p q
Definicin de condicional en 1
3.
(1 p)q
pq
(1 p)q
(1 p)q
(10)0
(10)1
(11)0
(11)1
11
(p q) (p + q 2pq)
EL BICONDICIONAL:
En este caso, necesitamos emplear algunas propiedades adicionales del lenguaje

algebraico que estamos desarrollando. Como las variables numricas p, q, r, s, solo
pueden asumir los valores numricos 0 o 1, tenemos que, sin importar cul de esos
valores asuma una variable numrica, siempre se cumple que3:
p2 = p
q2 = q
r2 = r
s2 = s
p3 = p
q3 = q
r3 = r
s3 = s
p4 = p
q4 = q
r4 = r
s4 = s
Utilizaremos estas propiedades adicionales para pasar de la lnea 7 a la lnea 8

del siguiente desarrollo:
1.
pq
2.
(p q)(q p)
Definicin de bicondicional en 1
3.
[(p q)(q p)]
De Morgan en 2
4.
1 [1 (1 p)q][1 (1 q)p]
5.
1 [1 (q pq)][1 (p qp)]
Distrib. del producto en 4
6.
1 (1 q + pq)(1 p + pq)
Introduc. del signo negativo en 5
7.
1 (1 p + pq q + pq pq2+ pq p2q + p2q2)
Multiplicacin de factores en 6
8.
1 (1 p + pq q + pq pq + pq pq + pq)
Propiedades adicionales en 7
9.
1 (1 p + pq q + pq)
Diferencia en 8
Esto se justifica en virtud de que tanto el cero como el uno elevados a cualquier potencia siguen siendo
el mismo nmero.
12
10.
1 1 + p pq + q pq
Introduc. del signo negativo en 9
11.
p + q 2pq
Diferencia y conmutatividad de la suma en 10
pq
0+02(0x0)
0+12(0x1)
1+02(1x0)
1+12(1x1)
p + q 2pq
p + q 2pq
(p q) 1 (p + q 2pq)
LA DISYUNCIN EXCLUSIVA:
1.
pq
2.
(p q)
Definicin de bicondicional en 1
3.
1 (p + q 2pq)
pq
1 (p + q 2pq)
1[0+02(0x0)]
1[0+12(0x1)]
1[1+02(1x0)]
1[1+12(1x1)]
EL OPERADOR DE NICOD:
1 (p + q 2pq)
(p q) (1 p)(1 q)
1.
pq
2.
(p q)
Definicin del operador de Nicod en 1
3.
p q
De Morgan en 2
4.
(1 p)(1 q)
13
pq
(1 p)(1 q)
(1 p)(1 q)
(10)(10)
(10)(11)
(11)(10)
(11)(11)
EL OPERADOR DAGA:
(p q) (1 pq)
1.
pq
2.
(p q)
Definicin del operador Daga en 1
3.
(1 pq)
pq
(1 pq)
(1 pq)
1(0x0)
1(0x1)
1(1x0)
1(1x1)
En resumen, establecemos la representacin algebraica de los operadores de la

lgica proposicional en el cuadro que sigue a estas lneas. Debemos considerar que la
columna de la izquierda presenta los operadores de la lgica proposicional, mientras que
la columna de la derecha tiene las respectivas interpretaciones algebraicas.
14
OPERADORES DE LA LGICA
EXPRESIONES ALGEBRAICAS
PROPOSICIONAL
EQUIVALENTES
( )
( + )
( )
( + )
( + )
( )( )
( )
La interpretacin algebraica que desarrollamos en esta investigacin resulta ser

un lgebra de Boole y, con mayor especificidad, un lgebra de Lindenbaum cuyo
sistema es de la forma < L/equiv,,, , , >, donde y son los individuos, y
son operaciones binarias y es una operacin unaria.4 En nuestra interpretacin, es la
conjuncin, es la disyuncin inclusiva y es la negacin, debido a que asociamos la
verdad con el 0 y la falsedad con el 1. Nuestro sistema ha expandido el nmero de
operadores binarios de dos a siete sobre la base de las operaciones binarias y , sin
embargo, sigue siendo un lgebra de Lindenbaum y por consiguiente un lgebra de
Boole, ya que cumple los axiomas que debe satisfacer todo lgebra de Boole5:
xy = yx
xy = yx
x x = 1
x x = 0
x(yz) = (xy)z
x (yz) = (xy)z
x0 = x
x1 = x
x(yz) = (xy)(xz)
x(yz) = (xy)(xz)
El lgebra de Lindenbaum figura como una de las entradas del Diccionario de lgica y filosofa de la
ciencia de Jess Mostern y Roberto Torretti (2010: 32).
5
Vase los axiomas que satisface todo lgebra de Boole en el Diccionario de lgica y filosofa de la
ciencia de Jess Mostern y Roberto Torretti (2010: 29-30).
15
I.2. EL CONDICIONAL REPRESENTADO COMO PRODUCTO

Empezaremos con la representacin algebraica de la frmula condicional p q
que
tiene
la
estructura
bsica
de
un
producto
de
la
forma
(1 p)q.
1.
pq
2.
pq
3.
(1 p)q
Si consideramos la frmula condicional (pq) r, cuyo antecedente tiene dos

variables proposicionales unidas por la conjuncin, entonces la representacin
algebraica correspondiente tendra la estructura bsica de un producto de la forma
(1 p)(1 q)r.
1.
(pq) r
2.
(pq)r
3.
(pq)r
De Morgan en 2
4.
pqr
Asociatividad en 3
5.
(1 p)(1 q)r
Si consideramos la frmula condicional (pqr) s cuyo antecedente tiene tres

variables proposicionales unidas por la conjuncin, entonces la representacin
algebraica correspondiente tendra la estructura bsica de un producto de la forma
(1 p)(1 q)(1 r)s.
16
Consideremos
1.
(pqr) s
2.
(pqr)s
3.
(pqr)s
De Morgan en 2
4.
pqrs
Asociatividad en 3
5.
(1 p)(1 q)(1 r)s
ahora,
de
manera
intuitiva,
la
frmula
condicional
(pqrs x ) z, cuyo antecedente tiene un nmero potencialmente infinito

de variables proposicionales unidas por la conjuncin. Con estas condiciones, la
representacin algebraica correspondiente tendra la estructura bsica de un producto de
la forma (1 p)(1 q)(1 r)(1 s) (1 x) z, el cual ostentara a su vez un
nmero tambin potencialmente infinito de factores. Cabe considerar que solo el
factor no tendra forma de sustraccin.
1.
(pqrs x ) z
2.
(pqrs x )z
3.
(pqrs x )z
De Morgan en 2
4.
pqrs x z
Asociatividad en 3
5.
(1 p)(1 q)(1 r)(1 s) (1 x) z
En esta lnea es necesario aplicar inductivamente la definicin del condicional de manera anloga al
uso inductivo de la equivalencia de De Morgan que figura en el texto Tpicos en epistemologa de Luis
Piscoya Hermoza (2009: 114).
7
En esta lnea aplicaremos inductivamente la equivalencia de De Morgan un nmero potencialmente
infinito de veces. Este procedimiento est permitido y lo tomamos del texto Tpicos en epistemologa de
Luis Piscoya Hermoza (2009: 114).
17
I.3.
LA
REDUCCIN
DE
TAUTOLOGAS,
CONTRADICCIONES
CONTINGENCIAS
En la interpretacin algebraica que hemos desarrollado, las tautologas pueden
expresarse como frmulas algebraicas reductibles a cero. Esta reduccin es posible,
puesto que la verdad est asociada con el cero como una de las bases de nuestra
interpretacin y si una frmula de lgica proposicional es verdadera en todos los
arreglos posibles, entonces es igual a cero en todos los arreglos de nuestra interpretacin
algebraica.8
En el caso de las contradicciones, tendremos expresiones algebraicas reductibles
a uno. Esta reduccin es posible, puesto que la falsedad est asociada con el uno como
una de las bases de nuestra interpretacin y si una frmula es falsa en todos los arreglos
posibles, entonces es igual a uno en todos los arreglos de nuestra interpretacin
algebraica.9
Finalmente, las frmulas contingentes no se reducen ni a cero ni a uno. Esta
clase de esquemas se reducen a expresiones algebraicas de menor extensin que tienen
por lo menos un cero y por lo menos un uno entre sus arreglos.
Cualquier frmula del tipo A A es igual a cero en nuestra interpretacin algebraica. Intuitivamente
podemos afirmar que las tautologas no dicen nada significativo, de ah que su valor sea 0.
9
Las frmulas del tipo A A son iguales a uno en nuestra interpretacin algebraica. Intuitivamente
podemos afirmar que las contradicciones lo dicen todo, o permiten decirlo todo, puesto que de una
contradiccin se sigue cualquier afirmacin. Esta capacidad de decirlo todo se representa con el 1.
18
I.3.1. TAUTOLOGAS
[(p q)p] q
MODUS PONENS:
[( p q) p] q
0 00
0 0
1 10
0 1
0 11
0 0
1 11
0 1
1.
[(p q)p] q
2.
[(p q)p]q
3.
[(p q)p]q
De Morgan en 2
4.
(p q)pq
Asociatividad en 3
5.
[ ( )]( )
6.
(1 p)q (1 p)2q2
Distribucin del producto en 5
7.
q pq (122p + p2) q2
Distribucin del producto y binomio al cuadrado en 6
8.
q pq (1 2p + p) q2
9.
q pq (1 p) q2
Diferencia en 8
10. q pq (q2pq2)
11. q pq (q pq)
12. q pq q + pq
13. 0
Diferencia en 12
19
En el desarrollo anterior puede apreciarse que la lnea cinco tiene la forma

(1A)A. Esta frmula de nuestra interpretacin algebraica equivale a la frmula AA
de lgica proposicional, lo cual significa que ya en la lnea cinco sabemos que la
frmula inicial [(p q)p] q
es reductible a cero, pues equivale a la
tautologa AA. Desde la lnea seis hasta la trece tenemos el desarrollo algebraico que
reduce la frmula inicial a cero.
[(p q)q] p
MODUS TOLLENS:
[(p q) q] p
0 110
0 10
1 101
0 10
0 110
0 01
1 001
0 01
1.
[(p q)q] p
2.
[(p q)q]p
3.
[(p q)q]p
De Morgan en 2
4.
(p q)qp
Asociatividad en 3
5.
(p q)pq
Conmutatividad en 4
6.
[ ( )]( )
7.
(1 p)q (1 p)2q2
8.
q pq (122p + p2) q2
Distribucin del producto y binomio al cuadrado en 7
9.
q pq (1 2p + p) q2
10. q pq (1 p) q2
Diferencia en 9
20
11. q pq (q2pq2)
12. q pq (q pq)
13. q pq q + pq
14. 0
Diferencia en 13
En el desarrollo anterior puede apreciarse que la lnea seis tiene la forma

(1A)A. Esta frmula de nuestra interpretacin algebraica equivale a la frmula AA
de lgica proposicional, lo cual significa que ya en la lnea seis sabemos que la frmula
inicial [(p q)q] p es reductible a cero, pues equivale a la tautologa AA.
Desde la lnea siete hasta la catorce tenemos el desarrollo algebraico que reduce la
frmula inicial a cero. Adicionalmente, se aprecia que el Modus Ponens y el Modus
Tollens tienen la misma forma algebraica: [1 (1 p)q](1 p)q .
[(p q)(q r)] (p r)
SILOGISMO HIPOTTICO:
[(p q) ( q r)] (p r)
0 0 0 0 0
0 0 0
0 1 0 1 1
0 1 1
1 1 1 0 0
0 0 0
1 1 1 0 1
0 1 1
0 0 0 0 0
1 0 0
0 1 0 1 1
1 0 1
1 0 1 0 0
1 0 0
1 0 1 0 1
1 0 1
21
1.
[(p q)(q r)] (p r)
2.
[(p q)(q r)](p r)
3.
[(p q)(q r)](p r)
De Morgan en 2
4.
(p q)(q r)(p r)
Asociatividad en 3
5.
[1 (1 p)q][1 (1 q)r] (1 p)r
6.
[1 (1 p)q][1 (1 q)r]r(1 p)
Conmutatividad en 5
7.
[1 (1 p)q][r (1 q)r2](1 p)
8.
[1 (1 p)q][r (1 q)r](1 p)
9.
[1 (1 p)q][r (r rq)](1 p)
10. [1 (1 p)q][r r + rq](1 p)
11. [1 (1 p)q]rq(1 p)
Diferencia en 10
12. [ ( )]( )
Conmutatividad en 11
13. 0
Reduccin a cero en 12
En el desarrollo anterior puede apreciarse que la lnea doce tiene la forma

(1A)A multiplicado por el factor r. La frmula (1A)A de nuestra interpretacin
algebraica equivale a la frmula AA y por lo tanto es reductible a cero y el cero
multiplicado por cualquier nmero sigue siendo cero. Esto significa que ya en la lnea
doce sabemos que la frmula inicial [(p q)(q r)] (p r) es reductible a
cero, pues equivale a la tautologa AA.
Tambin puede apreciarse que, en nuestra interpretacin algebraica, el Silogismo
Hipottico es un mltiplo del Modus Ponens. Este ltimo se representa algebraicamente
como [1 (1 p)q](1 p)q, mientras que el Silogismo Hipottico se representa
algebraicamente como [1 (1 p)q](1 p)q . Como dato interesante resulta que ,
22
el factor adicional del Silogismo Hipottico expresado algebraicamente, es la tercera

variable proposicional que no figura en el Modus Ponens.
[(p q)(r s)(p r)] (q s)
DILEMA CONSTRUCTIVO:
0 0 0
0 0 0 0 0 0
0 00
0 1 0
1 1 1 0 0 0
0 01
0 0 1
0 0 0 0 0 1
0 00
0 0 1
0 1 0 0 0 1
0 01
1 1 0
0 0 1 0 0 0
1 00
1 1 0
1 1 1 0 0 0
1 11
1 1 1
0 0 1 0 0 1
1 00
1 1 1
0 1 1 0 0 1
1 11
0 0 0
0 0 0 1 0 0
0 00
0 1 0
1 1 1 1 0 0
0 01
0 0 1
0 0 1 1 1 1
0 00
0 0 1
0 1 1 1 1 1
0 01
1 0 0
0 0 0 1 0 0
1 00
1 1 0
1 1 1 1 0 0
1 11
1 0 1
0 0 1 1 1 1
1 00
1 0 1
0 1 1 1 1 1
1 11
{[( p q) (r s)] (p r)} (q s)10
10
Hemos introducido los signos de agrupacin [ ] y { } en la frmula del Dilema Constructivo para poder
completar los datos del cuadro adecuadamente.
23
1.
[(p q)(r s)(pr)] (qs)
2.
[(p q)(r s)(pr)](qs)
3.
[(p q)(r s)(pr)](qs)
De Morgan en 2
4.
(p q)(r s)(pr)(qs)
Asociatividad en 3
5.
[1 (1 p)q][1 (1 r)s] (1 pr)qs
6.
[1 (1 p)q][1 (1 r)s]s(1 pr)q
Conmutatividad en 5
7.
[1 (1 p)q][s (1 r)s2](1 pr)q
8.
[1 (1 p)q][s (1 r)s](1 pr)q
9.
[1 (1 p)q][s (s rs)](1 pr)q
10. [1 (1 p)q][s s + rs](1 pr)q
11. [1 (1 p)q]rs(1 pr)q
Diferencia en 10
12. [1 (1 p)q]r(1 pr)qs
13. [1 (1 p)q](r pr2)qs
14. [1 (1 p)q](r pr)qs
15. [1 (1 p)q]r(1 p)qs
Factorizacin de variable en 14
16. [ ( )]( )
17. 0
24
En el desarrollo anterior puede apreciarse que la lnea diecisis tiene la forma

(1A)A multiplicado por el factor rs. La frmula (1A)A de nuestra interpretacin
algebraica equivale, como ya sabemos, a la frmula AA de lgica proposicional y,
por lo tanto, es reductible a cero y el cero multiplicado por cualquier nmero sigue
siendo cero. Esto significa que ya en la lnea diecisis sabemos que la frmula inicial
[(p q)(r s)(pr)] (qs) es reductible a cero, pues equivale a la
tautologa AA.
Tambin se aprecia que, en nuestra interpretacin algebraica, el Dilema
Constructivo es un mltiplo del Modus Ponens. Este ltimo se representa
algebraicamente como [1 (1 p)q](1 p)q mientras que el Dilema Constructivo es
de la forma [1 (1 p)q](1 p)q . Resulta que y , los factores adicionales del
Dilema Constructivo expresado algebraicamente, son la tercera y la cuarta variable
proposicional que no figuran en el Modus Ponens.
25
[(p q) (r s)(q s)] (p r)
DILEMA DESTRUCTIVO:
p
0 0 0
0 0
1 1
1 1
1 1
0 1 0
1 1
1 1
0 0
1 1
0 0 1
0 0
1 1
1 1
0 0
0 0 1
0 1
0 1
0 0
0 0
1 1 0
0 0
1 0
0 1
1 1
1 1 0
1 1
1 0
0 0
1 1
1 1 1
0 0
1 0
0 1
0 0
1 1 1
0 1
1 0
0 0
0 0
0 0 0
0 0
1 1
1 1
0 1
0 1 0
1 1
1 1
0 0
0 1
0 0 1
0 0
1 1
1 1
0 0
0 0 1
0 1
0 1
0 0
0 0
1 0 0
0 0
0 0
0 1
0 1
1 1 0
1 1
1 0
0 0
0 1
1 0 1
0 0
0 0
0 1
0 0
1 0 1
0 1
0 0
0 0
0 0
{[(p q) (r s)](q s)} (p r)11
1.
[(p q)(r s)(qs)] (pr)
2.
[(p q)(r s)(qs)](pr)
3.
[(p q)(r s)(qs)](pr)
De Morgan en 2
11
Hemos introducido los signos de agrupacin [ ] y { } en la frmula del Dilema Destructivo para poder
completar los datos del cuadro adecuadamente.
26
4.
(p q)(r s)(qs)(pr)
Asociatividad en 3
5.
[1 (1 p)q][1 (1 r)s][1 (1 q)(1 s)](1 p)(1 r)
Interp. algebr. en 4
6.
[1 (1 p)q][1 (1 r)s](1 r)[1 (1 q)(1 s)](1 p)
Conmutatividad en 5
7.
[1 (1 p)q][(1 r) (1 r)2s][1 (1 q)(1 s)](1 p)
Distrib. del prod. en 6
8.
[1 (1 p)q][(1 r) (1 r)s][1 (1 q)(1 s)](1 p)
Propied. adic. en 7
9.
[1 (1 p)q](1 r)(1 s)[1 (1 q)(1 s)](1 p)
Fact. de variab. en 8
10. [1 (1 p)q](1 r)[(1 s) (1 q)(1 s)2](1 p)
11. [1 (1 p)q](1 r)[(1 s) (1 q)(1 s)](1 p)
Propied. adic. en 10
12. [1 (1 p)q](1 r)(1 s)[1 (1 q)](1 p)
Fact. de variab. en 11
13. [1 (1 p)q](1 r)(1 s)(1 1 + q)(1 p)
Int. del signo neg. 12
14. [1 (1 p)q](1 r)(1 s)q(1 p)
Diferencia en 13
15. [ ( )]( )( )( )
16. 0
Reducc. a cero en 15
En el desarrollo anterior puede apreciarse que la lnea quince tiene la forma

(1A)A multiplicado por el factor ( )( ). La frmula (1A)A de nuestra
interpretacin algebraica equivale a la frmula AA de lgica proposicional y, por lo
tanto, es reductible a cero y el cero multiplicado por cualquier nmero sigue siendo
cero. Esto significa que ya en la lnea quince sabemos que la frmula inicial
[(p q) (r s)(q s)] (p r) es reductible a cero, pues equivale a la
tautologa AA.
Tambin se aprecia que, en nuestra interpretacin algebraica, el Dilema
Destructivo es un mltiplo del Modus Ponens. Este ltimo se representa
27
algebraicamente como [1 (1 p)q](1 p)q mientras que el Dilema Destructivo es

de la forma [1 (1 p)q](1 p)q( )( ).
Resulta que ( ) y ( ), los factores adicionales del Dilema Destructivo,
son las negaciones de la tercera y la cuarta variable proposicional que no figuran como
tales en el Modus Ponens.
I.3.2. CONTRADICCIONES
1.
pp12
2.
(pp)
De Morgan en 1
3.
1 ( )13
Interpretacin algebraica en 2
4.
1 (p p2)
5.
1 (p p)
Propiedad adicional en 4
6.
10
Diferencia en 5
7.
Diferencia en 6
1.
(pq)(pq)14
2.
(pq)(pq)
De Morgan en 1
3.
[(pq)(pq)]
De Morgan en 2
4.
1 [ ( )] ( )15
5.
1 [(1 p)q (1 p)2q2]
12
Esta es claramente una frmula contradictoria, pues afirma y niega la misma proposicin.
Las frmulas algebraicas del tipo ( ) son iguales a cero.
14
Esta frmula es contradictoria, ya que equivale a afirmar y negar la proposicin condicional (p q).
15
A la derecha del operador de sustraccin de mayor jerarqua hay una frmula del tipo ( ).
13
28
6.
1 [(1 p)q (122p + p2)q2]
Binom. al cuadr. en 5
7.
1 [(1 p)q (1 2p + p)q]
Prop. adicionales en 6
8.
1 [q pq (q 2pq + pq)]
9.
1 [q pq q + 2pq pq]
Intr. del signo neg. 8
10. 1 [q q pq pq + 2pq]
Conmutatividad en 9
11. 1 [2pq + 2pq]
Diferencia en 10
12. 1 0
Diferencia en 11
13. 1
Diferencia en 12
1.
[(pq)r][(pq)r]16
2.
[(pq)r][(pq)r]
De Morgan en 1
3.
{[(pq)r][(pq)r]}
De Morgan en 2
4.
1 { [ ( )( )]}[ ( )( )]17
Interpr. algebr. en 3
5.
1 {[1 (1 p)(1 q)]r [1 (1 p)(1 q)]2r2}
6.
1 {[1 (1 q p + pq)]r [1 (1 q p + pq)]2r2}
Prod. de binom. en 5
7.
1 {[1 1 + q + p pq]r [1 1 + q + p pq]2r2}
Intr. del signo neg. 6
8.
1 {[p + q pq]r [p + q pq]2r2}
Dif. y conmut. en 7
9.
1 {[p + q pq]r [(p + q) pq]2r2}
Asociatividad en 8
10. 1 {[p + q pq]r [(p + q)22(p + q)pq + p2q2]r2}
Bin. al cuadr. en 9
11. 1 {[p + q pq]r [p2+2pq + q22(p + q)pq + p2q2]r2}
Bin. al cuadr. en 10
12. 1 {[p + q pq]r [p + 2pq + q 2(p + q)pq + pq]r}
Prop. adic. en 11
16
17
Esta frmula es contradictoria, pues equivale a afirmar y negar la frmula [(pq)r] .

A la derecha del operador de sustraccin de mayor jerarqua hay una frmula del tipo ( ).
29
13. 1 {[p + q pq]r [p + 2pq + q 2(p2q + pq2) + pq]r}
Distr. del prod. en 12
14. 1 {[p + q pq]r [p + 2pq + q 2(pq + pq) + pq]r}
Prop. adic. en 13
15. 1 {[p + q pq]r [p + 2pq + q 2(2pq) + pq]r}
Suma en 14
16. 1 {[p + q pq]r [p + 2pq + q 4pq + pq]r}
Producto en 15
17. 1 {[p + q pq]r [p + q 4pq + 2pq + pq]r}
18. 1 {[p + q pq]r [p + q pq]r}
Diferencia en 17
19. 1 0
Diferencia en 18
20. 1
Diferencia en 19
I.3.3. CONTINGENCIAS
1.
[(p q)q] p18
2.
[(p q)q]p
Def. de condic. en 1
3.
[(p q)q]p
De Morgan en 2
4.
[(pq)q]p
5.
(pq)qp
Asociatividad en 4
6.
[1 (1 p)q] (1 q)p
7.
[(1 q)p (1 p)q(1 q)p]
8.
[(1 q)p (1 p)p(1 q)q]
Conmutatividad en 7
9.
[(1 q)p (p p2) (q q2)]
10. [(1 q)p (p p) (q q)]
Prop. adic. en 9
11. [(1 q)p (0)(0)]
Diferencia en 10
12. (1 q)p
Diferencia en 11
18
Esta frmula de lgica proposicional tiene una matriz contingente idntica a la matriz de la
frmula (q p), la cual interpretada algebraicamente es la frmula (1 q)p que figura en la lnea 12.
30
CAPTULO II
LA INTERPRETACIN ALGEBRAICA DE FRMULAS PREDICATIVAS
MONDICAS DE PRIMER ORDEN
La interpretacin algebraica de la lgica proposicional hace posible, por
extensin, la representacin algebraica de frmulas predicativas mondicas de primer
orden cerradas con cuantificadores. Para esta representacin es indispensable la
definicin bsica del cuantificador existencial en trminos algebraicos.
II.1. LA RELACIN ENTRE LOS CUANTIFICADORES Y LA PRODUCTORIA
Considerando que el cuantificador existencial supone una cadena potencialmente
infinita de disyunciones de constantes individuales que tienen una determinada
propiedad y que la disyuncin guarda correspondencia con el producto, podemos
representar
algebraicamente
el
cuantificador
existencial
como
una
cadena
potencialmente infinita de factores, lo que puede expresarse abreviadamente empleando

el concepto matemtico de productoria denotado por el smbolo . Tenemos como
resultado que una frmula predicativa mondica P(x) cerrada con el cuantificador
existencial, puede representarse algebraicamente como una productoria de objetos de la
forma P(ai), donde i tiene un recorrido que va desde el 1 hasta el infinito. Para que la
productoria sea igual a cero, basta que un solo valor de i haga que la frmula P(ai) sea
igual a cero.
1.
(x)P(x) P(a1) P(a2) P(a3) P(an) P(an+1)19
2.
(x)P(x) P(a1)P(a2)P(a3)P(an)P(an+1)
3.
20
(x)P(x)
= (i)
Productoria en 2
19
Empleamos esta equivalencia tal como figura en el texto Lgica general de Luis Piscoya Hermoza
(2007: 268-269).
La representacin algebraica de una frmula predicativa mondica de primer

orden cerrada con el cuantificador universal es posible en virtud del intercambio de
cuantificadores, el cual permite expresar el cuantificador universal en trminos del
cuantificador existencial ya definido previamente en nuestra investigacin como una
productoria. Tambin es posible considerar que el cuantificador universal supone una
cadena potencialmente infinita de conjunciones de constantes individuales que tienen
una determinada propiedad, y que se puede aplicar la equivalencia de De Morgan a
frmulas con un nmero potencialmente infinito de conjunciones. De este modo, se
puede representar algebraicamente una frmula predicativa mondica P(x) cerrada con
el cuantificador universal como la unidad menos una productoria de objetos de la forma
1 P(ai), donde i tiene un recorrido que va desde el 1 hasta el infinito. Para que la
diferencia entre la unidad y la productoria sea igual a uno, basta que un solo valor de i
haga que la frmula P(ai) sea igual a uno.
1. (x)P(x) P(a1) P(a2) P(a3) P(an) P(an+1)21
2. (x)P(x) [P(a1)P(a2)P(a3) P(an)P(an+1) ]
De Morgan en 1
3. (x)P(x) 1 [1 P(a1)][1 P(a2)][1 P(a3)] [1 P(an)][1 P(an+1)]
22
4. (x)P(x)
=[ (i)]
Productoria en 3
II.2. LA INTERPRETACIN ALGEBRAICA DEL CUADRO DE BOECIO

Con las definiciones establecidas en la seccin anterior procederemos a
interpretar algebraicamente las cuatro proposiciones del cuadro de Boecio. Para este
20
Si el lenguaje predicativo se refiere al mundo emprico, se puede verificar en la experiencia un

enunciado predicativo cuantificado existencialmente. En la interpretacin algebraica, basta que un solo
valor de i haga que P(ai) sea igual a cero, para que la frmula
=1 P(ai) sea tambin igual a cero.
21
Tomamos esta equivalencia del texto Lgica general de Luis Piscoya Hermoza (2007: 268-269).
22
Si el lenguaje predicativo se refiere al mundo emprico, se puede falsar en la experiencia un enunciado
predicativo cuantificado universalmente. En la interpretacin algebraica, basta que un solo valor de i
haga que P(ai) sea igual a uno, para que la frmula 1
=1[1 P(ai)] sea tambin igual a uno.
32
propsito, emplearemos como punto de partida las versiones predicativas cuantificadas

de las proposiciones A, E, I y O.
A:
(x)[P(x) Q(x)]
E:
(x)[P(x) Q(x)]
I:
(x)[P(x) Q(x)]
O:
(x)[P(x) Q(x)]
II.2.1. PROPOSICIN (A) DEL CUADRO DE BOECIO

1.
(x)[P(x) Q(x)]
Proposicin de tipo A
2.
(x)[ P(x) Q(x)]
3.
(x)(1 P(x))Q(x)
4.
(x) (Q(x)P(x)Q(x))
5.
1
=1[ 1 (Q(ai)P(ai)Q(ai))]
Definicin del cuantificador universal en 4
6.

=[ Q(i)+P(i)Q(i)]
II.2.2. PROPOSICIN (E) DEL CUADRO DE BOECIO

1.
(x)[P(x) Q(x)]
Proposicin de tipo E
2.
(x)[P(x) Q(x)]
3.
(x)[1 P(x)][1 Q(x)]
4.
(x) [1 Q(x)P(x) + P(x)Q(x)]
Producto de binomios en 3
5.
1
=1[ 1 (1 Q(ai)P(ai) +P(ai)Q(ai)) ]
Definicin del cuantificador universal en 4
6.
1
=1[ 1 1 +Q(ai)+P(ai) P(ai)Q(ai) ]
7.
1
=1[ Q(ai)+P(ai) P(ai)Q(ai) ]
Diferencia en 6
8.

=[ P(i)+Q(i) P(i)Q(i)]
Conmutatividad en 7
33
II.2.3. PROPOSICIN (I) DEL CUADRO DE BOECIO

1.
(x)[P(x) Q(x)]
Proposicin de tipo I
2.
(x)[P(x) Q(x)]
De Morgan en 1
3.
(x)[1 (1 P(x))(1 Q(x))]
4.
(x)[1 (1 Q(x)P(x)+ P(x)Q(x))]
Producto de binomios en 3
5.
(x)[1 1 +Q(x)+P(x) P(x)Q(x)]
6.
(x)[Q(x)+P(x) P(x)Q(x)]
Diferencia en 5
7.
(x)[P(x)+Q(x) P(x)Q(x)]
Conmutatividad en 6
8.
= [ P(i) + Q(i) P(i)Q(i)]
Definicin del cuantificador existencial en 7
II.2.4. PROPOSICIN (O) DEL CUADRO DE BOECIO

1.
(x)[P(x) Q(x)]
Proposicin de tipo O
2.
(x)[P(x) Q(x)]
De Morgan en 1
3.
(x)[1 (1 P(x))Q(x)]
4.
(x)[1 (Q(x)P(x)Q(x))]
5.
(x)[1 Q(x)+ P(x)Q(x)]
6.
= [ Q(i) + P(i)Q(i)]
Definicin del cuantificador existencial en 5
PROPOSICIONES DEL CUADRO DE
EXPRESIONES ALGEBRAICAS
BOECIO
EQUIVALENTES
A:
(x)[P(x) Q(x)]
A:
=[ Q(i)+P(i)Q(i)]
E:
(x)[P(x) Q(x)]
E:
=[ P(i)+Q(i) P(i)Q(i)]
I:
(x)[P(x) Q(x)]
I:
O:
(x)[P(x) Q(x)]
O:
= [ Q(i) + P(i)Q(i)]
= [ P(i) + Q(i) P(i)Q(i)]
34
II.3. LA PRUEBA DE VALIDEZ DE FRMULAS PREDICATIVAS MONDICAS

DE PRIMER ORDEN MEDIANTE MTODOS ALGEBRAICOS
En esta seccin mostraremos la posibilidad de establecer una prueba de validez
en trminos algortmicos para frmulas predicativas mondicas de primer orden
mediante mtodos algebraicos que consisten fundamentalmente en reducir la frmula a
cero. Si la frmula es reductible a cero, habremos probado que se trata de una frmula
predicativa mondica lgicamente vlida.
Empezaremos con el clebre razonamiento que concluye la mortalidad de
Scrates tomando como premisas su humanidad y la afirmacin de que todo hombre es
mortal.
H(x) : x tiene la propiedad de ser hombre
M(x) : x tiene la propiedad de ser mortal
a1 equivale al nombre Scrates
1.
[(x)(H(x) M(x)) H(a1)] M(a1)
2.
[(x)(H(x) M(x)) H(a1)] M(a1)
3.
[(x)(H(x) M(x)) H(a1)] M(a1)
De Morgan en 2
4.
[(x)(H(x) M(x)) H(a1)] M(a1)
Intercambio de cuantificad. en 3
5.
(x)(H(x) M(x)) H(a1) M(a1)
Asociatividad en 4
6.
(x)(H(x) M(x)) H(a1) M(a1)
7.
(x)[1 (1 H(x))M(x)](1 H(a1))M(a1)
8.
= [ ( H(i))M(i)](1 H(a1))M(a1)
Definic. del cuantific. exist. en 7
35
9.
[ ( H(1))M(1)][ ( H(2))M(2)][ ( H(3))M(3)]

(1 H(a1))M(a1)
Desarrollo de la productoria en 8
10. [ ( H(1))M(1)](1 H(a1))M(a1)[ ( H(2))M(2)]

[ ( H(3))M(3)]
11. 0
Conmutatividad en 9
En el desarrollo anterior puede apreciarse que la lnea diez tiene un factor de la

forma (1A)A. Esta frmula de nuestra interpretacin algebraica equivale a la frmula
AA de lgica proposicional, lo cual significa que ya en la lnea diez sabemos que la
frmula inicial
[(x)(H(x) M(x)) H(a1)] M(a1) es reductible a cero, pues
equivale a la tautologa AA. Al reducir la frmula a cero, probamos algebraicamente

que se trata de una frmula lgicamente vlida.
A continuacin, probaremos por mtodos algebraicos la validez del siguiente
razonamiento:
1.
[(x)(P(x) Q(x)) (x)(Q(x) R(x))] (x)(P(x) R(x))
2.
3.
De Morgan en 2
4.
(x)(P(x) Q(x)) (x)(Q(x) R(x)) (x)(P(x) R(x))
Asociatividad en 3
5.
Inter. de cuantif. en 4
6.
7.
(x)[1 (1 P(x))Q(x)] (x)[1 (1 Q(x))R(x)] (x)(P(x) R(x))
8.
(x)[1 (Q(x)P(x)Q(x))](x)[1 (R(x)Q(x)R(x))](x)(P(x) R(x))
9.
(x)[1 Q(x)+P(x)Q(x)](x)[1 R(x)+Q(x)R(x)](x)(P(x) R(x))
Intr. signo neg. en 8
36

10.
=1[ 1 Q(ai) + P(ai)Q(ai)] =1[ 1 R(ai) +Q(ai)R(ai)]
(x)(P(x) R(x))
Def. de cuantif. existencial en 9
11.
=1[ 1 Q(ai) + P(ai)Q(ai)] =1[ 1 R(ai) +Q(ai)R(ai)]
{1
=1[ 1 R(ai)+P(ai)R(ai)]}
23
Equivalencia algebraica en 10
12.
=1[ 1 Q(ai) + P(ai)Q(ai)][1 R(ai) +Q(ai)R(ai)]
{1
=1[ 1 R(ai)+P(ai)R(ai)]}
24
Propiedad de en 11
2
13.
=1[ 1 R(ai) +Q(ai)R(ai) Q(ai) + Q(ai)R(ai) Q(ai) R(ai)
+P(ai)Q(ai) P(ai)Q(ai)R(ai) + P(ai)Q(ai)2R(ai)]

{1
=1[ 1 R(ai)+P(ai)R(ai)]}
Producto de trinomios en 12
14.
=1[ 1 R(ai) +Q(ai)R(ai) Q(ai) + Q(ai)R(ai) Q(ai)R(ai)
+P(ai)Q(ai) P(ai)Q(ai)R(ai) + P(ai)Q(ai)R(ai)]
{1
=1[ 1 R(ai)+P(ai)R(ai)]}
15.
=1[ 1 R(ai) Q(ai) + Q(ai)R(ai) + P(ai)Q(ai)]
{1
=1[ 1 R(ai)+P(ai)R(ai)]}
Diferencia en 14
16.
=1[ 1 R(ai) Q(ai) + Q(ai)R(ai) + P(ai)Q(ai)] =1[ 1 R(ai)
+P(ai)R(ai)]
Distrib. del producto en 15
17.
=1[ 1 R(ai) Q(ai) + Q(ai)R(ai) + P(ai)Q(ai)][1 R(ai)+

P(ai)R(ai)]
Propiedad de en 16
25
23
En esta lnea utilizamos el equivalente algebraico de una proposicin de tipo A del cuadro de Boecio.
Nos remitimos a la pgina 33 de esta tesis.
24
Usamos la propiedad de la productoria ( ), la cual sostiene que
=1[ Ai] =1[ Bi] = =1[ AiBi]
25
Usamos la propiedad de la productoria ( ), la cual sostiene que
=1[ Ai] =1[ Bi] = =1[ AiBi]
37
18.
=1[ 1 R(ai) + P(ai)R(ai)

R(ai) + R(ai)2P(ai)R(ai)2
Q(ai) + Q(ai)R(ai) P(ai)Q(ai)R(ai)
+Q(ai)R(ai) Q(ai)R(ai)2+ P(ai)Q(ai)R(ai)2
+P(ai)Q(ai) P(ai)Q(ai)R(ai) + P(ai)2Q(ai)R(ai) ]
Producto de polinomios en 17
19.
=1[ 1 R(ai) + P(ai)R(ai)

R(ai) + R(ai) P(ai)R(ai)
Q(ai) + Q(ai)R(ai) P(ai)Q(ai)R(ai)
+Q(ai)R(ai) Q(ai)R(ai) + P(ai)Q(ai)R(ai)
+P(ai)Q(ai) P(ai)Q(ai)R(ai) + P(ai)Q(ai)R(ai) ]
20.
=1[ 1 R(ai) Q(ai) + Q(ai)R(ai) +P(ai)Q(ai) ]

21. 0
Diferencia en 19
Diferencia en 20
Como ltimo ejemplo de la posibilidad de probar la validez de una frmula

predicativa mondica mediante mtodos algebraicos, abordaremos la proposicin de
lgica de primer orden que representa al Principio de Induccin Matemtica (PIM). Se
trata de la frmula [ P(1) (x)(P(x) P(x + 1)) ] (x)P(x). 26
1.
[ P(1) (x)(P(x) P(x + 1)) ] (x)P(x)
2.
[ P(1) (x)(P(x) P(x + 1)) ] (x)P(x)
3.
[ P(1) (x)(P(x) P(x + 1)) ] (x)P(x)
De Morgan en 2
26
Se hizo un cambio de variable al consecuente de la frmula condicional que figura en el texto Tpicos
en epistemologa de Luis Piscoya Hermoza (2009: 122).
38
4.
P(1) (x)(P(x) P(x + 1)) (x)P(x)
Asociatividad en 3
5.
P(1) (x)(P(x) P(x + 1)) (x)P(x)
Inter. de cuantif. en 4
6.
P(1) (x)(P(x) P(x + 1)) (x)P(x)
7.
[1 P(1)] (x)[1 (1 P(x)) P(x + 1)] [1 (x)(1 P(x))]
8.
[1 P(1)] (x)[1 (P(x + 1) P(x)P(x + 1))]

[1 (x)(1 P(x))]
9.
[1 P(1)] (x)[1 P(x + 1) + P(x)P(x + 1)]

[1 (x)(1 P(x)) ]
Intr. signo neg. en 8
10. [1 P(1)]
=1[ 1 P(i + 1) + P( i )P(i + 1)]
{1
=1[ 1 P( i ) ] }
Def. de cuant. exist. 9
11. [1 P(1)] [1 P(1 + 1) + P( 1 )P(1 + 1)]

[1 P(2 + 1) + P( 2 )P(2 + 1)][1 P(3 + 1) + P( 3 )P(3 + 1)]
{1
=1[ 1 P( i ) ] }
Desarr. productor. 10
12. [ P()][1 P(2) + P( 1 )P(2)]

[1 P(3) + P( 2 )P(3)][1 P(4) + P( 3 )P(4)]
{1
=1[ 1 P( i ) ] }
27
Suma en 11
13. [1 P(2) + P( 1 )P(2) P(1) + P( 1 )P(2) P( 1 )2P(2)]

[1 P(3) + P( 2 )P(3)][1 P(4) + P( 3 )P(4)]
{1
=1[ 1 P( i ) ] }
Prod. de polinom. 12
14. [1 P(2) + P( 1 )P(2) P(1) + P( 1 )P(2) P( 1 )P(2)]

[1 P(3) + P( 2 )P(3)][1 P(4) + P( 3 )P(4)]
{1
=1[ 1 P( i ) ] }
27
Prop. adicionales 13
El primer factor de esta lnea es [1 P(1)] .
39
15. [1 P(2) + P( 1 )P(2) P(1)][1 P(3) + P( 2 )P(3)]

[1 P(4) + P( 3 )P(4)] {1
=1[ 1 P( i ) ] }
Diferencia en 14
16. [ () P() + ( )P()][1 P(3) + P( 2 )P(3)]

[1 P(4) + P( 3 )P(4)] {1
=1[ 1 P( i ) ] }
28
Conmutatividad 15
17. [1 P(3) + P( 2 )P(3) P(1) + P(1)P(3) P(1)P( 2 )P(3) P(2) +

P( 2 )P(3) P( 2 )2P(3) + P( 1 )P(2) P(1)P( 2 )P(3) + P(1)P( 2 )2P(3)]
[1 P(4) + P( 3 )P(4)] {1
=1[ 1 P( i ) ] }
Prod. de polinom. 16
18. [1 P(3) + P( 2 )P(3) P(1) + P(1)P(3) P(1)P( 2 )P(3) P(2) +

P( 2 )P(3) P( 2 )P(3) + P( 1 )P(2) P(1)P( 2 )P(3) + P(1)P( 2 )P(3)]
[1 P(4) + P( 3 )P(4)] {1
=1[ 1 P( i ) ] }
Prop. adicionales 17
19. [1 P(3) P(1) + P(1)P(3) P(1)P( 2 )P(3) P(2) + P( 2 )P(3) +

P( 1 )P(2)][1 P(4) + P( 3 )P(4)] {1
=1[ 1 P( i ) ] }
Diferencia en 18
20. [ () () () + ( )() + ( )() + P()()

()( )()][1 P(4) + P( 3 )P(4)]
{1
=1[ 1 P( i ) ] }
29
Conmutatividad 19
21.
=[ ( ) ] {1 =1[ 1 P( i ) ] }
30
Productoria en 20
22. {1
=1[ 1 P( i ) ] } =1[ 1 P( i ) ]
23. 0
31
Reducc. a cero 22
28
El primer factor de esta lnea equivale a [1 P(1)][1 P(2)] .

El primer factor de esta lnea equivale a [1 P(1)][1 P(2)][1 P(3)] .
30
La frmula
=1[ 1 P( i ) ] sustituye a [1 P(1)][1 P(2)][1 P(3)] [1 P(n)][1 P(n + 1)] Esta
ltima se obtiene inductivamente considerando las referencias 27, 28 y 29.
31
La lnea veintiuno se establece inductivamente. Sin embargo, la prueba no supone peticin de
principio, ya que la frmula original de la lnea uno no es el Principio de Induccin Matemtica (PIM)
sino la frmula metalingstica que representa al PIM.
29
40
Se aprecia que la lnea veintids tiene la forma (1A)A. Esta frmula de nuestra
interpretacin algebraica equivale a la frmula AA de lgica proposicional. Por tanto,
la frmula inicial [ P(1) (x)(P(x) P(x + 1)) ] (x)P(x) es reductible a cero y
resulta una frmula lgicamente vlida.
41
CAPTULO III
LA DECISIN ALGEBRAICA DE FRMULAS PREDICATIVAS
MONDICAS DE PRIMER ORDEN CON IDENTIDAD
En el captulo anterior establecimos la posibilidad de representar y de decidir
algebraicamente sobre frmulas predicativas mondicas de primer orden. Aunque las
frmulas predicativas polidicas de primer orden tambin se pueden representar
algebraicamente, no pueden decidirse algortmicamente en trminos algebraicos. No
obstante, s es posible la decisin en el caso de la lgica de predicados mondicos de
primer orden con identidad.32 Para exponer la manera en que es posible la decisin de la
lgica de predicados mondicos de primer orden con identidad, se necesita establecer
primero las condiciones que permiten representar algebraicamente una frmula
predicativa didica de primer orden. Despus de efectuar dicha representacin, veremos
la posibilidad de decidir sobre cierta clase especial de frmulas predicativas didicas de
primer orden.33
III.1. LA REPRESENTACIN ALGEBRAICA DE LAS FORMAS NORMALES
PRENEX
Hay ocho maneras de cerrar una funcin proposicional tal como P(x,y)34.
I. (x)(y)P(x,y)
III. (x)(y)P(x,y)
V. (x)(y)P(x,y)
VII. (y)(x)P(x,y)
II. (y)(x)P(x,y)
IV. (y)(x)P(x,y)
VI. (y)(x)P(x,y)
VIII. (x)(y)P(x,y)
32
Hemos tomado la lgica de predicados mondicos de primer orden con identidad como un segmento
de la lgica de predicados de primer orden con identidad que figura en el texto Introduccin a la lgica
simblica de Patrick Suppes (1974: 147).
33
La identidad es una relacin didica con caractersticas especiales como la simetra y la transitividad
segn seala el texto Introduccin a la lgica simblica de Patrick Suppes (1974: 142).
34
Tomamos esta informacin del texto Lgica general de Luis Piscoya Hermoza (2007: 264).
Cuando los cuantificadores antepuestos a una frmula son todos universales o

todos existenciales, el orden en que aparecen los cuantificadores es irrelevante. Por lo
tanto, las dos primeras frmulas son lgicamente equivalentes, al igual que la tercera y
la cuarta. Si una frmula exhibe todos los cuantificadores adelante, sin importar el orden
en que se encuentren, entonces se dice que est en forma normal prenex. Las ocho
frmulas expuestas lneas arriba estn en forma normal prenex.35
Empezaremos representando algebraicamente la frmula nmero III, que resulta
equivalente a la frmula nmero IV.
1.
(x)(y) P(x,y)
2.
(y) P(a1,y)(y) P(a2,y)(y) P(a3,y) (y) P(an,y)(y) P(an+1,y)

Desarrollo del cuantificador que afecta a x en 1
3.
P(a1,b1)P(a1,b2)P(a1,b3) P(a1,bn)P(a1,bn+1)
P(an,b1)P(an,b2)P(an,b3) P(an,bn)P(an,bn+1)
P(an+1,b1)P(an+1,b2)P(an+1,b3) P(an+1,bn)P(an+1,bn+1)
Desarrollo del cuantificador que afecta a y en 2
4.
P(a1,b1)P(a1,b2)P(a1,b3)P(a1,bn)P(a1,bn+1)
P(an,b1)P(an,b2)P(an,b3)P(an,bn)P(an,bn+1)
P(an+1,b1)P(an+1,b2)P(an+1,b3)P(an+1,bn)P(an+1,bn+1)
5.
= P(i , j)
Productoria en 4
35
Tomado del texto Lgica general de Luis Piscoya Hermoza (2007: 265).
43
Como
la
frmula (x)(y)P(x,y)
equivale
lgicamente
la
frmula
(y)(x)P(x,y) entonces tenemos que ambas frmulas se representan algebraicamente

como
=1 P(ai , bj) .
=1
Procederemos a representar algebraicamente la frmula nmero I, la cual resulta

equivalente a la frmula nmero II.
1.
(x)(y)P(x,y)
2.
(y)P(a1,y)(y)P(a2,y)(y)P(a3,y) (y)P(an,y)(y)P(an+1,y)
Desarrollo del cuantificador que afecta a x en 1
3.
P(an+1,b1)P(an+1,b2)P(an+1,b3) P(an+1,bn)P(an+1,bn+1)
Desarrollo del cuantificador que afecta a y en 2
4.
[P(a1,b1)P(a1,b2)P(a1,b3) P(a1,bn)P(a1,bn+1)
P(an+1,b1)P(an+1,b2)P(an+1,b3) P(an+1,bn)P(an+1,bn+1) ]
De Morgan en 3
44
5.
1 [(1 P(a1,b1))(1 P(a1,b2))(1 P(a1,b3)) (1 P(a1,bn))(1 P(a1,bn+1))

(1 P(a2,b1))(1 P(a2,b2))(1 P(a2,b3)) (1 P(a2,bn))(1 P(a2,bn+1))
(1 P(a3,b1))(1 P(a3,b2))(1 P(a3,b3)) (1 P(a3,bn))(1 P(a3,bn+1))
(1 P(an,b1))(1 P(an,b2))(1 P(an,b3)) (1 P(an,bn))(1 P(an,bn+1))
(1 P(an+1,b1))(1 P(an+1,b2))(1 P(an+1,b3)) (1 P(an+1,bn))(1 P(an+1,bn+1)) ]
6.

=[ P(i, j)]
Productoria en 5
Como
la
frmula (x)(y)P(x,y)
equivale
lgicamente
la
frmula
(y)(x)P(x,y) entonces tenemos que ambas frmulas se representan algebraicamente

como 1
=1 [ 1 P(ai, bj)] .
=1
A continuacin, representaremos algebraicamente la frmula nmero V.

1.
(x)(y)P(x,y)
2.
(x)(y)P(x,y)
Doble negacin en 1
3.
(x) (y)P(x,y)
Intercambio de cuantificadores en 2
4.

=[ = P(i , j) ]
Productoria en 3
Ahora representaremos algebraicamente la frmula nmero VI.

1.
(y)(x)P(x,y)
2.
(y)(x)P(x,y)
Doble negacin en 1
3.
(y) (x)P(x,y)
4.
(y) (x)P(x,y)
5.
(y) (x)P(x,y)
6.
= [ = ( P(i, j)) ]
Productoria en 5
45
La representacin algebraica de la frmula nmero VII es como sigue.

1.
(y)(x)P(x,y)
2.
(y)(x)P(x,y)
Doble negacin en 1
3.
(y)(x)P(x,y)
4.

= [ = P(i , j)]
Productoria en 3
Finalmente, representaremos algebraicamente la frmula nmero VIII.

1.
(x)(y)P(x,y)
2.
(x)(y)P(x,y)
Doble negacin en 1
3.
(x) (y)P(x,y)
4.
(x) (y)P(x,y)
5.
(x) (y)P(x,y)
6.
= [ = ( P(i, j)) ]
Productoria en 5
Recapitulando, ofrecemos el siguiente cuadro con las ocho formas normales

prenex que corresponden al cierre de una funcin proposicional didica y sus
respectivas equivalencias algebraicas.
FORMAS NORMALES PRENEX
. (x)(y)P(x,y)
EQUIVALENTES ALGEBRAICOS

=[ P(i, j)]
=
. (y)(x)P(x,y)

=[ P(i, j)]
=
. (x)(y)P(x,y)
= P(i , j)
=
. (y)(x)P(x,y)
= P(i , j)
=
. (x)(y)P(x,y)

=[ = P(i , j) ]
. (y)(x)P(x,y)
= [ = ( P(i, j)) ]
. (y)(x)P(x,y)

= [ = P(i , j)]
. (x)(y)P(x,y)
= [ = ( P(i, j)) ]
46
III.2. LA PRUEBA DE VALIDEZ DE FRMULAS PREDICATIVAS MONDICAS

DE PRIMER ORDEN CON IDENTIDAD MEDIANTE MTODOS ALGEBRAICOS
En esta ltima seccin mostraremos la posibilidad de establecer una prueba de
validez para frmulas predicativas mondicas de primer orden con identidad mediante
mtodos algebraicos que consisten fundamentalmente en reducir la frmula a cero. Si la
frmula es reductible a cero, habremos probado que se trata de una frmula predicativa
mondica con identidad lgicamente vlida.
Como sealamos al inicio de este captulo, la identidad es una relacin didica
especial que se distingue por ser simtrica y transitiva. Asimismo, el empleo de la
identidad se restringir en nuestra prueba a objetos matemticos. Necesitamos un
dominio especfico para poder trabajar adecuadamente con la identidad, ese dominio
ser el conjunto de los nmeros naturales, cuyo primer elemento ser el uno.
Cuando tratamos con una relacin didica cualquiera, cerrada por medio de
cuantificadores tales como la frmula (x)(y)P(x,y) podramos estar refirindonos a
diversos objetos tales como personas, partculas, animales, nmeros, etc. Naturalmente,
la referencia a una u otra clase de objetos depende de la interpretacin que se lleve a
cabo. En nuestra interpretacin algebraica el equivalente de la frmula anterior es la
frmula
=1 P(ai , bj).
=1
Esta frmula, cuando solo sabemos que P es un predicado didico, tambin

puede referirse a mltiples objetos. Sin embargo, tratndose de la identidad vamos a
restringir nuestro universo del discurso a objetos matemticos, y entre ellos, aludiremos
al conjunto de los nmeros naturales que empiezan por el uno.
47
Empecemos probando la validez de la frmula (x)(y)(x = y) que tomando

como dominio de interpretacin el conjunto de los nmeros naturales significa que hay
al menos un nmero natural que es idntico a por lo menos un nmero natural.
1.
(x)(y)(x = y)
2.
=1 ( i = j )
Prenex algebraico en 1
=1
3.
(1 = 1)(1 = 2)(1 = 3) (1 = )(1 = + 1)

(2 = 1)(2 = 2)(2 = 3) (2 = )(2 = + 1)
(3 = 1)(3 = 2)(3 = 3) (3 = )(3 = + 1)
4.
( = 1)( = 2)( = 3) ( = n)( = n + 1)
Desarr. de la productoria en 2
36
37
Examinemos ahora la frmula (x)(y)(x = y) que de acuerdo con nuestro

dominio de interpretacin restringido por la identidad significa que todo nmero natural
es idntico a por lo menos un nmero natural.
1.
(x)(y)(x = y)
2.
1
=1[ 1 =1 ( i = j ) ]
3.
1 [ 1
=1 ( 1 = j ) ][ 1 =1 ( 2 = j ) ][ 1 =1 ( 3 = j ) ]
[ 1
=1 ( = j ) ][ 1 =1 ( + 1 = j ) ]
Prenex algebraico en 1
Desarr. de la product. i en 2
36
La lnea 3 es una cadena potencialmente infinita de factores y resulta que aquellos factores ubicados
en la diagonal tienen como valor asignado el cero, ya que son afirmaciones verdaderas y en nuestra
interpretacin algebraica la verdad se asocia con el cero.
37
Para que la lnea 4 sea igual a cero, basta con examinar el primer factor que afirma que el uno es
idntico al uno. Este primer factor igual a cero garantiza que toda la cadena de factores sea igual a cero.
48
4.
1 [ 1 (1 = 1)(1 = 2)(1 = 3) (1 = )(1 = + 1) ]

[ 1 (2 = 1)(2 = 2)(2 = 3) (2 = )(2 = + 1) ]
[ 1 (3 = 1)(3 = 2)(3 = 3) (3 = )(3 = + 1) ]
[ 1 ( = 1)( = 2)( = 3) ( = )( = + 1) ]
[ 1 ( + 1 = 1)( + 1 = 2)( + 1 = 3) ( + 1 = )( + 1 = + 1) ]
Desarr. de la product. j en 3
5.
1 [ 1 0 ] [ 1 0 ][ 1 0 ] [ 1 0 ][ 1 0 ]
Multiplicacin por cero en 4
6.
1 [ 1 ] [ 1 ][ 1 ] [ 1 ][ 1 ]
Diferencia en 5
7.
11
Multiplicacin por uno en 6
8.
Diferencia en 7
38
Hemos logrado probar por mtodos algebraicos que la frmula predicativa

mondica de primer orden con identidad (x)(y)(x = y) es lgicamente vlida, ya
que es reductible a cero.
38
En la lnea 4 se aprecia un uno menos un producto de corchetes [ ] potencialmente infinito. El

sustraendo de cada corchete tiene siempre un factor que resulta cero por ser una afirmacin verdadera.
49
CONCLUSIONES
1. Es posible formular una interpretacin algebraica de la lgica proposicional que
use, convencionalmente, el 0 y el 1 en lugar de la verdad y la falsedad
respectivamente. Se puede extender la interpretacin algebraica de la lgica
proposicional hasta la lgica de predicados con la posibilidad de representar
algebraicamente cualquier frmula bien formada. Esta extensin es posible sobre
la base de la correspondencia entre la disyuncin y el producto.
2. Si bien puede representarse algebraicamente cualquier frmula bien formada, la

decisin algortmica solo es posible para frmulas predicativas mondicas con
identidad, entendiendo la identidad como un predicado didico con propiedades
muy especficas que permiten su decisin.
3. Haber extendido la decisin hasta las frmulas predicativas mondicas de primer

orden con identidad permite adentrarse en un terreno ms afn con las
matemticas. Con la interpretacin algebraica propuesta en esta tesis, podemos
decidir sobre algunas afirmaciones matemticas que involucran la nocin de
identidad.
4. La interpretacin algebraica propuesta prueba pedaggicamente que se puede

convertir un lenguaje cualitativo, que emplea valores de verdad, en un lenguaje
de medida, que emplea ceros y unos. Queda claro que los predicados cualitativo
y mtrico no son propiedades de los fenmenos estudiados sino que son
propiedades del lenguaje con que se describe tales fenmenos. La materia prima
de esta investigacin, a saber, la lgica proposicional, ha sido descrita
50
usualmente en trminos cualitativos, mientras que la interpretacin que presenta

esta tesis aborda la misma entidad pero como una estructura algebraica.
5. La interpretacin algebraica que se defiende en esta tesis constituye un algebra

de la lgica proposicional o lgebra de Lindenbaum y, consecuentemente, un
lgebra de Boole. Debido a su naturaleza de estructura algebraica favorece la
algoritmizacin y emplea propiedades inductivas que son muy tiles cuando se
trata de decidir la validez de algunas frmulas.
6. El lenguaje mtrico desarrollado en esta tesis pierde algunas caractersticas

propias del lenguaje cualitativo convencional pero tambin muestra propiedades
que no eran apreciables con el uso de este ltimo.
51
BIBLIOGRAFA
Ackermann, W. (1968). Solvable cases of the decision problem. Amsterdam: NorthHolland Publishing Company.
Ayer, A. (1971). Lenguaje, verdad y lgica. Barcelona: Ediciones Martnez Roca.
Bernays, P. (1926). Axiomatische Untersuchung des Aussagen-Kalkuls der Principia
Mathematica. Mathematische Zeitschrift, 25, 305-20.
Boole, G. (1847) The Mathematical Analysis of Logic, Being an Essay Towards a
Calculus of Deductive Reasoning. Cambridge: Macmillan, Barclay &
Macmillan.
Boole, G. (1848) The Calculus of Logic. The Cambridge and Dublin Mathematical
Journal, 3, 183-98.
Boole, G. (1958) An Investigation of the Laws of Thought on Which are Founded the
Mathematical Theories of Logic and Probabilities. New York: Dover
Publications.
Bunge, M. (2008). Semntica I: Sentido y referencia. Barcelona: Editorial Gedisa.
Cassini, A. (2006). El juego de los principios: una introduccin al mtodo axiomtico.
Buenos Aires: AZ ediciones.
Copi, I. M. (1979/1994). Lgica simblica (12a reimpresin). Mxico DF: Compaa
editorial continental
Gonzlez, P. M. (2006). Platn y la Academia de Atenas. Madrid: NIVOLA libros y
ediciones.
Hilbert, D., y Bernays, P. (2011). Foundations of Mathematics I. London: College
publications.
Katz, J. (1971). Filosofa del lenguaje. Barcelona: Ediciones Martnez Roca.
52
Mendelson, E. (1963). Introduction to mathematical logic. Princeton, New Jersey: D.

van Nostrand Company, INC.
Mostern, J. (2003). Conceptos y teoras en la ciencia. Madrid: Alianza Editorial.
Mostern, J. y Torretti, R. (2010). Diccionario de lgica y filosofa de la ciencia.
Madrid: Alianza Editorial.
Piscoya, L. (2007). Lgica general (3a ed.). Lima: Fondo editorial Universidad Nacional
Mayor de San Marcos.
Piscoya, L. (2009). Tpicos en epistemologa (2a ed.). Lima: Fondo editorial de la
UIGV.
Quine, W. V. O. (1998). Filosofa de la lgica. Madrid: Alianza Editorial.
Suppes, P. (1970). A probabilistic theory of causality. Amsterdam: North-Holland
publishing Company.
Suppes, P. (1974). Introduccin a la lgica simblica. Mxico DF: Compaa editorial
continental.
Suppes, P. (1988). Estudios de filosofa y metodologa de la ciencia. Madrid: Alianza
Universidad.
Wittgenstein, L. (2002). Tractatus logico-philosophicus. Madrid: Alianza Editorial.
53

An Algebraic Interpretation of Propositional Logic

Загружено:

Сведения о документе

Авторское право

Доступные форматы

Поделиться этим документом

Поделиться или встроить документ

Параметры публикации

Этот документ был вам полезен?

Это неприемлемый материал?

Авторское право:

Доступные форматы

An Algebraic Interpretation of Propositional Logic

Загружено:

Авторское право:

Доступные форматы

UNIVERSIDAD NACIONAL MAYOR DE SAN MARCOS

Universidad del Per, Decana de Amrica

UNA INTERPRETACIN ALGEBRAICA DE LA LGICA

Miguel Angel Merma Mora

Tesis presentada para obtener el Ttulo Profesional de

A Joan, por su apoyo en los momentos cruciales

Aun las estructuras formales pueden reagruparse de

Captulo I: La interpretacin algebraica de la lgica proposicional..9

Captulo II: La interpretacin algebraica de frmulas predicativas mondicas de

Captulo III: La decisin algebraica de frmulas predicativas mondicas de primer

negacin de p tendra la forma de la diferencia (1 p) y la disyuncin de dos variables

La interpretacin algebraica efectuada permite proponer un mtodo decisorio

La expresin algebraica pq debe entenderse como el producto de p por q.

Si le asignamos el valor 0 a la proposicin p, entonces su negacin adopta el

En el primer arreglo del cuadro de la derecha tenemos que ambas variables

Introduccin del signo negativo en 4

Diferencia y conmutatividad de la suma en 5

En este caso, necesitamos emplear algunas propiedades adicionales del lenguaje

Utilizaremos estas propiedades adicionales para pasar de la lnea 7 a la lnea 8

[(p q)(q p)]

Distrib. del producto en 4

Introduc. del signo negativo en 5

1 (1 p + pq q + pq pq2+ pq p2q + p2q2)

Introduc. del signo negativo en 9

Diferencia y conmutatividad de la suma en 10

Definicin del operador de Nicod en 1

Definicin del operador Daga en 1

En resumen, establecemos la representacin algebraica de los operadores de la

La interpretacin algebraica que desarrollamos en esta investigacin resulta ser

I.2. EL CONDICIONAL REPRESENTADO COMO PRODUCTO

Si consideramos la frmula condicional (pq) r, cuyo antecedente tiene dos

Si consideramos la frmula condicional (pqr) s cuyo antecedente tiene tres

(1 p)(1 q)(1 r)s

(pqrs x ) z, cuyo antecedente tiene un nmero potencialmente infinito

(1 p)(1 q)(1 r)(1 s) (1 x) z

Distribucin del producto en 5

Distribucin del producto y binomio al cuadrado en 6

Distribucin del producto en 9

Introduccin del signo negativo en 11

En el desarrollo anterior puede apreciarse que la lnea cinco tiene la forma

es reductible a cero, pues equivale a la

Distribucin del producto en 6

Distribucin del producto y binomio al cuadrado en 7

Distribucin del producto en 10

Introduccin del signo negativo en 12

En el desarrollo anterior puede apreciarse que la lnea seis tiene la forma

[(p q)(q r)] (p r)

[(p q)(q r)](p r)

[(p q)(q r)](p r)

[1 (1 p)q][1 (1 q)r] (1 p)r

Distribucin del producto en 6

Distribucin del producto en 8

10. [1 (1 p)q][r r + rq](1 p)

Introduccin del signo negativo en 9

En el desarrollo anterior puede apreciarse que la lnea doce tiene la forma

el factor adicional del Silogismo Hipottico expresado algebraicamente, es la tercera

{[( p q) (r s)] (p r)} (q s)10

[(p q)(r s)(pr)] (qs)

[(p q)(r s)(pr)](qs)

[(p q)(r s)(pr)](qs)

[1 (1 p)q][1 (1 r)s] (1 pr)qs

[1 (1 p)q][1 (1 r)s]s(1 pr)q

[1 (1 p)q][s (1 r)s2](1 pr)q

Distribucin del producto en 6