logical proof oor Spaans

logical proof

naamwoord

proof of a logical theorem

Vertalings in die woordeboek Engels - Spaans

demostración

naamwoord vroulike

prueba lógica

naamwoord

voorbeelde

(1116.7) 101:10.6 Never can there be either scientific or logical proofs of divinity.
(1116.7) 101:10.6 Nunca podrá haber pruebas científicas o lógicas de la divinidad.

What did that logical proof include?
¿Qué suponía esa prueba lógica?

The rules allow one to move parentheses in logical expressions in logical proofs.
Estas reglas permiten mover los paréntesis en expresiones lógicas usadas en pruebas lógicas.

Without logical proof, we don’t know that history is going to repeat itself.
Sin una evidencia lógica, no sabemos que la historia va a repetirse.

Pythagoras’s disciples set up new schools and taught their students the method of logical proof.
Los discípulos de Pitágoras crearon nuevas escuelas y enseñaron a sus alumnos el método de la demostración lógica.

That means you get off on logic, proof.
O sea que disfrutas la lógica, las pruebas.

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

For example, in symbolic logic and mathematical logic, proofs by humans can be computer-assisted.
Por ejemplo, en lógica simbólica y lógica matemática, las pruebas de los seres humanos pueden ser asistidos por computadoras.

His step-by-step logical proof established that no other numbers could fulfil this criterion.
Su demostración, razonada paso a paso, estableció que ningún otro número podría satisfacer este requisito.

Within the context of a logical proof, logically equivalent expressions may replace each other.
En el contexto de una prueba lógica, expresiones lógicamente equivalentes pueden sustituirse unas por otras.

A logical proof is only possible if every cause that affects an event is known.
Una demostración lógica es solamente posible si se conocen todas las causas que afectan a un evento.

The rule makes it possible to introduce a biconditional statement into a logical proof.
En otras palabras, esta regla permite introducir un enunciado bicondicional en una prueba lógica.

Mathematical truths are established by logical proof and are extremely neat and clean.
Las verdades matemáticas se establecen mediante demostraciones lógicas y son extremadamente claras y nítidas.

We had our first introduction, in informal terms, to logical proof.
Tuvimos nuestra primera introducción, en términos informales, a la prueba lógica.

Instead of logical proof we bring before you many witnesses from among yourselves ...
En lugar de pruebas lógicas, les traemos muchos testigos de entre ustedes ...

We can express a logical proof in words.
Podemos expresar una prueba lógica con palabras.

It’s not any kind of logical proof, is it?
No es ningún tipo de demostración lógica, ¿verdad?

Pitkin proposed to clear up the space-time conundrum by means of logical proof.
Pitkin proponía resolver el enigma del espacio-tiempo mediante pruebas lógicas.

This, I think, is sound reasoning, but it does not amount to a logical proof of the statement.
Esto, creo, es un razonamiento sólido, pero no equivale a una prueba lógica de la proposición.

Pythagoras’ disciples set up new schools and taught their students the method of logical proof.
Los discípulos de Pitágoras crearon nuevas escuelas y enseñaron a sus alumnos el método de la demostración lógica.

They also set standards of logical proof that were not surpassed for millennia.
También fijaron cánones de demostración lógica que no fueron superados durante milenios.

The rule makes it possible to introduce a conjunction into a logical proof.
La regla hace posible la introducción de una conjunción en una demostración lógica.

While recognising the primary importance of logical proof, Gauss also illustrates many theorems with numerical examples.
Aun reconociendo la importancia fundamental de las demostraciones lógicas, Gauss también ilustra muchos teoremas con ejemplos numéricos.

Outside of cybernetics, we look for explanation, but not for anything which would simulate logical proof.
Fuera de la cibernética, buscamos explicaciones, pero no algo que simule una prueba lógica.

But it was always only a vague consciousness, unsupported by logical proof.
Pero siempre era una conciencia vaga, no basada en pruebas lógicas.