Lógica - Ayuda en resolver teoremas por sistemas axiomaticos

   
Vista:

Ayuda en resolver teoremas por sistemas axiomaticos

Publicado por Angel Alfonso Montoya Garcia (1 intervención) el 29/03/2016 02:01:37
Sistema de Kleene (A1) (P→( Q →P))
(A2) (P→ Q) → [(P→(Q→R)) →(P→R)]
(A3) [P → (Q → (P∧Q))]
(A4) (P∧Q)→P ó (P∧Q) →Q
(A5) P →(P ∨ Q) ó Q →(P ∨ Q)
(A6) (P→R) → [(Q → R) → ((P ∨ Q)→R)]
(A7) (P→Q) →((P→¬Q) →¬P)
(A8) ¬¬P→P

Se me dificulta resolver estos teoremas

1) A ∨ B ⊢ B ∨ A

2) A → B, B → C ⊢ A → C
Valora esta pregunta
Me gusta: Está pregunta es útil y esta claraNo me gusta: Está pregunta no esta clara o no es útil
0
Responder
información
Otras secciones de LWP con contenido de Lógica
- Cursos de Lógica
- Temas de Lógica
información
Cursos y Temas de Lógica
- Introducción a la lógica
- El juego de Hintikka de la lógica
- Manual de lógica