-
81 алгебра высказываний
1) Mathematics: algebra of propositions (то же "алгебра логики"(algebra of logic))2) Information technology: prepositional algebra, propositional algebraУниверсальный русско-английский словарь > алгебра высказываний
-
82 алфавит исчисления высказываний
Mathematics: alphabet of propositional calculusУниверсальный русско-английский словарь > алфавит исчисления высказываний
-
83 алфавит нулевого порядка
Mathematics: alphabet of propositional calculusУниверсальный русско-английский словарь > алфавит нулевого порядка
-
84 волитивные пропозициональные установки (говорящего)
Linguistics: volitive propositional attitudesУниверсальный русско-английский словарь > волитивные пропозициональные установки (говорящего)
-
85 двузначное исчисление высказываний
Mathematics: two-valued propositional calculus (классическое)Универсальный русско-английский словарь > двузначное исчисление высказываний
-
86 двузначное пропозициональное исчисление
Mathematics: two-valued propositional calculus (классическое)Универсальный русско-английский словарь > двузначное пропозициональное исчисление
-
87 иерархия высказываний
Information technology: prepositional hierarchy, propositional hierarchyУниверсальный русско-английский словарь > иерархия высказываний
-
88 импликация высказываний
Mathematics: propositional implicationУниверсальный русско-английский словарь > импликация высказываний
-
89 интуиционистская пропозициональная тавтология
Mathematics: intuitionistic propositional tautologyУниверсальный русско-английский словарь > интуиционистская пропозициональная тавтология
-
90 исходная пропозициональная постоянная
Mathematics: primitive propositional constantУниверсальный русско-английский словарь > исходная пропозициональная постоянная
-
91 исчисления высказываний
Mathematics: propositional calculusУниверсальный русско-английский словарь > исчисления высказываний
-
92 классическое исчисление высказываний
Mathematics: classical propositional calculusУниверсальный русско-английский словарь > классическое исчисление высказываний
-
93 классическое пропозициональное исчисление
Mathematics: classical propositional calculusУниверсальный русско-английский словарь > классическое пропозициональное исчисление
-
94 конструктивное исчисление высказываний
Mathematics: constructive propositional calculusУниверсальный русско-английский словарь > конструктивное исчисление высказываний
-
95 конструктивное пропозициональное исчисление
Mathematics: constructive propositional calculusУниверсальный русско-английский словарь > конструктивное пропозициональное исчисление
-
96 логика высказываний
1) Engineering: propositional logic2) Linguistics: prepositional logic3) Information technology: assertion-level logicУниверсальный русско-английский словарь > логика высказываний
-
97 логическая связка
1) Mathematics: propositional functor2) Linguistics: structural constant3) Information technology: connective, logical connective4) Programming: logic connective -
98 минимальное исчисление высказываний
Mathematics: minimal propositional calculusУниверсальный русско-английский словарь > минимальное исчисление высказываний
-
99 минимальное пропозициональное исчисление
Mathematics: minimal propositional calculusУниверсальный русско-английский словарь > минимальное пропозициональное исчисление
-
100 многозначное исчисление высказываний
Mathematics: multivalued propositional calculusУниверсальный русско-английский словарь > многозначное исчисление высказываний
См. также в других словарях:
Propositional — Prop o*si tion*al, a. Pertaining to, or in the nature of, a proposition; considered as a proposition; as, a propositional sense. I. Watts. [1913 Webster] … The Collaborative International Dictionary of English
propositional — calculus … Philosophy dictionary
propositional — index apparent (presumptive) Burton s Legal Thesaurus. William C. Burton. 2006 … Law dictionary
propositional — See proposition. * * * (as used in expressions) propositional attitude propositional calculus propositional function * * * … Universalium
propositional — proposition ► NOUN 1) a statement expressing a judgement or opinion. 2) a proposed scheme or plan. 3) informal an offer of sexual intercourse. 4) a matter or person to be dealt with: it s a tough proposition. 5) Mathematics a formal statement of… … English terms dictionary
propositional function — n. Logic an expression containing at least one variable, that becomes a proposition when a constant is substituted for the variable (Ex.: x is a man) … English World dictionary
propositional attitude — noun (philosophy) The attitude adopted by a person towards a proposition • • • Main Entry: ↑proposition … Useful english dictionary
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
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
Propositional variable — In mathematical logic, a propositional variable (also called a sentential variable or sentential letter) is a variable which can either be true or false. Propositional variables are the basic building blocks of propositional formulas, used in… … Wikipedia
Propositional attitude — A propositional attitude is a relational mental state connecting a person to a proposition. They are often assumed to be the simplest components of thought and can express meanings or content that can be true or false. In being a type of attitude … Wikipedia