Introducción a la lógica simbólica
Suppes, Patrick
Introducción a la lógica simbólica - Primera - Compañía Editorial Continental 1974
Parte I. PRINCIPIOS DE INFERENCIA Y DEFINICION. Los conectivos oracionales. Teoría oracional de la inferencia. Representación simbólica del lenguaje cotidiano. Teoría general de la inferencia. Otras reglas de inferencia. Apostilla sobre el uso y la mención. Transición de las demostraciones formales a las informales. Teoría de la definición. Parte II. TEORIA ELEMENTAL INTUITIVA DE LOS CONJUNTOS. Conjuntos. Relaciones. Funciones. Fundamentación sinforemática del método axiomático.
Lógica
511.3
Introducción a la lógica simbólica - Primera - Compañía Editorial Continental 1974
Parte I. PRINCIPIOS DE INFERENCIA Y DEFINICION. Los conectivos oracionales. Teoría oracional de la inferencia. Representación simbólica del lenguaje cotidiano. Teoría general de la inferencia. Otras reglas de inferencia. Apostilla sobre el uso y la mención. Transición de las demostraciones formales a las informales. Teoría de la definición. Parte II. TEORIA ELEMENTAL INTUITIVA DE LOS CONJUNTOS. Conjuntos. Relaciones. Funciones. Fundamentación sinforemática del método axiomático.
Lógica
511.3