Logic Component: Church History and Formal Logic