Facultad de Estudios Superiores Acatln

Licenciatura en Filosofa
Curso de Lgica II

Mtodo de resolucin de esquemas proposicionales

A continuacin expondr un par de ejemplos de cmo aplicar las
nueve reglas que propone Willard Van Orman Quine en su libro Los
mtodos de la lgica[1].
Las reglas son las siguientes:
Conectivo Regla
(i) Si 1 aparece como componente de una conjuncin
suprmalo.
(ii) Si 0 aparece como componente de una disyuncin
suprmalo.
(iii) Redzcase toda conjuncin que tenga un 0 como
componente a 0.
(iv) Redzcase toda disyuncin que tenga un 1 como
componente a 1.
(v) Elimnese a 1 como antecedente de cualquier
condicional.
(vi) Redzcase todo condicional que tenga a 0 como
antecedente o 1 como consecuente a 1.
(vii) Si un condicional tiene a 0 como consecuente,
redzcase todo el esquema a la negacin del
antecedente.
(viii) Elimnese a 1 como componente de cualquier
bicondicional.
(ix) Si un bicondicional tiene a 0 como componente,
suprmalo y niegue el otro lado.

Primero utilizaremos las reglas en el caso ms sencillo: aplicar

slo una asignacin de valores de verdad a un esquema
proposicional.
Tomemos el siguiente esquema:

(r s) (s (p r))
En las tablas de verdad es recomendable identificar primero el
conectivo principal y despus comenzar a hacer las evaluaciones
de adentro hacia afuera. Utilizando las reglas de Quine ms
importante que identificar el conectivo principal es ir reduciendo
la frmula hasta que quede un solo valor de verdad.
Dada una asignacin de valores de verdad debemos sustituir las
variables proposicionales por estos valores en el esquema. Para
este ejemplo sencillo elegiremos una asignacin completa, esto
es, una interpretacin para cada variable.
Asignacin: [p:1, r:0, s:0]
Sustitucin:

(0 0) (0 (1 0))
Aplicacin:

Por regla (vi) al condicional (0 (1 0)):

(0 0) (1)

Por regla (viii) al elemento derecho (0 0) (1):

(0 0)

Por regla (ii) a (0 0):

0
Por lo tanto, bajo la asignacin [p:1, r:0, s:0], el esquema
(r s) (s (p r)) es falso. Note que no fue necesario
evaluar ciertas partes de la frmula. Note tambin que pudo haber
utilizado otras reglas en otro orden y habra llegado a la misma
conclusin.
En esta ocasin realizamos la evaluacin para una asignacin
particular de valores de verdad para cada variable. Sin embargo,
el mtodo muestra su verdadera utilidad cuando lo usamos para
evaluar un esquema bajo todas las posibles asignaciones para sus
variables (es decir, todos los renglones de la tabla de verdad).

A continuacin, evaluaremos un esquema proposicional para todas

sus posibles asignaciones para decidir si es consistente, vlido
o inconsistente.

(1) (r s) (p (r (p s r)))
La frmula tiene tres variables proposicionales y por lo tanto 8
posibles asignaciones de valores de verdad. Una tcnica til para
resolver el esquema ms rpido es asignar un valor de verdad a la
variable que aparece en ms ocasiones, en este caso es r, as
que comenzaremos asignando [r:0].

(0 s) (p (0 (p s 0)))

Por regla (vi) a (0 (p s 0)):

(0 s) (p 1)

Por regla (iv) a (p 1):

(0 s) (1)
Por uso de la negacin:

(0 s) 0
 Por regla (iii) a (0 s) 0:
0
Con lo que concluimos que el esquema (1) es falso siempre que r
es falso. Falta la otra mitad de la tabla, cuando [r:1].

(1 s) (p (1 (p s 1)))

Por regla (v) a (1 (p s 1)):

(1 s) (p (p s 1))

Por regla (i) a (p s 1):

(1 s) (p (p s))

Por regla (viii) a (1 s):

s (p (p s))
Hasta aqu podemos llegar con la asignacin [r:1], as que ahora
hay que escoger otra variable y darle una asignacin. Como tanto
p como s aparecen dos veces cada una parece no haber un
criterio que le d ventaja a una respecto a la otra. As que
elegiremos [s:1]. A continuacin no detallar a qu parte de la
frmula aplico la regla, el lector debe estar atento:

1 (p (p 1))
Por uso de la negacin:

0 (p (p 1))
Por regla (iii):
0
Por lo que podemos concluir que cuando [r: 1, s:1] el esquema (1)
es falso (cmo lo era en el caso de [r: 0]). En este punto ya
sabemos que el esquema no puede ser vlido (tautolgico). Pero
an quedan casos por analizar para saber si es consistente o
inconsistente. As que ahora tomamos [s: 0].

0 (p (p 0))
Por regla (iii) y uso de la negacin:

1 (p 0)
Por reglas (i) y (ii):

(p)
Concluimos que cuando [r: 1, s: 0] el valor del esquema (1) es el
mismo que el del esquema p. Con esta informacin podemos
reconstruir la tabla de verdad del esquema (1):
 r s p (r s) (p (r (p s r)))

0 0 0 0
0 0 1 0
0 1 0 0
0 1 1 0
1 0 0 1
1 0 1 0
1 1 0 0
1 1 1 0

Los renglones resaltados en azul los obtuvimos con la asignacin

[r: 0], donde de hecho nos fue indiferente el valor de las otras
variables por lo que podramos expresar la asignacin as: [r:0,
s:x, p:x], donde la x expresa esa indiferencia. Los renglones
rosas los obtuvimos con la siguiente asignacin: [r:1, s:1, p:x].
Finalmente obtuvimos los renglones en verde al establecer que bajo
la asignacin [r:1, s:0] el valor de (1) era el mismo que el de
p.
Al final obtuvimos un esquema consistente pero no vlido.
Esta herramienta la podemos utilizar entonces para verificar si
un esquema implica a otro. Supongamos que queremos saber si el
esquema implica al esquema . Entonces basta con aplicar el
mtodo recin explicado al esquema . En el momento que
obtengamos un 0 sabremos que el esquema no es vlido y por lo
tanto que no implica a . Si por el contrario, agotamos el
anlisis y al final la reduccin siempre dio 1, entonces
sabremos que el esquema s implica tautolgicamente al esquema
. Veamos un ejemplo.
Diga si los siguientes enunciados son verdaderos o falsos.

a) ((p q) r) implica a ((s p) (p r))

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

[p:0]

[((0 q) r)] [((s 0) (0 r))]

Aplicando negacin:

[((0 q) r)] [((s 0) (1 r))]

Aplicando reglas (ii) y (iv):

[( q r)] [s 1]
Aplicando regla (viii):

( q r) s
Hasta aqu debe ser evidente que el esquema no es vlido ya que
el condicional que qued al final puede ser falso. Para
comprobarlo evale la asignacin [q:1, r:x, s:0]:

( 1 r) 0

(0 r) 0
Por regla (vii):

(0 r)

Por regla (vi):

(1)

Es conveniente que para ejercitarse el lector haga este ejercicio

u otro de su invencin paso por paso aplicando cada regla
individualmente hasta que las domine y pueda resumir ciertos
pasos. Desarrollar la habilidad para encontrar las asignaciones
ms convenientes para sus propsitos.

Elabor: Larry Fielding Jagey Camarena

[1] W.V.O. Quine, Los mtodos de la lgica, captulo 5: Anlisis

veritativo funcional.