implicational propositional calculus

الإنجليزية - الإنجليزية

تعريف implicational propositional calculus في الإنجليزية الإنجليزية القاموس.

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

الواصلة

im·pli·ca·tion·al prop·o·si·tion·al cal·cu·lus