implicational propositional calculus

listen to the pronunciation of implicational propositional calculus
الإنجليزية - الإنجليزية
A minimalist version of propositional calculus which uses only the logical connectives \to ("implies") and \bot ("false")
implicational propositional calculus
المفضلات