TY  - BOOK
AU  - JEFFREY, RICHARD C.
AU  - 
AU  - JEFFREY, RICHARD C.
TI  - LÓGICA FORMAL: SU ALCANCE Y SUS LIMITES
U1  - 160..JEFF.00 
CY  - PAMPLONA
KW  - LÓGICA FORMAL.-SILOGÍSTICA
N1  - PROPOSICIONES COMPUESTAS
. -- INTRODUCCIÓN
. -- EQUIVALENCIA LÓGICA
. -- FUNCIONES DE VERDAD
. -- ARBOLES DE VERDAD
. -- ADECUACIÓN DEL MÉTODO. ARBOLES Y DEMOSTRACIONES
. -- CUANTIFICACIÓN
. -- REGLAS DE INFERENCIA DE LOS CUANTIFICADORES
. -- CUANTIFICACIÓN MÚLTIPLE. TRADUCCIÓN
. -- ADECUACIÓN DEL MÉTODO DE LOS ARBOLES
. -- IDENTIDAD. FUNCIONES
. -- INDECIBILIDAD. INCOMPLETITUD
ER  -