Логика предикатов. (Глава 2)
Гл.1. Логика высказываний Высказывания: 2 + 2 = 4, 2 > 5, Сегодня 1-ое апреля. Не высказывания: sin x > 0, x ≤ y, x + y > z. Данное предложение ложно. Логические операции: ¬ , &, ∨, ⇒, ≡ . Логика предикатов 1. Понятие предиката М – множество. Предикат – повествовательное предложение, которое при фиксировании переменных (замене их элементами из М) становится высказыванием. Предикаты: sin x > 0 - одна переменная (х); x ≤ y - две переменные (х,у); x + y > z - три переменных (x,y,z); 2 + 2 = 4, 2 > 5, Сегодня 1-ое апреля - 0 переменных.