기호논리학,Elementary_Logic