propositional logic

Thesaurus

Noun

propositional logic - a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate thempropositional calculusformal logic, mathematical logic, symbolic logic - any logical system that abstracts the form of statements away from their content in order to establish abstract criteria of consistency and validity

propositional logic

(logic)(or "propositional calculus") A system of symbolic logic using symbols to stand for whole propositions andlogical connectives. Propositional logic only considerswhether a proposition is true or false. In contrast topredicate logic, it does not consider the internal structureof propositions.

propositional logic

Related to propositional logic: Predicate logic, First order logic

noun

Synonyms for propositional logic

noun a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them

Synonyms

propositional calculus

Related Words

formal logic
mathematical logic
symbolic logic

随便看

英语词典包含2567994条英英释义在线翻译词条，基本涵盖了全部常用单词的英英翻译及用法，是英语学习的有利工具。