en propositional calculus (n)
― HasContext ⟶
Weight: 1.0
en logic Source: English Wiktionary
en implicand (n)
― HasContext ⟶
Weight: 1.0
en propositional calculus Source: English Wiktionary