implicational propositional calculus

名词 n.
中文释义

英文释义

名词 n.
  1. A minimalist version of propositional calculus which uses only the logical connectives → ("implies") and ⊥ ("false"). uncountable
0 次浏览 数据来源: Wiktionary