logical constant
Смотреть что такое "logical constant" в других словарях:
Logical constant — In symbolic logic, a logical constant of a language L is a symbol that has the same semantic value in all models of (the expressions of) L . Two important types of logical constants are logical connectives and quantifiers. The equality predicate… … Wikipedia
logical constant — loginė konstanta statusas T sritis automatika atitikmenys: angl. Boolean constant; logical constant vok. logische konstante, f rus. логическая константа, f pranc. constante logique, f … Automatikos terminų žodynas
Logical truth — is one of the most fundamental concepts in logic, and there are different theories on its nature. A logical truth is a statement which is true and remains true under all reinterpretations of its components other than its logical constants. It is… … Wikipedia
Constant — or The Constant may refer to: Contents 1 In Mathematics 2 Other concepts 3 People 4 Organization 5 … Wikipedia
Logical connective — This article is about connectives in classical logic. For connectors in natural languages, see discourse connective. For connectives and operators in other logics, see logical constant. For other logical symbols, see table of logic symbols. In… … Wikipedia
Constant — Con stant (k[o^]n stant), a. [L. onstans, antis, p. pr. of constare to stand firm, to be consistent; con + stare to stand: cf. F. constant. See {Stand} and cf. {Cost}, v. t.] 1. Firm; solid; fixed; immovable; opposed to {fluid}. [Obs.] [1913… … The Collaborative International Dictionary of English
Logical disjunction — Disjunction redirects here. For separation of chromosomes, see Meiosis. For disjunctions in distribution, see Disjunct distribution. Venn diagram of the logical disjunction of A and B … Wikipedia
Logical effort — The method of logical effort, a term coined by Ivan Sutherland and Robert Sproull in 1991, is a straightforward technique used to estimate delay in a CMOS circuit. Used properly, it can aid in selection of gates for a given function (including… … Wikipedia
Logical Intuitive Introvert — The Logical Intuitive Introvert, LII, INTj, the Analyst, Maximilien Robespierre, or types. The Logical Intuitive Introvert is a rational, introverted, static type whose leading functions are introverted logic and extroverted intuition.Model A Ego … Wikipedia
Logical matrix — A logical matrix, binary matrix, relation matrix, Boolean matrix, or (0,1) matrix is a matrix with entries from the Boolean domain B = {0, 1}. Such a matrix can be used to represent a binary relation between a pair of finite sets. Contents 1… … Wikipedia
constant — A term in a logical calculus to which any interpretation assigns a fixed meaning, unlike a variable or schematic letter … Philosophy dictionary
