logical operation

(redirected from Logical connective)
Also found in: Thesaurus, Encyclopedia, Wikipedia.
Related to Logical connective: logical operator

logical operation

also logic operation
n.
An instruction in which the quantity being operated on and the results of the operation can each have two values. Logical operations include AND, OR, NAND, XOR, and NOR.

logical operation

n
(Computer Science) 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
ThesaurusAntonymsRelated WordsSynonymsLegend:
Noun1.logical operation - an operation that follows the rules of symbolic logic
logic - the branch of philosophy that analyzes inference
operation - (computer science) data processing in which the result is completely specified by a rule (especially the processing that results from a single instruction); "it can perform millions of operations per second"
References in periodicals archive ?
the probability of choosing an argyle sock is 1/3 and the probability of choosing a sock with a hole is 1/2), students may develop an informal understanding of the logical connective and.
According to Sher's criterion, we ought to count this N as a logical connective, although we (and she
In this way, when we want to do the syntactic analysis of the FO formula, by each node corresponding to a logical connective or a quantifier, we will consider the boolean circuit structure that will generate such node, and consequently it will receive the appropriate weight and width.
It is unnatural, since it sometimes behaves like one familiar logical connective, sometimes like another.
2 Definition of Fuzzy and Neutrosophic Logical Connectives (Operations Logic):
An atomic proposition is one which does not include any logical connectives, such as 'and' or 'if .
The truth-functional logical connectives are literally functions.
the graphic, the sign-chart, and the logical connectives method.
Then the metaphysical issues contained in the logical connectives are "hidden" in the logical calculus and go unquestioned (91-92).
Sher's remarks about the truth-functional criterion for logical connectives are similarly irrelevant to my criticisms.
It covers the syntax and semantics of LORA, presents some derived logical connectives used in the remainder of the book, and establishes some properties of the logic.
There is also an interesting discussion of the nature of the logical connectives and intuitionist logic.