DICLIB.COM
Herramientas lingüísticas IA

Todas las herramientas Suscripción Contáctenos

Ingrese una palabra o frase en cualquier idioma 👆

Idioma:

Traducción y análisis de palabras por inteligencia artificial

En esta página puede obtener un análisis detallado de una palabra o frase, producido utilizando la mejor tecnología de inteligencia artificial hasta la fecha:

cómo se usa la palabra
frecuencia de uso
se utiliza con más frecuencia en el habla oral o escrita
opciones de traducción
ejemplos de uso (varias frases con traducción)
etimología

Qué (quién) es logic, double-rail - definición

THEOREM

Double negative elimination; Negative elimination; Double negation elimination; Double negative introduction; Double negation introduction; Law of double negation; ¬¬; Logical double negation (logic); Double-negation elimination

RAIL

WIKIMEDIA DISAMBIGUATION PAGE

Rail (disambiguation); RAIL; Rails (disambiguation); RAIL (disambiguation); Rail (film); Rails

<robotics> Automatix. High-level language for industrial robots. (2006-11-10)

Rail

WIKIMEDIA DISAMBIGUATION PAGE

Rail (disambiguation); RAIL; Rails (disambiguation); RAIL (disambiguation); Rail (film); Rails

·vt To rail at.

II. Rail ·vt To range in a line.

III. Rail ·vt To move or influence by railing.

IV. Rail ·vt To inclose with rails or a railing.

V. Rail ·noun An outer cloak or covering; a neckerchief for women.

VI. Rail ·noun The stout, narrow plank that forms the top of the bulwarks.

VII. Rail ·vi To flow forth; to roll out; to Course.

VIII. Rail ·noun A horizontal piece in a frame or paneling. ·see ·Illust. of Style.

IX. Rail ·add. ·noun A railroad as a means of transportation; as, to go by rail; a place not accesible by rail.

X. Rail ·noun The light, fencelike structures of wood or metal at the break of the deck, and elsewhere where such protection is needed.

XI. Rail ·vi To use insolent and reproachful language; to utter reproaches; to Scoff;

- followed by at or against, formerly by on.

XII. Rail ·noun A bar of timber or metal, usually horizontal or nearly so, extending from one post or support to another, as in fences, balustrades, staircases, ·etc.

XIII. Rail ·v Any one of numerous species of limicoline birds of the family Rallidae, especially those of the genus Rallus, and of closely allied genera. They are prized as game birds.

XIV. Rail ·noun A bar of steel or iron, forming part of the track on which the wheels roll. It is usually shaped with reference to vertical strength, and is held in place by chairs, splices, ·etc.

rails

WIKIMEDIA DISAMBIGUATION PAGE

Rail (disambiguation); RAIL; Rails (disambiguation); RAIL (disambiguation); Rail (film); Rails

n.

1) to go off, jump the rails

2) to ride the rails (see rod5)

Wikipedia

Double negation

In propositional logic, double negation is the theorem that states that "If a statement is true, then it is not the case that the statement is not true." This is expressed by saying that a proposition A is logically equivalent to not (not-A), or by the formula A ≡ ~(~A) where the sign ≡ expresses logical equivalence and the sign ~ expresses negation.

Like the law of the excluded middle, this principle is considered to be a law of thought in classical logic, but it is disallowed by intuitionistic logic. The principle was stated as a theorem of propositional logic by Russell and Whitehead in Principia Mathematica as:

\mathbf {*4\cdot 13} .\ \ \vdash .\ p\ \equiv \ \thicksim (\thicksim p)

"This is the principle of double negation, i.e. a proposition is equivalent of the falsehood of its negation."

https://en.wikipedia.org/wiki/Double negation