Результаты (
русский) 2:
[копия]Скопировано!
5.3.2 Краткий обзор логики предикатов
пропозициональных переменных, которые являются либо истинными , либо ложными, являются слишком ограничительными для реальных приложений. В логике предикатов, предикаты используются вместо пропозициональных переменных. Предикат определяет свойство объекта или отношения между объектами. Рассмотрим переменную программы х. Тогда соотношение х <1000 предикат. Предикат связан с набором, свойства которого часто представляются с помощью универсального квантора ∀ (для всех) и экзистенциального квантора ∃ (существует). Предикат с помощью кванторов принимает следующий вид:
переводится, пожалуйста, подождите..
