¡Mira la traducción de "sentential" en inglés.com!

Traducción

■■■■■■■■■■■■■■

Ejemplos

Since testing for sentential validity is a mechanical process, Herbrand's theorem is today of major importance in software developed for theorem proving by computer.	Dado que las pruebas de validez sentential es un proceso mecánico, Herbrand del teorema de hoy es de gran importancia en el software desarrollado para demostrar el teorema de ordenador.
Herbrand's theorem establishes a link between quantification theory and sentential logic which is important in that it gives a method to test a formula in quantification theory by successively testing formulae for sentential validity.	Herbrand del teorema establece un vínculo entre la teoría y la cuantificación sentential lógica que es importante en el sentido de que ofrece un método para poner a prueba una fórmula en la cuantificación de la teoría, sucesivamente, las pruebas fórmulas para sentential validez.
Sentential and nominal arguments are analyzed separately. Among the former, special attention is paid to infinitives and indirect questions; among the latter, a number of transversal semantic interpretations are pointed out and discussed.	Entre los primeros se presta especial atención a los de infinitivo y a las interrogativas indirectas; entre los segundos se distinguen varias interpretaciones semánticas que estos complementos admiten de forma transversal, lo que desaconseja especificarlas por separado en sus respectivas entradas léxicas.
Likewise, both adjective types (scalar vs. non-scalar) and animacy of the sentential subject have been found to impact generic vs. specific interpretations in speakers.	Además, existe evidencia de que tanto la clase de adjetivo (escalar, no escalar) como la animacidad del sujeto oracional influyen en cómo los hablantes interpretan oraciones de manera genérica o específica.
It satisfies a meta sentential communicative need, the need for a word re-presentation of the acts happening in the present sentence, establishing a relation between persons to them in the here and now.	Satisface una necesidad comunicativa que es meta respecto a la frase, la necesidad de una re-presentación de los actos que están ocurriendo en la presente frase, estableciendo una relación entre las personas respecto a estos actos en el aquí y ahora.
She published Axiomatization of the infinite-valued predicate calculus in the Journal of Symbolic Logic in 1963 in which she gave a set of nine axiom schemes and two rules for the predicate calculus based on the infinite-valued sentential calculus of Lukasiewicz.	Publicó Axiomatization del infinito valor predicado cálculo en el Diario de la lógica simbólica en 1963 en la que ofreció una serie de nueve axioma y dos sistemas de normas para el predicado sobre la base de cálculo el infinito valor de cálculo sentential Lukasiewicz.