5 votos

¿Cómo probar¬P(PQ)¬P(PQ)?

Estoy tratando de probar,

¬P(PQ)¬P(PQ)

donde PP QQ son arbitrarias, pero de otra manera fija fórmulas.

La única axiomas y reglas de inferencia que puedo usar son,

Axiom 1. P(QP)Axiom 1. P(QP)

Axiom 2. (S(PQ))((SP)(SQ))Axiom 2. (S(PQ))((SP)(SQ))

Axiom 3. (¬Q¬P)(PQ)Axiom 3. (¬Q¬P)(PQ)

Rule of Inference.Rule of Inference. Modus Ponens.

Sé que en Angelo Margaris del libro de Primer Orden de la Lógica Matemática no es una prueba (página 53), pero como he mencionado aquí, la notación de punto parece muy confuso y la traducción a la notación de paréntesis anidados parece muy difícil para mí. Por lo tanto, estoy intentando por mi cuenta para probar el resultado.

Alguien puede ayudar?

3voto

5xum Puntos 158

Abrevie a=¬Pa=¬P, b=¬Q¬Pb=¬Q¬P, y c=PQc=PQ. Entonces

1. ab   by axiom 11. ab   by axiom 1

2. bc   by axiom 32. bc   by axiom 3

y tenemos que deducir acac. Lo que en última instancia va a producir este es

3. (a(bc))((ab)(ac))   by axiom 23. (a(bc))((ab)(ac))   by axiom 2

Tenga en cuenta que estamos ya muy cerca: sólo tenemos que deducir a(bc)a(bc) bcbc y aplicar el modus ponens dos veces. Así

4. (bc)(a(bc))   by axiom 14. (bc)(a(bc))   by axiom 1

5. a(bc)   by modus ponens on 2 and 45. a(bc)   by modus ponens on 2 and 4

Y, como hemos prometido, hemos acabado mediante la aplicación de modus ponens dos veces.

6. (ab)(ac)   by modus ponens on 3 and 56. (ab)(ac)   by modus ponens on 3 and 5

7. ac   by modus ponens on 1 and 67. ac   by modus ponens on 1 and 6

1voto

fleablood Puntos 5913

1) ¬P(¬Q¬P)¬P(¬Q¬P) Axioma 1

2) (¬Q¬P)(PQ)(¬Q¬P)(PQ) Axioma 3.

3) [(¬Q¬P)(PQ)]{[¬P(¬P¬Q)][¬P(PQ)]}[(¬Q¬P)(PQ)]{[¬P(¬P¬Q)][¬P(PQ)]} Axioma 2.

4) [¬P(¬P¬Q)][¬P(PQ)][¬P(¬P¬Q)][¬P(PQ)] Modus ponens. 2 y 3 combinados.

5) ¬P(PQ)¬P(PQ) Modus ponens 1 y 4 combinados.

====

Originalmente mistated modus ponens. Que esA;(AB);BA;(AB);B, mientras que en lo que usé era de (AB);(BC)(AC)(AB);(BC)(AC), que es similar pero diferente.

Podemos demostrar que pienso:

BCBC

así, por el axioma 2 (AB)(AC)(AB)(AC)

(AB)(AB)

Por lo ACAC: modus ponens.

===

Mientras estamos probando cosas que bien podría demostrar modus nolens.

AB;¬BAB;¬B.

El (AB)(¬B¬A)(AB)(¬B¬A) Axioma 3

Por lo ¬B¬A¬B¬A modus ponens.

Por lo ¬A¬A. Modus ponens. Por lo tanto modus nolens es válido. Hey, esta probando cosas es bueno!

Pero estoy asumiendo que es determinado ¬¬P=P¬¬P=P. Es que un determinado? Si no nos debe probar antes de nada.

Lo que se nos dan tan básico tautologías? No sabemos PPPP, P¬PP¬P etc?

1voto

user11300 Puntos 116

En primer lugar, vamos a la refundición de los esquemas como bien formada fórmulas. Esto hace que las sustituciones de mecánica y menos propenso a errores. O más fácil de corregir cuando se producen errores.

Axioma 1 (P(PP))

Axioma 2 ((S(PP))((SP)(SQ)))

Axioma 3 ((¬¬Q¬¬P)(PP))

Queremos llegar a (¬¬P(PP)). Si nos fijamos en el Axioma 3, con la consiguiente coincide con el consiguiente de que el objetivo de la fórmula. Así que, ¿cómo nos deshacemos de (¬¬Q¬¬P) y poner ¬¬P en frente de (PP)? O podemos hacer una de estas dos?

Así, se da el caso de que (PP) fue un teorema, entonces el Axioma 1 nos permitiría poner cualquier fórmula, como ¬¬P, en frente de (PP). Axioma 1 también puede acostumbrarse a deducir cualquier consecuente de una fórmula ωω si el antecedente de la ωω puede conseguir deriva del Axioma 1 por sustitución. Axioma 2 "dice" nosotros que si tenemos algún S en frente de un condicional χχ, podemos transferir S al frente de el antecedente de χχ y el frente de la consiguiente de χχ. Yo uso αα/ββ para indicar que αα obtiene sustituido con ββ. Cuando escribo αα * ββ, tanto en αα ββ indican equiform fórmulas. Por lo tanto, poner a todos juntos...

:Axioma 1 P/((¬¬Q¬¬P)(PP)), Q/¬¬P * 1

1 (((¬¬Q¬¬P)(PQ))(¬¬P((¬¬Q¬¬P)(PQ))))

:1 * (Axioma 32)

2 (¬¬P((¬¬Q¬¬P)(PQ)))

:Axioma 2 S/¬¬P, P/(¬¬Q¬¬P), Q/(PP) * 3

3 ((¬¬P((¬¬Q¬¬P)(PQ)))((¬¬P(¬¬Q¬¬P))(¬¬P(PQ))))

:3 * (24)

4 ((¬¬P(¬¬Q¬¬P))(¬¬P(PQ)))

:Axioma 1 P/¬¬P, Q/¬¬Q * 5

5 (¬¬P(¬¬Q¬¬P))

:4 * (56)

6 (¬¬P(PP))

El de arriba es un poco de falsa historia si se lee como una indicación de cómo me encontré con esta prueba, pero quizás también ofrece un poco más de metalogical insight.

0voto

Luca Bressan Puntos 1647

Sugerencia: uso axioma 1 en el % de forma ¬P(¬Q¬P)¬P(¬Q¬P)y el axioma 3.

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X