Click presentation-lec-1-pred-logic.pdf link to view the file.