Может быть записана в следующем. Неверно что корова хищное животное. Число 17 нечетное и двузначное. Неверно что корова хищное животное логическое выражение. Высказывание неверно. На основе логики предикатов первого порядка. Основы логики предикатов. Кванторы для предикатов первого порядка