Gottlob Frege was the first person who axiomatise Propositional Calculus by giving Tautologies. References Frege’s Propositional Calculus Wikipedia