Курсовые,дипломы,задачи 
(11 оценок, среднее: 4,82 из 5)
Загрузка...Контрольная Логика вариант 29
Предмет:Логика Тип работы:Контрольная Количество страниц:7
«1. Раздел «Логика высказываний»
Задание 1. Установить, является ли данная формула тождественноистинной.
((P Q) (Q R)) V R.
Задание 2. Данное высказывание записать в виде формулы логики высказываний. Построить отрицание данного высказывания в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Если налоги не будут снижены, то мелкие производители разорятся и оставят производство.
Задание 3. Установить, является ли данное рассуждение правильным (проверить, следует ли заключение из конъюнкции посылок).
Контракт будет выполнен тогда и только тогда, когда дом будет закончен в феврале. Если дом будет закончен в феврале, то мы можем переехать в марте. Контракт будет выполнен, следовательно, мы можем переехать в марте.
2. Раздел «Логика предикатов»
Задание 1. Установить, является ли данное выражение формулой, а если да, то определить, какие переменные в ней свободные, а какие связанные.
xy (A(x, y)) B(y, z))
Задание 2. Даны предикаты: А(x) = «» x –осёл «»; B(x) = «» x упрям «».
Записать словами формулы: C = x(B(x) & A(x)); D = x(A(x) B(x)).
Задание 3. Данное суждение записать в виде формулы логики предикатов. Построить отрицание данного суждения в виде формулы, не содержащей внешних знаков отрицания. Перевести на естественный язык.
Не все спортсмены участвовали в соревновании.
3. Раздел «Формальные аксиоматические теории (исчисления)»
Задание 1. Установить правильность рассуждения, построив вывод исчисления высказываний.
Если отклонение параметров превышает стандарты, то требуется корректировка программы или уточнение стандартов. Выявленное отклонение превышает стандарты. Следовательно, требуется корректировка программы или уточнение стандартов.
Задание 2. Установить правильность рассуждения, построив вывод исчисления предикатов.
Во всяком равнобедренном треугольнике углы при основании равны. В этом треугольнике углы при основании не равны. Следовательно, этот треугольник не равнобедренный.
Задание 3. Проверить вывод методом резолюций.
A&C B, B D, A, C D.
4. Раздел «Нечеткая логика»
Задание
Определить степень равносильности формул. и при условии, что и принимают значения степеней истинности из множества {0,2; 0,3}.
№
29
5. Раздел «Теория алгоритмов»
Составить программу машины Тьюринга, которая заданное слово Pвх преобразует в слово Pвых.
№ Pвх Pвых
29
100
011
»
Цена:490 руб.
