Algunas Propiedades en C1

Jos Abel Castellanos Joo

Diciembre 23, 2013
Se presentan algunas propiedades de la lgica paraconsiste C1 como conmutatividad, asociatividad, distributividad, idempotencia para y .
Teorema 1. En C1 se cumplen las siguientes afirmaciones:
1.
2.
3.
4.
5.
6.

` ( ) ( )
` ( ) ( )
` ( ( )) (( ) )
` ( )
` ( )
` ( ( )) (( ) ( ))

Se comenzar mostrando dos lemmas:

Lemma 1. En C1 se cumple que:
`
Demostracin:
1. ( ) Axioma
2. ( (( ) )) (( ( )) ( )) Axioma
3. (( ) ) Axioma
4. ( ( )) ( ) Modus Ponens (2, 3)
5. Modus Ponens (1, 4)
Lemma 2. En C1 se cumple que:
, `
Demostracin:
1. Hyp.
2. Hyp.
3. ( ) (( ( )) ( )) Axioma
4. ( ( )) ( ) Modus Ponens (1, 3)
5. ( ) ( ( )) Axioma
1

6. ( ) Modus Ponens (2, 5)

7. Modus Ponens (4, 6)
Demostracin Teorema 1.1:
Se demostrar ` ( ) ( ) y ` ( ) ( )
` ( ) ( )
1. ( ) Hyp.
2. ( ) Axioma
3. ( ) Axioma
4. ( ( )) Axioma
5. Modus Ponens (1, 2)
6. Modus Ponens(1, 3)
7. ( ) Modus Ponens (4, 6)
8. Modus Ponens (5, 7)
9. ( ) ( ) Teorema de Deduccin (1 - 8)
` ( ) ( )
1. ( ) Hyp.
2. ( ) Axioma
3. ( ) Axioma
4. ( ( )) Axioma
5. Modus Ponens (1, 2)
6. Modus Ponens(1, 3)
7. ( ) Modus Ponens (4, 6)
8. Modus Ponens (5, 7)
9. ( ) ( ) Teorema de Deduccin (1 - 8)
Demostracin Teorema 1.2:
Se demostrar ` ( ) ( ) y ` ( ) ( )
` ( ) ( )
1. ( ) Axioma
2. ( ) Axioma
3. ( ( )) (( ( )) (( ) ( ))) Axioma
4. ( ( )) (( ) ( )) Modus Ponens (2, 4)
5. ( ) ( ) Modus Ponens (3, 5)
` ( ) ( )
1. ( ) Axioma
2. ( ) Axioma
3. ( ( )) (( ( )) (( ) ( ))) Axioma
4. ( ( )) (( ) ( )) Modus Ponens (2, 4)

5. ( ) ( ) Modus Ponens (3, 5)

Demostracin Teorema 1.3:
Se demostrar ` ( ( ) (( ) )) y ` (( ) ) ( ( ))
` ( ( )) (( ) )
1. ( ) Hyp.
2. ( ) Axioma
3. ( ) ( ) Axioma
4. ( ) Axioma
5. ( ) Axioma
6. Modus Ponens (1, 2)
7. Modus Ponens (1, 3)
8. Modus Ponens (4, 7)
9. Modus Ponens (5, 7)
10. ( ( )) Axioma
11. ( ) Modus Ponens (6, 10)
12. ( ) Modus Ponens (8, 11)
13. ( ) ( (( ) )) Axioma
14. (( ) ) Modus Ponens (12, 13)
15. ( ) Modus Ponens (9, 14)
16. ( ( )) (( ) ) Teorema de Deduccin (1 - 15)
` (( ) ) ( ( ))
1. ( ) Hyp.
2. (( ) ) ( ) Axioma
3. (( ) ) Axioma
4. ( ) Axioma
5. ( ) Axioma
6. Modus Ponens (1, 2)
7. Modus Ponens (4, 6)
8. Modus Ponens (5, 6)
9. Modus Ponens (1, 3)
10. ( ( )) Axioma
11. ( ) Modus Ponens (8, 10)
12. ( ) Modus Ponens (9, 11)
13. (( ) ( ( ))) Axioma
14. ( ) ( ( )) Modus Ponens (7, 13)
15. ( ) Modus Ponens (12, 14)
16. (( ) ) ( ( )) Teorema de Deduccin (1 - 15)
Demostracin Teorema 1.4:
Se demostrar ` ( ) y ` ( )

` ( )
1. Hyp.
2. ( ( )) Axioma
3. ( ) Modus Ponens (1, 2)
4. Modus Ponens (1, 3)
5. ( ) Teorema de Deduccin (1 - 4)
` ( )
1. ( ) Axioma
Demostracin Teorema 1.5:
Se demostrar ` ( ) y ` ( )
` ( )
1. ( ) Axiom
` ( )
1. Lemma 1.
2. ( ) (( ) (( ) )) Axioma
3. ( ) (( ) ) Modus Ponens (1, 2)
4. ( ) Modus Ponens (1, 3)
Demostracin Teorema 1.6:
Se demostrar ` ( ( )) (( ) ( )) y ` (( ) ( ))
( ( ))
` ( ( )) (( ) ( ))
1. ( ) Hyp.
2. ( ( )) Axioma
3. ( ( )) ( ) Axioma
4. Modus Ponens (1, 2)
5. ( ) Modus Ponens (1, 3)
6. ( ( )) Axioma
7. ( ( )) Axioma
8. ( ) Modus Ponens (4, 6)
9. ( ) Modus Ponens (4, 7)
10. ( ) (( ) ( )) Axioma
11. ( ) (( ) ( )) Axioma
12. (( ) ( )) Lemma 2 (8, 10)
13. (( ) ( )) Lemma 2 (9, 10)
14. ( (( ) ( ))) (( (( ) ( ))) (( )
(( ) ( )))) Axioma
15. ( (( ) ( ))) (( ) (( ) ( ))) Modus Ponens
(12, 14)
4

16. ( ) (( ) ( )) Modus Ponens (13, 15)

17. ( ) ( ) Modus Ponens (5, 16)
18. ( ( )) (( ) ( )) Teorema de Deduccin (1 - 18)
` (( ) ( )) ( ( ))
1. ( ) ( ) Hyp.
2. ( ) Axioma
3. ( ) Axioma
4. ( ) Axioma
5. ( ) Axioma
6. (( ) ) ((( ) ) ((( ) ( )) )) Axioma
7. (( ) ) ((( ) ( )) ) Modus Ponens (2, 6)
8. (( ) ( )) Modus Ponens (4, 7)
9. Modus Ponens (1, 8)
10. ( ) Axioma
11. ( ) Axioma
12. ( ) ( ) Lemma 2 (3, 10)
13. ( ) ( ) Lemma 2 (5, 11)
14. (() ()) ((() ()) ((()()) ()))
Axioma
15. (( ) ( )) ((( ) ( )) ( )) Modus Ponens (12,
14)
16. (( ) ( )) ( ) Modus Ponens (13, 15)
17. ( ) Modus Ponens (1, 16)
18. (( ) ( ( ))) Axioma
19. ( ) ( ( )) Modus Ponens (9, 18)
20. ( ) Modus Ponens (17, 19)
21. (( ) ( )) ( ( )) Teorema de Deduccin (1 - 20)