-
1 biconditional statement
-
2 biconditional statement
1) Математика: биусловное высказывание2) Вычислительная техника: оператор эквивалентностиУниверсальный англо-русский словарь > biconditional statement
-
3 biconditional statement
English-Russian dictionary of computer science and programming > biconditional statement
-
4 biconditional statement
English-Russian scientific dictionary > biconditional statement
-
5 statement
1) утверждение; высказывание; формулировка2) оператор; предложение3) предписание ( КОБОЛ)4) постановка ( задачи)•- abort statement
- accept statement
- access statement
- action statement
- arbitrary statement
- arithmetical statement
- arithmetic statement
- assembly-control statement
- assert statement
- assigned statement - basic statement
- biconditional statement
- blank statement
- branch statement
- break statement
- case statement
- code statement
- command statement
- comment statement
- communication statement
- compile time statement
- composite statement
- compound statement
- computed statement
- conditional GO TO statement
- conditional statement
- consistent statements
- control statement
- counter statement
- data definition statement
- data initialization statement
- data manipulation statement
- data statement
- data-formatting statement
- DD-statement
- debugging statement
- declarative statement
- define constant statement
- define file statement
- define storage statement
- delay statement
- delimiter statement
- destination statement
- dimension statement
- display statement
- DO statement
- do statement
- dummy statement
- editing statement
- edit statement
- end-of-file statement
- examine statement
- exceptional control statement
- executable statement
- execute statement
- exit statement
- expression statement
- external statement
- false statement
- for statement
- format statement
- formatted statement
- function statement
- GO TO statement
- high level statement
- if statement
- imperative statement
- inconsistent statements
- initiate statement
- input/output statement
- instruction statement
- iterative statement
- job control statement
- job statement - loop statement
- macro prototype statement
- model statement
- molecular statement
- move statement
- nonarithmetic statement
- nonexecutable statement
- note statement
- null statement
- ON statement
- perform statement
- postrun statement
- print statement
- problem statement
- program statement
- protocol statement
- prototype statement
- read statement
- repeat statement
- repetitive statement
- return statement
- rewind statement
- select statement
- select wait statement
- sensor statement
- simple statement
- source statement
- specification statement
- substitution statement
- switch statement
- telecommunications statement
- terminal statement
- test statement
- total source statement
- trace statement
- transfer-of-control statement
- true statement
- unconditional statement
- unlabeled statement
- while statement
- write statementEnglish-Russian dictionary of computer science and programming > statement
-
6 statement
1) высказывание; утверждение2) предложение3) констатация4) описание5) положение6) постановка ( задачи)7) формулировка8) отчёт; бюллетень9) мат. оператор•- truth statementneither statement is true — ни то, ни другое утверждение неверно
-
7 оператор эквивалентности
Большой англо-русский и русско-английский словарь > оператор эквивалентности
-
8 биусловное высказывание
мат. biconditional proposition, biconditional statementБольшой англо-русский и русско-английский словарь > биусловное высказывание
См. также в других словарях:
biconditional — |bī+ noun Etymology: bi (I) + conditional 1. : a statement of a relation between a pair of propositions such that one is true only if the other is simultaneously true, or false if the other is simultaneously false 2. : the symbolic representation … Useful english dictionary
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
Transposition (logic) — In the methods of deductive reasoning in classical logic, transposition is the rule of inference that permits one to infer from the truth of A implies B the truth of Not B implies not A , and conversely . [Brody, Bobuch A. Glossary of Logical… … Wikipedia
If and only if — Iff redirects here. For other uses, see IFF (disambiguation). ↔ ⇔ ≡ Logical symbols representing iff. In logic and related fields such as mathematics and philosophy, if and only if (shortened iff) is a biconditional logical connective between… … 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
Contraposition — For contraposition in the field of traditional logic, see Contraposition (traditional logic). For contraposition in the field of symbolic logic, see Transposition (logic). Contraposition is a logical relationship between two propositions, or… … Wikipedia
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia
Outline of logic — The following outline is provided as an overview of and topical guide to logic: Logic – formal science of using reason, considered a branch of both philosophy and mathematics. Logic investigates and classifies the structure of statements and… … Wikipedia
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
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
Fitch-style calculus — is a method for constructing formal proofs used in first order logic. It was invented by American logician Frederic Brenton Fitch. Fitch style proofs involve the atomic sentences of first order logic, which are arranged in premises, lemmas, and… … Wikipedia
