LÓGICA FORMAL: SU ALCANCE Y SUS LIMITES
JEFFREY, RICHARD C.
LÓGICA FORMAL: SU ALCANCE Y SUS LIMITES - 1A. ed - PAMPLONA 1999 - 279 21.5
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
LÓGICA FORMAL.-SILOGÍSTICA
160..JEFF.00
LÓGICA FORMAL: SU ALCANCE Y SUS LIMITES - 1A. ed - PAMPLONA 1999 - 279 21.5
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
LÓGICA FORMAL.-SILOGÍSTICA
160..JEFF.00