propositional calculus

Noun

Meaning

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

Source: WordNet

Synonyms

propositional logic logic dialectic Boolean algebra dialectics formal logic FOL predicate calculus classical logic first-order logic logical connective logical calculus logic symbol connective symbol first-order formalism
Show all synonyms

Hypernyms

formal logic mathematical logic symbolic logic

Examples

Alternative calculus It is possible to define another version of propositional calculus, which defines most of the syntax of the logical operators by means of axioms, and which uses only one inference rule. Source: Internet

A particular advantage of Kleene's tabular natural deduction systems is that he proves the validity of the inference rules for both propositional calculus and predicate calculus. Source: Internet

Basic concepts The following outlines a standard propositional calculus. Source: Internet

Argument The propositional calculus then defines an argument to be a set of propositions. Source: Internet

Basic and derived argument forms Proofs in propositional calculus One of the main uses of a propositional calculus, when interpreted for logical applications, is to determine relations of logical equivalence between propositional formulas. Source: Internet

In that year, Hermann Grassmann introduced the idea of a geometrical algebra in full generality as a certain calculus (analogous to the propositional calculus ) that encoded all of the geometrical information of a space. Source: Internet

Close letter words and terms

proposition player propositional propositional attitude propositional connective propositional constant propositional expression