domingo, 18 de noviembre de 2012
Un prueba en la teoría Nicod-Lukasiewicz
Veamos la prueba de «p → p» en el sistema Nicod-Lukasiewicz.
Recordemos el axioma: p/qr | (s/ss) / (sq → ps)
Sustituyendo en él: 'p' por 'p/qr', 'q' por 's/ss', 'r' por 'sq → ps' y 's' por 't', obtememos:
[p/qr|(s/ss)/(sq → ps)] | t/tt / (t|s/ss → p/qr|t)
Nótese que la parte entre corchetes es el axioma mismo, por tanto podemos aplicar la regla, lo cual nos permite afirmar:
(I) t|s/ss → p/qr|t
Sustituyendo, nuevamente en el axioma, 'p' por 't|s/ss', 'q' y 'r' por 'p/qr|t', 's' por 'w', obtenemos:
(t|(s/ss) → p/qr|t) | (w → w) / (w|(p/qr|t) → t/(s/ss)|w)
Y aplicando la regla (teniendo en cuenta I), obtenemos:
(II) w|(p/qr|t) → t/(s/ss)|w
Ahora, realizamos en (II) la siguiente sustitución:
'w' por 'p/qr'; 'p', 'q' y 'r' por 's'; 't' por 'sq → ps', 's' por 't' y 't' por 'sq → ps'. Obtenemos el condicional:
p/qr|(s/ss)/(sq → ps) → (sq → ps)/(t/tt)|p/qr
Cuyo antecedente no es sino al axioma, y por ende:
(III) (sq → ps)/(t/tt)|p/qr
Sustityendo en (I) 't' por '((st → ts)|t/tt)' y 's' por 't':
(st → ts)/(t/tt)| t/tt → p/qr | (st → ts)/(t/tt)
Y como reemplazando en (III) 'p', 'q' y 'r' por 't' nos da:
(st → ts)/(t/tt)|t/tt
Luego:
(IV) p/qr | (st → ts)/(t/tt)
Reemplazando en (IV) 'p' por 't|s/ss' y 'q' y 'r' por 'p/qr|t', obtenemos:
(t|s/ss → p/qr|t) | (st → ts) / (t/tt)
Aplicando la regla (teniendo en cuenta (I)), deducimos:
⊢ t/tt
Que es lo que se quería probar.
sábado, 3 de noviembre de 2012
Más del axioma de Nicod
En el post anterior se hace rerefencia a un axioma que permite, usando la regla de sustitución y una regla de inferencia deducir toda fórmula proposicional. Lukasiwiecz menciona que Leśniewski fue quien notó que la prueba dada por Nicod de «p → p» incluía un error y que, por tanto, no era tal prueba. Esa deducción es publicada por Lukasiewicz en 1931¹. Asimismo, introduce también una modificación en el axioma de Nicod por otro que es deductible a partir de él en un paso con una sustitución, y que es el presentado en el post citado. El de Nicod es:
p/qr | Ctt / (sq → ps)²
A partir del cual con la sustitución de t por s obtenemos el de Lukasiewicz. Otra prueba que da este autor es la que parte de esta segunda versión del axioma y concluye en la primera, permitiendo afirmar su equivalencia. Se menciona a su vez otro axioma, respecto del cual Wajsberg mostró que servía en lugar del de Nicod. Éste es:
p/qr | [(sr → ps) | p/pq]
Ejercicios:
Usando el axioma y las reglas del post citado, probar:
a. p → p
b. p/qr | Ctt / (sq → ps)
Nota:
1. Luakasiewicz, J. «Uwagi o aksjomacie Nicoda i 'dedukcji uogólniajacej'»
2. Para leer lafórmula téngase en cuenta que: dos letras minuculas una después de la otra, por ejemplo 'pq' representa «p|q»; la barra «/» tiene el mismo significado que «|», pero al momento de cerrar entre paréntesis prepondera la seguda, o sea que 'p|q/p' significa 'p|(q|p)'; 'Css' representa 's → s'.
p/qr | Ctt / (sq → ps)²
A partir del cual con la sustitución de t por s obtenemos el de Lukasiewicz. Otra prueba que da este autor es la que parte de esta segunda versión del axioma y concluye en la primera, permitiendo afirmar su equivalencia. Se menciona a su vez otro axioma, respecto del cual Wajsberg mostró que servía en lugar del de Nicod. Éste es:
p/qr | [(sr → ps) | p/pq]
Ejercicios:
Usando el axioma y las reglas del post citado, probar:
a. p → p
b. p/qr | Ctt / (sq → ps)
Nota:
1. Luakasiewicz, J. «Uwagi o aksjomacie Nicoda i 'dedukcji uogólniajacej'»
2. Para leer lafórmula téngase en cuenta que: dos letras minuculas una después de la otra, por ejemplo 'pq' representa «p|q»; la barra «/» tiene el mismo significado que «|», pero al momento de cerrar entre paréntesis prepondera la seguda, o sea que 'p|q/p' significa 'p|(q|p)'; 'Css' representa 's → s'.
Suscribirse a:
Entradas (Atom)