AConciseIntroductiontoLogic,TwelfthEdition-Hurley,PatrickJ