000			01762nam a22002537a 4500
001			1020
003			AR-FRRoUTN
008			260612t1989 ag |||||r|||| 001 0 spa d
020			_a9500252864
040			_aUTN FRRo _bspa _eaacr2
080	0		_a512 _22015
100	1		_aRabuffetti, Hebe T.
245	1	0	_aTemas de álgebra lógica / _cHebe T. Rabuffetti.
260			_aBuenos Aires : _bEl ateneo, _c1989.
300			_a99 p. ; _c20 cm.
336			_2rdacontent _atexto _btxt
337			_2rdamedia _asin mediación _bn
338			_2rdacarrier _avolumen _bnc
505	0		_aI. Cálculo proposicional 1. -- Negación 2. -- Conjunción 3. -- Disyunción 3. -- Disyunción exclusiva 4. -- Implicación 5. -- Equivalencia 8. -- Tablas de verdad 9. -- Ejercicios 12. -- II. Tautologías o leyes lógicas 15. -- Tautologías usuales 17. -- Simplificación 18. -- Implicaciones asociadas 20. -- Ejercicios 21. -- III. Razonamiento deductivo 25. -- Método directo 27. -- Método indirecto 29. -- Consistencia del conjunto de premisas 36. -- Reducción al absurdo 39. -- Ejercicios 40. -- IV. Diagramas de Euler 43. -- Proposiciones categóricas 44. -- Ejercicios 53. -- V. Reducción de conectivos lógicos 55. -- Circuitos lógicos 56. -- Ejercicios 59. -- VI. Lógicas multivalentes 61. -- Lógica trivalente 61. -- Ejercicios 64. -- VIl. Esquema proposicional en una variable 67. -- Cuantificación 68. -- Alcance de un cuantificador 70. -- Propiedades de los cuantificadores 71. -- Ejercicios 73. -- VIII. Esquema proposicional en varias variables 75. -- Propiedades de los cuantificadores 76. -- Ejercicios 77. -- Respuestas a ejercicios 79. -- Indice alfabético 99.
650	1	4	_aÁLGEBRA
650	1	4	_aLÓGICA
942			_2udc _cBK
999			_c1020 _d1020