The Extension of Hypothesis in Propositional Logic Qian Guo and An-Sheng Deng ITM Web Conf., 7 (2016) 06001 Published online: 21 November 2016 DOI: 10.1051/itmconf/20160706001