propositional calculus

Английский Язык - Турецкий язык

Определение propositional calculus в Английский Язык Турецкий язык словарь

(Felsefe) Önermeli mantık

onermeler hesabi

Связанные Термины

propositional logic

(Felsefe) Önermeli mantık

Английский Язык - Английский Язык

Определение propositional calculus в Английский Язык Английский Язык словарь

propositional logic

(Felsefe) The branch of symbolic logic that uses symbols for unanalyzed propositions and logical connectives only ― called also sentential calculus

(Felsefe) A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them, propositional logic

The branch of symbolic logic that deals with the relationships formed between propositions by connectives such as and, or, and if as opposed to their internal structure. Formal system of propositions and their logical relationships. As opposed to the predicate calculus, the propositional calculus employs simple, unanalyzed propositions rather than predicates as its atomic units. Simple (atomic) propositions are denoted by lowercase Roman letters (e.g., p, q), and compound (molecular) propositions are formed using the standard symbols for "and," for "or," for "if . . . then," and for "not." As a formal system, the propositional calculus is concerned with determining which formulas (compound proposition forms) are provable from the axioms. Valid inferences among propositions are reflected by the provable formulas, because (for any formulas A and B) A B is provable if and only if B is a logical consequence of A. The propositional calculus is consistent in that there exists no formula A in it such that both A and A are provable. It is also complete in the sense that the addition of any unprovable formula as a new axiom would introduce a contradiction. Further, there exists an effective procedure for deciding whether a given formula is provable in the system. See also logic, predicate calculus, laws of thought

Связанные Термины

implicational propositional calculus

A minimalist version of propositional calculus which uses only the logical connectives \to ("implies") and \bot ("false")

Расстановка переносов

prop·o·si·tion·al cal·cu·lus