logical disjunction oor Spaans

logical disjunction

Vertalings in die woordeboek Engels - Spaans

disyunción lógica

operator in logic and mathematics

voorbeelde

Therefore, the whole logical disjunction indicates that the sentence is true.
Por lo tanto, toda la disyunción lógica indica que la oración es verdadera.

— is based on an inadmissible logical disjunction.
— se basa sobre una disyunción lógica inadmisible.

Then the addition operation is replaced by logical conjunction (AND) and the minimum operation by logical disjunction (OR).
Entonces la operación de adición es reemplazada por la conjunción lógica(AND) y la operación menor por la disyunción lógica (OR).

It is a logical disjunction's sentence that is a two-place logical operator or.
Es una oración de disyunción lógica que es un operador lógico de dos lugares o .

Again there are discrepancies between logical disjunction and the use of or in ordinary language.
Otra vez encontramos aquí discrepancias entre la disyunción lógica y el uso de o en el lenguaje natural.

As a negation of the acceptance, the violation is an axiological negation as much as it is a logical disjunction.
En cuanto niega la aceptación, la violación es una negación axiológica al mismo úempo que una disyunción lógica.

The OR gate is a digital logic gate that implements logical disjunction – it behaves according to the truth table to the right.
La puerta OR o compuerta OR es una puerta lógica digital que implementa la disyunción lógica, se comporta de acuerdo a la tabla de verdad mostrada a la derecha.

The reason this is called "disjunctive syllogism" is that, first, it is a syllogism, a three-step argument, and second, it contains a logical disjunction, which simply means an "or" statement.
La razón por la que esto le llama silogismo disyuntivo es que, primero, es un silogismo - un argumento en tres pasos -, y segundo, contiene una disyunción lógica, que es simplemente el "o" que conecta ambos términos.

The membership of an element of a union set in set theory is defined in terms of a logical disjunction: x ∈ A ∪ B if and only if (x ∈ A) ∨ (x ∈ B).
En términos de la disyunción lógica, la unión utilizada en teoría de conjuntos se define así: x ∈ A ∪ B si –sólo si– (x ∈ A) ∨ (x ∈ B).

There are two kinds of logical disjunction: inclusive means "and/or" - at least one of them is true, or maybe both. exclusive ("xor") means exactly one must be true, but they cannot both be.
Hay dos tipos de disyunción lógica: inclusiva significa "y/o" - al menos uno de ellos es verdadero, o quizás ambos. exclusiva ("xor") significa que exactamente uno debe ser verdadero, pero no pueden ser ambos.

Ampheck Apophasis Binary opposition Bitwise NOT Cyclic negation Grammatical polarity Logical conjunction Logical disjunction Negation (linguistics) Negation as failure NOT gate Plato's beard Square of opposition Truth function Truth table Horn, Laurence R (2001).
Conjunción lógica Disyunción lógica Puerta lógica NO Bitwise NOT Operador a nivel de bits Paralipsis Negación cíclica Eliminación de la doble negación Polaridad (gramática) Negación (gramática) Negación por falla Cuadro de oposición de los juicios Oposición binaria Horn, Laurence R (2001).

In accordance with step 1, in order to prove that the sophisma "All men are donkeys or men and donkeys are donkeys" is false then it should be looked at as a logical disjunctions sentence.
De acuerdo con el paso 1, para probar que el sofisma "Todos los hombres son burros o los hombres y los burros son burros" es falso, entonces debe considerarse como una oración de disyunciones lógicas.

In propositional logic, disjunction elimination (sometimes named proof by cases, case analysis, or or elimination), is the valid argument form and rule of inference that allows one to eliminate a disjunctive statement from a logical proof.
En lógica proposicional, la eliminación de la disyunción (a veces llamada prueba por casos o análisis de casos), es una forma de argumento válido y regla de inferencia que permite la eliminación de un argumento disjunctivo de una prueba lógica.

For example, if P is the proposition: Socrates is mortal. then the law of excluded middle holds that the logical disjunction: Either Socrates is mortal, or it is not the case that Socrates is mortal. is true by virtue of its form alone.
Veamos un ejemplo que nos servirá para entender el Principio del tercero excluido: Dada la siguiente proposición, p: Sócrates es mortal. entonces con Principio del tercero excluido, tenemos que Sócrates es mortal, o Sócrates no es mortal Una de las dos afirmaciones debe ser por tanto cierta.

The rule makes it possible to introduce disjunctions to logical proofs.
La regla hace posible la introducción de disyunciones de pruebas lógicas.

Addition took the form of the operation known in logic as XOR (exclusive disjunction).
La adición tomaba la forma de la operación conocida en lógica como XOR (disyunción exclusiva).

Before a rule is introduced, however, we must consider the meaning of a disjunction in logic.
Antes de introducir una regla conviene, sin embargo, considerar el significado de una disjunción en Lógica.

She looked at when children become able to use a logical principle called the disjunctive syllogism.
Consideró cuándo son capaces los niños de usar un principio lógico denominado silogismo disyuntivo.

Every formula of sentential logic has an equivalent disjunctive normal form.
Toda fórmula de la lógica sentencial tiene una forma normal disyuntiva equivalente.

In classical logic and some varieties of many-valued logic, conjunction and disjunction are dual, and negation is self-dual, the latter is also self-dual in intuitionistic logic.
En lógica clásica y algunas variedades de lógica multi-valuada, la conjunción y la disyunción son duales, y la negación es auto-dual, en la lógica intuicionista, esta última también es auto-dual.

For example, description logics usually lack negation and disjunction.
Por ejemplo, la lógica descriptiva por lo general carece de negación y disyunción.

The implication operator is also treated differently in intuitionistic logic than classical logic; in intuitionistic logic, it is not definable using disjunction and negation.
La implicción también recibe un tratamiento en lógica intuicionista que en la lógica clásica; en lógica intuicionista, no es definible usando la negación y la disyunción.

All logical formulas can be converted into an equivalent disjunctive normal form.
Todas las fórmulas lógicas se pueden convertir en forma normal disyuntiva.

As a matter of (formal) logic, ‘or’ is normally understood as a(n) (inclusive) disjunction.
Desde el punto de vista lógico (formal), la conjunción disyuntiva «o» normalmente se entiende en sentido inclusivo.

Alternate Problem: The whole of elementary logic can be written with the sole use of negation and disjunction.
Toda la lógica elemental puede escribirse sin usar más que la negación y la disyunción.