- connectives
- Связки
Большой англо-русский и русско-английский словарь. 2001.
connectives
Смотреть что такое "connectives" в других словарях:
connectives — con nec·tive || ktɪv adj. serving to join or link n. link, connection; connective word, word which joins … English contemporary dictionary
circumesophageal connectives — The nerve strand connectives on each side of the esophagus connecting the superesophageal ganglia and subesophageal ganglia of arthropods, annelids and brachiopods; circumoesophageal connectives … Dictionary of invertebrate zoology
circumpharyngeal commissures — (connectives) (ANNELIDA: Oligochaeta) The two parts of the nerve collar surrounding the esophagus and linking the ventral nerve cord with the cerebral ganglia … Dictionary of invertebrate zoology
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
Functional completeness — In logic, a functionally complete set of logical connectives or Boolean operators is one which can be used to express all possible truth tables by combining members of the set into a Boolean expression.[1][2] A well known complete set of… … Wikipedia
T-norm fuzzy logics — are a family of non classical logics, informally delimited by having a semantics which takes the real unit interval [0, 1] for the system of truth values and functions called t norms for permissible interpretations of conjunction. They are mainly … Wikipedia
Interpretation (logic) — An interpretation is an assignment of meaning to the symbols of a formal language. Many formal languages used in mathematics, logic, and theoretical computer science are defined in solely syntactic terms, and as such do not have any meaning until … Wikipedia
First-order logic — is a formal logical system used in mathematics, philosophy, linguistics, and computer science. It goes by many names, including: first order predicate calculus, the lower predicate calculus, quantification theory, and predicate logic (a less… … Wikipedia
Linear logic — In mathematical logic, linear logic is a type of substructural logic that denies the structural rules of weakening and contraction . The interpretation is of hypotheses as resources : every hypothesis must be consumed exactly once in a proof.… … Wikipedia
Propositional formula — In propositional logic, a propositional formula is a type of syntactic formula which is well formed and has a truth value. If the values of all variables in a propositional formula are given, it determines a unique truth value. A propositional… … Wikipedia
Intuitionistic logic — Intuitionistic logic, or constructive logic, is a symbolic logic system differing from classical logic in its definition of the meaning of a statement being true. In classical logic, all well formed statements are assumed to be either true or… … Wikipedia
