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