implicational propositional calculus
Jump to navigation
Jump to search
English[edit]
Noun[edit]
implicational propositional calculus (uncountable)
- (logic) A minimalist version of propositional calculus which uses only the logical connectives ("implies") and ("false").