000			01540cam a2200217 a 4500
005			20160616155042.0
008			110215s1980 mx ad gr 000 0 spa d
020			_a9684512708
041	0		_aspa
082	0	4	_a511.3 _bG154i _222
100	1		_aGalicia Arrambide, Moisés
245	1	0	_aIntroducción a la lógica matemática _cMoisés Galicia Arrambide
250			_a1a ed.
260	3		_aMéxico _bMcGraw-Hill _c1980
300			_a93 p. _bilustraciones; diagramas _c27 cm.
504			_aIncluye bibliografía
505	0		_a1. Inducción, intuición y deducción ; 2. Proposiciones ; 3. Grafica de proposiciones ; 4. Funciones proposicionales y cuantificadores ; 5. Proposiciones compuestas ; 6. Formulas ; 7. Álgebra de proposiciones ; 8. Argumentos válidos ; 9. Métodos generales de demostración: directo e indirecto ; 10. Respuestas a problemas seleccionados
520	1		_aRazonar es un proceso mediante el cual se llega a establecer una conclusión, que se basa en una o más proposiciones supuestas o aceptadas previamente, llamadas premisas, que constituyen el punto de partida del proceso. L a pregunta que se hace constantemente el lógico es: ¿La conclusión se desprende o se deduce de las premisas?. Si la conclusión es correcta, significa que las premisas contienen información suficiente para establecer la conclusión, lo que indica que el razonamiento es correcto, y en caso contrario es incorrecto
650	1	7	_aLógica simbólica y matemática _2LEMB _959355
942			_2ddc _h511 _cBK
999			_c3593 _d3593