Por lo que puedo entender, la clave de PM es asegurarse de que no haya saltos ni lagunas al hacer inferencias. En otras palabras, todas las premisas y reglas de inferencia deben enumerarse explícitamente con la excepción de ❊1.11. Me pregunto, en la demostración de ❊3.3, ¿por qué se omite Syll en el primer y tercer paso pero se menciona en el último paso?
primero reescribamos la prueba de Russels en notación moderna:
Id(*3.01) = |- (((P & Q) -> R) -> (~(~P v ~Q) -> R)
transp -> (~R -> (~P v ~Q))
Id (*1.01) -> (~R -> (P -> ~Q))
comm -> (P -> (~R -> ~Q))
transP.syll -> (P -> (Q -> R))) |-. prop
Creo que Russel usa la regla del silogismo (|- P -> Q, |- Q -> R => |- P -> R ) sin mencionarlo, porque solo hace que la prueba sea innecesariamente complicada.
para agregarlos a la prueba se convierte en
Id(*3.01) = |- (((P & Q) -> R) -> (~(~P v ~Q) -> R)
transp = |- (~(~P v ~Q) -> R) -> (~R -> (~P v ~Q))
--syllogism-- |- (((P & Q) -> R) -> (~R -> (~P v ~Q))
Id (*1.01) = |- (~R -> (~P v ~Q)) -> (~R -> (P -> ~Q))
--syllogism-- |- (((P & Q) -> R) -> (~R -> (P -> ~Q))
comm = |- (~R -> (P -> ~Q)) -> (P -> (~R -> ~Q))
--syllogism-- |- (((P & Q) -> R) -> (P -> (~R -> ~Q))
transP.syll = |- (P -> (~R -> ~Q)) -> (P -> (Q -> R)))
--syllogism-- |- (((P & Q) -> R) -> (P -> (Q -> R)))
solo hace que la prueba sea 4 líneas más larga y mucho menos espacio en blanco, pero si lo encuentra mejor, hágalo de esta manera (ps, pero incluso aquí, ¿no quiere volver a los axiomas?
Tiene razón tu comentario.
La prueba se basa en una "cadena" de condicionales ; por lo tanto, necesitamos a Syll .
En el tercer paso, para pasar de:
⊢ (pq ⊃ r) ⊃ ( ~r ⊃ (p ⊃ ~q) ) --- (3)
a :
⊢ (pq ⊃ r) ⊃ (p ⊃ ( ~r ⊃ ~q) ) --- (4)
tenemos que construir la "cadena":
(3) --- ⊢( ~r ⊃ (p ⊃ ~q) ) ⊃ (p ⊃ ( ~r ⊃ ~q) ) --- por Comm --- (4) --- por Syll .
Toda la prueba de hoy se simplificará enormemente mediante el uso del teorema de deducción ; falta en PM porque Tarski y Herbrand lo descubrieron de forma independiente durante los años 30.
ifigenia
DBK
Jorge Chen
hunan rostomyan