Adjective
Pertaining to, or in the nature of, a proposition; considered as a proposition; as, a propositional sense.
Source: Webster's dictionaryAlternative 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
A fundamental example is the use of Boolean algebras to represent truth values in classical propositional logic, and the use of Heyting algebras to represent truth values in intuitionistic propositional logic. Source: Internet
Basic concepts The following outlines a standard propositional calculus. Source: Internet
A very strong propositional hand – one that is more likely to win with a straight or a flush – is one of the hands that can be played for effect with an aggressive style. Source: Internet
Argument The propositional calculus then defines an argument to be a set of propositions. Source: Internet