La Ley de Peirce y las formas de la negación

Mostrar todas las versiones(5)

En 1885 Peirce axiomátizó la lógica preposicional con cinco axiomas (icons), los cuales en la formalización propuesta por Prior (1958) son: P1. ⊢ A → A (3.376) P2. ⊢ (A → (B → C)) → (B → (A → C)) (3.337) P3. ⊢ (A → B) → ((B → C) → (A → C)) (3.379) P4. ⊢ f → A (3.381) (EFQ) P5. ⊢ ((A → B) → A)...

Descripción completa

Guardado en:
Detalles Bibliográficos
Autores principales: Palau, Gladys, Durán, Cecilia
Formato: Articulo
Lenguaje:Español
Publicado: 2006
Materias:
Filosofía
Lógica
Acceso en línea:http://sedici.unlp.edu.ar/handle/10915/89476
http://www.memoria.fahce.unlp.edu.ar/library?a=d&c=arti&d=Jpr9672
https://rdu.unc.edu.ar/handle/11086/2968
Aporte de:
SEDICI (UNLP) de Universidad Nacional de La Plata
Descripción
Sumario:En 1885 Peirce axiomátizó la lógica preposicional con cinco axiomas (icons), los cuales en la formalización propuesta por Prior (1958) son: P1. ⊢ A → A (3.376) P2. ⊢ (A → (B → C)) → (B → (A → C)) (3.337) P3. ⊢ (A → B) → ((B → C) → (A → C)) (3.379) P4. ⊢ f → A (3.381) (EFQ) P5. ⊢ ((A → B) → A) → A (3.384) (LP) Es precisamente su quinto icon, el que se conoce en la literatura lógica con el nombre de Ley de Peirce (LP).

Ejemplares similares