Cuantificador Cuantificador existencial Cuantificador (lingüística) Cuantificador universal Eliminación de cuantificadores Forma normal de Skolem Fórmula booleana cuantificada verdadera Juego de las fórmulas Lógica de primer orden Ruido de cuantificación Notación matemática Sintagma nominal DPCM Multiplicador (lengua) Cuerpo real cerrado Adjetivo comparativo Divisor (lengua) Instanciación universal Teorema de existencia Ǝ Existencial Teoría de los Números Tipográfica Ɐ Forma normal prenexa Oración burro Relevancia (orografía) Modulación Sigma-Delta Indicador Modulación Delta Constante lógica Dominio de discurso Universal Sentencia (lógica) Reso…

olución digital Jerarquía analítica Aguyjevete Lógica de segundo orden Lógica de orden superior SMR Leyes de De Morgan A (desambiguación) Lógica infinitaria Sintagma adverbial Digitalización de video Generalización existencial PSPACE-completo Numeral distributivo (lingüística) Convertidor de señal analógico a digital Complemento sintáctico Silogismo categórico Suficientemente grande Cálculo relacional basado en tuplas Java Modeling Language Descenso infinito Determinante (lingüística) Predeterminante Demostración de consistencia de Gentzen Aritmética recursiva primitiva Cálculo relacional

Umbral de enmascaramiento Categoría gramatical Imágenes I, P y B Jaakko Hintikka Teoría estándar Problema de satisfacibilidad booleana Geografía generalizada Sintagma adjetivo Inglés de Tristán de Acuña Forma normal conjuntiva Jerarquía aritmética Inglés de Santa Elena Determinante relativo Cálculo lógico Fotometría CCD Variable proposicional Espectro de una sentencia Aritmética de Heyting Sustantivos femeninos que empiezan por a- o ha- tónicas Macrobloques Adverbio Formato de video AMV Lógica temporal Variable libre y variable ligada Linfocitosis Conversor de señal analógica a digital Fuerza ilocutiva Samsung Gear IconX FSQL Resolución (lógica) Begriffsschrift Alloy Isa