Задание №1. Формализовать высказывание. Получить СДНФ, СКНФ, ДНФ, КНФ. Представить высказывание в виде суперпозиции только следующих операций 1) «Штрих Шеффера», 2) «Стрелка Пирса». «Если мед не есть, то горшок не становится пустым, а Винни-Пух – голодным».
Задание №2. Доказать или опровергнуть общезначимость формулы, используя законы алгебры логики и формулы равносильных преобразований, а также путем построения дерева доказательства (дерева редукции).
Задание №3. Проверить аргумент методом резолюций. Получить все следствия из данных посылок.
«Если неверно, что X или Y, то и Z, и Z1. Не Z или не Z1.Следовательно, X или Y».
Тип: Решение задач
Предмет: Логика
Математическая логика и теория алгоритмов. Билет 13.
Стоимость: 402,5 руб.
Тип: Решение задач
Предмет: Логика
Представление словесного высказывания в предикатной форме
Стоимость: 437,5 руб.
После окончания специалитета или магистратуры выпускник может заниматься профессиональной деятельностью или продолжить обучение на следующем образовательном уроне — в аспирантуре. Чтобы поступить туда, нужно сдать вступительные экзамены.Но не все так просто. Для начала придется сформулировать тему …
Читать дальшеСочинение-отзыв — вид учебной работы, который преподаватели задают, чтобы узнать мнение школьников и студентов о прочитанной книге (просмотренном фильме/спектакле) и проверить понимание произведения. Это сочинение похоже на рецензию.Рецензия — жанр журналистики, основанный на критической оценке объ…
Читать дальше