01762nam a22002537a 4500 1020 AR-FRRoUTN 260612t1989 ag |||||r|||| 001 0 spa d 9500252864 UTN FRRo spa aacr2 512 2015 Rabuffetti, Hebe T. Temas de álgebra lógica / Hebe T. Rabuffetti. Buenos Aires : El ateneo, 1989. 99 p. ; 20 cm. rdacontent texto txt rdamedia sin mediación n rdacarrier volumen nc I. 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. ÁLGEBRA LÓGICA udc BK 1020 1020 0 0 udc Buen Estado 0 Colección general FRRO FRRO Colección General 2008-05-20 26809 0 512 r118 26809 2026-06-12 12:25:29 1 2026-06-12 BK