Deducibility Theorems in Boolean Logic
  In this paper we give two theorems from the Propositional Calculus of the Boolean Logic with their consequences and applications and we prove them axiomatically. 
Florentin Smarandache