Автор: Пользователь скрыл имя, 15 Ноября 2011 в 13:48, доклад
Понятие тавтологии и равносильные формулы.
Совершенная конъюнктивная нормальная формула (СКНФ) и совершенная дизъюнктивная нормальная формула (СДНФ).
Понятие предиката. Операции над предикатами.
Запись $
означает, что существует предмет
х, обладающий свойством Р.
Информация о работе Высказывания и логические операции над ними. Предикарты