logic and automated reasoning lecture 11 applications 9658195