implicational propositional calculus

listen to the pronunciation of implicational propositional calculus
İngilizce - İngilizce
A minimalist version of propositional calculus which uses only the logical connectives \to ("implies") and \bot ("false")
implicational propositional calculus