In intuitionistic logic, it is not true that every formula is logically equivalent to a prenex formula.
The hostname is the name of a host which is logically equivalent to the local host.
Categorical statements are logically equivalent to their obverse.
Those two things are not logically equivalent.
Consequently, the two diverse statements that refer to this relationship are logically equivalent.
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.
Your friend has been telling everyone that all tautologies are logically equivalent to each other.
Tu amigo a estado diciendo a todo el mundo que todas las tautológias son lógicamente equivalentes entre sí.
In logic, statements p and q are logically equivalent if they have the same logical content.
En lógica, las declaraciones p y q son lógicamente equivalentes si tienen el mismo contenido lógico.
This statement is said to be contraposed to the original and is logically equivalent to it.
Esta sentencia se dice que es contrapuesta con relación a la original y las dos son lógicamente equivalentes.
If two propositions are logically equivalent, what can be said about their truth tables?
Si dos proposiciones son lógicamente equivalentes, ¿qué puedes decir de sus tabla de verdad?
In some logical calculi (notably, in classical logic) certain essentially different compound statements are logically equivalent.
En algunos cálculos lógicos (en particular, en la lógica clásica, ciertas afirmaciones compuestas esencialmente diferentes son lógicamente equivalentes.
A tautological equivalence has the form A B, where A and B are (possibly compounbd) statements that are logically equivalent.
Una equivalencia tautológica tiene la forma A B, donde A y B son (posiblemente compuestas) proposiciones lógicamente equivalentes.
There are a number of immediate inferences which can validly be made using logical operations, the result of which is a logically equivalent statement form to the given statement.
Hay varias inferencias inmediatas que se pueden utilizar de forma válida en las operaciones lógicas, el resultado de estas es la forma de afirmación lógicamente equivalente a la afirmación dada.