completa, 567 Enunciado contradictorio, 34 de asignação, 214 del cálculo, 96 O, 25-26 ambigüedad y, 27 cuándo utilizarlo, 34 enunciados si-entonces...

completa, 567 Enunciado contradictorio, 34 de asignação, 214 del cálculo, 96 O, 25-26 ambigüedad y, 27 cuándo utilizarlo, 34 enunciados si-entonces y, el 41-42 negación del, 32-34, 112 vacío verdadero, 40 Enunciados abiertos, 96 compuestos, 25-29 tablas de valores de verdad para, 28-29 con cuantificadores múltiples, 117-128 condicionales, 2, 39-51 como bicondicional, 48 con hipótesis, 40 contraposición de, 43 converso y contrario de, 43-44 definición de, 39-40 demostración de, 363 en un lenguaje algorítmico, 214-215 equivalencias lógicas y, 40 hipótesis y conclusión en, 47-48 negación de, 42 si-entonces como or, 41-42 sólo si y bicondicional, 44-46 tabla de verdad para, 40 vacuamente ciertos, 40 contradictorios, 34 cuantificados, 96-144 cuantitativos de la multiplicación del lenguaje informal al lenguaje formal, 121-122 escritura, 118 interpretación, 120 Mundo de Tarski, verdad del, 118-119 negaciones de, 123-124 valor verdadero de, 120 definición de, 24 del Mundo de Tarski, formalización, 126-127 equivalencia lógica de, 30 equivalencia lógica de los, 109 existenciales, 2 demostraciones de, 148-149 formas equivalentes de, 103 negación de, 109 refutación de, 159 universales, 4 reescritura, 5 verdadero/falso, 99-100 implícitos, 103-104 iterativos, 215-216 negaciones de, 109-111 Para todo, 3, 5 negación de, 112 predicados y enunciados I, 96-105 predicados y enunciados II, 108-115 que cuantifican multiplicaciones con argumentos, 131-142 tautológicos, 34 tipos de, 2 universales, 2 condicionales, 2 condiciones necesarias y, 114-115 condiciones suficientes y, 114-115 contraposiciones, conversos y contrarios de, 113-114 escritura, 101-102 negaciones de, 111 reescritura, 3 Sólo si y, 114-115 variantes de, 113-114 contraejemplos para, 98-99 contraejemplos refutando con, 149-150 definición de, 98 demostraciones escritas para, 154-156 demostraciones para, 150-156 existenciales, 3-4 reescritura, 4 formas equivalentes de, 102-103 negación de, 109 verdad vacía de, 112-113 verdad/falso, 98-99 validez de argumentos con, 135-139 valores verdaderos para, 26-27 variables utilizadas para escribir, 2 verdaderos vacíos, 112-113 Equipos, calculando el número de, 569-574 Equivalencia de los estados de los autómatas de estados finitos, 809-810 Equivalencia lógica contradicciones y, 35 de enunciados cuantificados, 109 enunciados condicionales y, 40 enunciados y formularios de enunciado y, 30 no equivalencia y, 31 propiedad doblemente negativa y, 31 resumen de, 35-36 tautologías y, 35 tipos de, 35 Eratóstenes, 206-207 Error converso, 57-58 forma cuantificada de, 138, 141-142 Error contrario, 58 forma cuantificada del, 138, 139, 141-142 Escáner léxico, 780 Espacio muestra, 517-518 Especialización, 55 Estado de aceptación de la máquina (autómata), 792-793, 795-796, 798-799 Estado inicial, 793 Estados de no aceptación del autómata, 795 del autómata, 793 inaccesibles de los autómatas de estados finitos, 817 k-equivalentes de estados finitos autómatas, 810-812 Estrategias de solución de problemas, 369-370 Estructura matemática, 817 Estructuras de paréntesis, 330 propiedad del conjunto de, 331 Estructuras isomorfas, 817 Estructuras, matemáticas, Etchemendy, John, 105 Euclides, 176, 208, 210, 220 Euler, Leonhard, 160, 642-643 Evaluación polinomial término por término, 750