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