Обучающийся должен
· знать: понятие одноместного предиката, понятий области определения и множества истинности предиката, понятия тождественно истинного (ложного) предиката, понятия n-местного предиката; понятие пропозиционального высказывания, значения истинности пропозиционального высказывания, понятия следствия предиката, равносильных предикатов; логические операции над предикатами (отрицание, конъюнкция, дизъюнкция, импликация); кванторные операции над предикатами (квантор общности и квантор существования), построение отрицаний к предикатам, содержащим кванторные операции; понятие алфавита логики предикатов, формулы логики предикатов; свободные и связанные переменные, область действия предиката.
уметь: записывать предикаты, определять область определения и множество истинности предиката; определять значения нульместного предиката; находить следствие предиката, определять, являются ли предикаты равносильными; рассчитывать логические операции над предикатами (отрицание, конъюнкция, дизъюнкция, импликация); определять отрицания к предикатам, содержащим кванторные операции; находить свободные и связанные переменные предиката, находить область действия предиката; осуществлять формализацию предложений с помощью логики предикатов.
В качестве Упражнения выполните следующее задание на определение множеств истинности предикатов (пример аналогичного упражнения вы найдёте в тексте лекции):