VariousWords beta
Related Terms:
Noun
Definition: A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").
VariousWords beta
Definition: A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false").