PROPOSITIONAL LOGIC

Meaning of PROPOSITIONAL LOGIC in English

< logic > (or "propositional calculus") A system of symbolic logic using symbols to stand for whole propositions and logical connectives . Propositional logic only considers whether a proposition is true or false. In contrast to predicate logic , it does not consider the internal structure of propositions.

(2002-05-21)

FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012

PROPOSITIONAL LOGIC — логика высказываний
Большой Англо-Русский словарь
PROPOSITIONAL LOGIC — логика высказываний
Англо-Русский научно-технический словарь
PROPOSITIONAL LOGIC — логика высказываний
Новый большой Англо-Русский словарь
PROPOSITIONAL — adjective see: proposition
Толковый словарь английского языка - Merriam Webster
PROPOSITIONAL — [c mediumvioletred] (as used in expressions) propositional attitude propositional calculus propositional function
Английский словарь Британика
LOGIC — I Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Английский словарь Британика
LOGIC — I. ˈläjik, -jēk noun ( -s ) Etymology: Middle English logik, from Middle French logique, from Latin logica, from Greek …
Webster's New International English Dictionary
PROPOSITIONAL — | ̷ ̷ ̷ ̷|zishən ə l, -shnəl adjective : of, relating to, or resembling a proposition these poems are sometimes too thinly propositional …
Webster's New International English Dictionary
PROPOSITIONAL — (a.) Pertaining to, or in the nature of, a proposition; considered as a proposition; as, a propositional sense.
Английский словарь Webster
PROPOSITIONAL — ( a. ) Pertaining to, or in the nature of, a proposition; considered as a proposition; as, a propositional sense.
Webster's Revised Unabridged English Dictionary
LOGIC — — logicless , adj. /loj"ik/ , n. 1. the science that investigates the principles governing correct or reliable inference. 2. …
Random House Webster's Unabridged English Dictionary
PROPOSITIONAL — adj. of a proposal, of a suggestion; of a mathematical proposition
Толковый словарь английского языка - Редакция bed
PROPOSITIONAL — see proposition I
Merriam-Webster's Collegiate English vocabulary
LOGIC — noun Etymology: Middle English logik, from Anglo-French, from Latin logica, from Greek logikē, from feminine of logikos of reason, from …
Merriam-Webster's Collegiate English vocabulary
PROPOSITIONAL — adj pertaining to, or in the nature of, a proposition; considered as a proposition; as, a propositional sense.
Webster English vocab
LOGIC — the study of propositions and their use in argumentation. The major task of logic is to establish a systematic way …
Britannica English vocabulary
PROPOSITIONAL — propositional BrE AmE ˌprɒp ə ˈzɪʃ ə n‿ ə l ◂ AmE \ ˌprɑːp- ▷ propositional|ly i
Longman Pronunciation English Dictionary
PROPOSITIONAL — ➡ proposition
Oxford Advanced Learner's English Dictionary
LOGIC — / ˈlɒdʒɪk; NAmE ˈlɑːdʒɪk/ noun 1. [ U ] a way of thinking or explaining sth : I fail to …
Oxford Advanced Learner's English Dictionary
PROPOSITIONAL — See main entry: ↑ proposition
Longman Dictionary of Contemporary English
LOGIC — lo ‧ gic /ˈlɒdʒɪk $ ˈlɑː-/ BrE AmE noun [ Word Family: noun : ↑ logic ; adverb : ↑ …
Longman Dictionary of Contemporary English
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Английский основной разговорный словарь
LOGIC — n. 1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. …
Concise Oxford English Dictionary
LOGIC — n.1 a the science of reasoning, proof, thinking, or inference. b a particular scheme of or treatise on this. 2 …
Oxford English vocab
LOGIC — 1. Logic is a method of reasoning that involves a series of statements, each of which must be true if …
Collins COBUILD Advanced Learner's English Dictionary
LOGIC — noun COLLOCATIONS FROM OTHER ENTRIES Boolean logic ▪ The program searches for information using Boolean logic . fuzzy logic logic …
Longman DOCE5 Extras English vocabulary
PROPOSITIONAL — adj. propositional attitude propositional calculus propositional function
Britannica Concise Encyclopedia
LOGIC — n. deontic logic fuzzy logic logic design logic many valued logic philosophy of modal logic
Britannica Concise Encyclopedia
LOGIC — n. Study of inference and argument. Inferences are rule-governed steps from one or more propositions, known as premises, to another …
Britannica Concise Encyclopedia
LOGIC — Synonyms and related words : Aristotelian logic, Boolean algebra, Ramistic logic, admissibility, aesthetics, algebra of classes, algebra of relations, axiology, …
Moby Thesaurus English vocabulary
LOGIC — propositional logic quantifier paradox OR Charme first-order logic complete theory complete inference system complement sound temporal logic inference converse AND …
FOLDOC Computer English Dictionary
LOGIC — 1. < philosophy , mathematics > A branch of philosophy and mathematics that deals with the formal principles, methods and …
FOLDOC Computer English Dictionary
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Большой Англо-Русский словарь
LOGIC — logic.ogg ʹlɒdʒık n 1. 1> логика ( наука ) 2> логика, логичность ( аргументации и т. п. ); разумность; закономерность …
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air …
Большой Англо-Русский политехнический словарь
LOGIC — 1) (математическая) логика 2) логика, логические схемы; логическая схема 3) логический узел; логическое устройство • - active logic - air logic - arbitration logic - array logic - …
Большой Англо-Русский политехнический словарь - РУССО
PROPOSITIONAL — пропозициональный alphabet of propositional calculus — алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus — классическое исчисление высказываний, классическое пропозициональное исчисление classical …
Англо-Русский научно-технический словарь
LOGIC — 1) логика 2) логический 3) словный • association of symbolic logic — ассоциация символической логики classical propositional logic — классическая логика высказываний countably complete logic — …
Англо-Русский научно-технический словарь
PROPOSITIONAL — пропозициональный
Англо-Русский словарь Tiger
LOGIC — logic сущ.логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь Tiger
PROPOSITIONAL — (a) пропозициональный
English-Russian Lingvistica'98 dictionary
PROPOSITIONAL — adj. в качестве предложения
English-Russian-dictionary - Bed release
PROPOSITIONAL — adj. в качестве предложения
English-Russian-dictionary - Bed release
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. …
Англо-Русский словарь по общей лексике
LOGIC — сущ. логика to apply, use logic — применять логику There is no logic in their policy. — Их политика нелогична. clear logic — четкая …
Англо-Русский словарь общей лексики
LOGIC — 1) логика 2) логическая схема, логические схемы 3) логический блок или узел ( ЭВМ ) , логическая часть • - …
Англо-Русский словарь по машиностроению и автоматизации производства 2
LOGIC — 1) логика 2) логическая схема, логические схемы 3) логический блок или узел (ЭВМ), логическая часть • - check surface logic - diode logic - direction logic - …
Англо-Русский словарь по машиностроению и автоматизации производства
LOGIC — 1) логика 2) логическая часть, логический узел (ЭВМ) 3) логическая схема; логические схемы, логика • - action logic - adaptive logic - address-comparison logic - address-recognition logic - …
Англо-Русский словарь по вычислительной технике и программированию
LOGIC — логика; логическая схема - diode logic - diode-capacitor-transistor logic - diode-transistor logic - emitter-coupled logic - RCT logic - Schottky transistor-transistor logic - Schottky-diode FET logic - transistor-transistor …
Англо-Русский словарь по телекоммуникациям
LOGIC — логика логические схемы (устройства) см. algorithm logic см. encryption logic см. fuzzy logic см. malicious logic см. non-linear logic см. …
Англо-Русский словарь компьютерной безопасности
PROPOSITIONAL — пропозициональный alphabet of propositional calculus ≈ алфавит исчисления высказываний, алфавит нулевого порядка classical propositional calculus ≈ классическое исчисление высказываний, классическое …
Новый большой Англо-Русский словарь
LOGIC — сущ. логика to apply, use logic ≈ применять логику There is no logic in their policy. ≈ Их политика нелогична. …
Новый большой Англо-Русский словарь
PROPOSITIONAL — пропозициональный
Англо-Русский словарь
PROPOSITIONAL CALCULUS — As opposed to the predicate calculus , the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic …
Английский словарь Британика
PROPOSITIONAL FUNCTION — in logic, a statement expressed in a form that would take on a value of true or false were it …
Britannica English vocabulary
PROPOSITIONAL CALCULUS — also called Sentential Calculus, in logic, symbolic system of treating compound and complex propositions and their logical relationships. As opposed …
Britannica English vocabulary
PROPOSITIONAL CALCULUS — Formal system of propositions and their logical relationships. As opposed to the predicate calculus , the propositional calculus employs simple, …
Britannica Concise Encyclopedia
TYPES, THEORY OF — In logic , a theory introduced by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (1910–13) to deal …
Английский словарь Британика
THOUGHT, LAWS OF — traditionally, the three fundamental laws of logic: (1) the law of contradiction, (2) the law of excluded middle (or third), …
Britannica English vocabulary
TAUTOLOGY — in logic, a statement so framed that it cannot be denied without inconsistency. Thus, All men are rational is held …
Britannica English vocabulary
PREDICATE CALCULUS — also called Logic Of Quantifiers, that part of modern formal or symbolic logic which systematically exhibits the logical relations between …
Britannica English vocabulary
TYPES, THEORY OF — In logic , a theory introduced by Bertrand Russell and Alfred North Whitehead in their Principia Mathematica (191013) to deal …
Britannica Concise Encyclopedia
CALCULUS — исчисление predicate calculus with generalization — исчисление предикатов с обобщением predicate calculus with identity — исчисление предикатов единицей predicate calculus without identity — …
Англо-Русский научно-технический словарь

FOLDOC Computer English Dictionary

← PROPOSITIONAL CALCULUS PROPRIETARY→