- logical connective
- логическая функция;
логическая связка
Большой англо-русский и русско-английский словарь. 2001.
logical connective
Смотреть что такое "logical connective" в других словарях:
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
logical connective — loginė funkcija statusas T sritis automatika atitikmenys: angl. logical connective; logical function vok. Logikfunktion, f; logische Funktion, f; logische Verknüpfung, f rus. логическая связка, f; логическая функция, f pranc. fonction logique, f … Automatikos terminų žodynas
Logical harmony — Logical harmony, a name coined by Sir Michael Dummett, is a supposed constraint on the rules of inference that can be used in a given logical system.The logician Gerhard Gentzen proposed that the meanings of logical connectives could be given by… … Wikipedia
Connective — may be referring to: Bains::connective Logical connective Connective tissue Discourse connective, in linguistics, a word or phrase like therefore or in other words . See also Connection (disambiguation) This disambiguation page lists articl … Wikipedia
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 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 biconditional — In logic and mathematics, the logical biconditional (sometimes known as the material biconditional) is the logical connective of two statements asserting p if and only if q , where q is a hypothesis (or antecedent) and p is a conclusion (or… … Wikipedia
logical function — loginė funkcija statusas T sritis automatika atitikmenys: angl. logical connective; logical function vok. Logikfunktion, f; logische Funktion, f; logische Verknüpfung, f rus. логическая связка, f; логическая функция, f pranc. fonction logique, f … Automatikos terminų žodynas
Logical implication — In logic and mathematics, logical implication is a logical relation that holds between a set T of formulae and a formula B when every model (or interpretation or valuation) of T is also a model of B . In symbols,# T models B, # T Rightarrow B # T … Wikipedia
connective — connectively, adv. connectivity /kon ek tiv i tee/, n. /keuh nek tiv/, adj. 1. serving or tending to connect: connective remarks between chapters. n. 2. something that connects. 3. Gram. a word used to connect words, phrases, clauses, and… … Universalium
connective — In formal logic a connective is an element of a sentence that joins parts in such a way that the logical properties of the whole are a defined function of the logical properties of the parts. The most familiar connectives are those expressing the … Philosophy dictionary
