- Предикат – утверждение, которое содержит переменные, принимающие значение 1 или 0 (истинно или ложно) в зависимости от значений переменных.
Пример. Выражение является предикатом, так как оно является истинным при или и ложным при всех остальных значениях .
- Кванторы общности и существования — логические операторы, которые ограничивают область истинности предиката и создают высказывание.
- Обозначения:
квантор общности — символ ;
квантор существования — символ .
- Умозаключение – это способ получения нового знания на основе некоторого имеющегося.
- Умозаключение состоит из посылок и заключения.
- Посылки – это высказывания, содержащие исходное знание.
- Заключение – это высказывание, содержащее новое знание, полученное из исходного.
- Доказательство – совокупность логических приёмов обоснования истинности какого-либо утверждения с помощью других истинных и связанных с данным суждений.