TY - BOOK AU - Suppes TI - Introducción a la lógica simbólica / PY - 1969/// CY - México : PB - Continental, KW - LOGICA KW - LOGICA MATEMATICA Y SIMBOLICA N2 - Contiene: Principios de inferencia y definición. 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. Transmisión de las demostraciones formales a las informales. Teoría de la definición. Teoría elemental intuitiva de los conjuntos. Conjuntos. Relaciones. Funciones. Fundamentación sinforematica del método axiomático. Indice analítico ER -