Sé que hay una "prueba formal" para la "regla de absorción" que emplea la "ley del tercero excluido". Se presenta en Wikipedia (y creo que es de Russell): https://en.wikipedia.org/wiki/Absorption_(logic)#Formal_proof .
También es obvio cómo podría hacerse por medio de una prueba "condicional" o "indirecta".
Sin embargo, ¿existe una "prueba formal" en lógica proposicional para la "regla de absorción" que NO afirme la "ley del medio excluido (o de no contradicción)" como una regla de inferencia o emplee una "regla condicional (o indirecta)"? prueba"?
Es decir, ¿puede construirse una "demostración formal" en lógica proposicional (deducción natural o no) que vaya de la premisa p⊃q a la conclusión p⊃(p∙q) SIN usar la "ley del tercero excluido (LEM )" como regla de inferencia o empleando una "prueba condicional (CP)" o "prueba indirecta (IP)"?
La regla de absorción se puede demostrar mediante una tabla de verdad (que no es ni una "prueba condicional" ni una "prueba indirecta") de la siguiente manera:
P Q | P ⊃ Q | (P ∙ Q) | P ⊃ (P ∙ Q) | (P ⊃ Q) ≡ [P ⊃ (P ∙ Q)]
-----------------------------------------------------------
0 0 | 1 | 0 | 1 | 1
0 1 | 1 | 0 | 1 | 1
1 0 | 0 | 0 | 0 | 1
1 1 | 1 | 1 | 1 | 1
Pero, si las tablas de verdad presuponen la ley del tercero excluido, entonces parecería que la regla de absorción no es demostrable dentro de las restricciones que ha impuesto.
Esta es solo una respuesta parcial porque utiliza la eliminación condicional y la introducción condicional que pueden estar prohibidas. Sin embargo, no utiliza la ley del tercero excluido (LEM).
Según entiendo los comentarios, hay algunas dudas sobre la prohibición de reglas para condicionales si se permite un condicional en la premisa y un condicional en la conclusión. Si uno usa condicionales para establecer la prueba, se deben especificar las reglas para manipular el condicional.
La prueba se realizó utilizando el editor y comprobador de pruebas de deducción natural de Kevin Klement .
Aquí está la prueba de absorción usando LEM en el artículo de Wikipedia citado, "Absorción (lógica)" :
virmaior
Estegfucio
virmaior
virmaior
Estegfucio
Estegfucio
virmaior
virmaior
Estegfucio
virmaior
virmaior
Estegfucio
virmaior
Estegfucio
virmaior
Assuming so, is your point, then, that because the "proof by truth table" for absorption uses LEM ...
NO . Mi punto es que la definición de ⊃ en sí misma asume LEM antes de que pueda probar algo, ya sea que la prueba sea mediante una tabla de verdad o algún otro método. / Reiterado, lo que pareces querer evitar parece estar integrado en la naturaleza misma de ⊃ y no sé cómo puedes deshacerlo.Estegfucio
Estegfucio