Temas de álgebra lógica /
Rabuffetti, Hebe T.
Temas de álgebra lógica / Hebe T. Rabuffetti. - Buenos Aires : El ateneo, 1989. - 99 p. ; 20 cm.
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.
9500252864
ÁLGEBRA
LÓGICA
512
Temas de álgebra lógica / Hebe T. Rabuffetti. - Buenos Aires : El ateneo, 1989. - 99 p. ; 20 cm.
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.
9500252864
ÁLGEBRA
LÓGICA
512