[loj-i-kuh l] /ˈlɒdʒ ɪ kəl/
according to or agreeing with the principles of :
a logical inference.
reasoning in accordance with the principles of , as a person or the mind:
reasonable; to be expected:
War was the logical consequence of such threats.
of or relating to .
relating to, used in, or characteristic of logic
using, according to, or deduced from the principles of logic: a logical conclusion
capable of or characterized by clear or valid reasoning
reasonable or necessary because of facts, events, etc: the logical candidate
(computing) of, performed by, used in, or relating to the logic circuits in a computer
early 15c., “based on reason,” from logic + -al (1). Meaning “pertaining to logic” is c.1500. Attested from 1860 as “following as a reasonable consequence.” Related: Logically.
noun 1. . noun 1. (computing) an operation involving the use of logical functions, such as and or or, that are applied to the input signals of a particular logic circuit logical operation (lŏj’ĭ-kəl) A function on binary variables whose output is also a binary variable. Logical operations are the function of logic gates in […]
noun, Computers. 1. any of the Boolean symbols or functions, as AND, OR, and NOT, denoting a ; Boolean operator. logical operator also logic operator A symbol, as in a programming language, or a function that denotes a logical operation.
noun 1. a philosophical movement that stresses the function of philosophy as a method of criticizing and analyzing science and that rejects all transcendental metaphysics, statements of fact being held to be meaningful only if they have verifiable consequences in experience and in statements of logic, mathematics, or philosophy itself, and with such statements of […]
- Logical relation
A relation R satisfying f R g For all a, b, a R b => f a R g b This definition, by Plotkin, can be used to extend the definition of a relation on the types of a and b to a relation on functions.