01123nam a22001097a 4500082002200000100002900022245003300051260004700084300002600131520084300157650001301000 a160 / bQ73L / CG aOrman Quine, Willard Van aLos Métodos de la Lógica aMadrid, España:bEdiciones Ariel;c1969. a362 Paginas:b22 cm.; aFunciones Veritativas.-- Negación, conjunción y disyunción.-- El condicional.-- Agrupación.-- Analisis veritativo- funcional.-- Consistencia y validez.-- Implicación.-- Palabras en símbolos.-- Equivalencias.-- Esquemas normales.-- Dualidad.-- Cuantificación uniforme.-- Enunciados categóricos.-- Diagramas de Venn.-- Silogismos.-- Limites de estos métodos.-- Cuantificación.-- Teoría general de la cuantificación.-- Generalización de la cuantificación.-- Valides de los esquemas cuantificacionales.-- Leyes de implicación.-- Perspectivas ulteriores.-- Existencias e inferencia singular.-- Términos singulares y términos generales.- - Identidad.-- Descripciones.-- Eliminación de términos singulares.-- Teorías de las clases, matemática y teoría de la mostración.-- Otras teorías de clases. aLógica