Click Exercise_local_logics_withSolutions.pdf link to view the file.