Formal Logic/Merged Versions/Sentential Logic