Definify.com

Definition 2025

implicational_propositional_calculus

implicational propositional calculus

English

Noun

implicational propositional calculus ‎(uncountable)

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

Hypernyms

propositional calculus

See also

Peirce's law