Номер: 286751
Количество страниц: 9
Автор: marvel6
Контрольная Математическая логика 10 вопросов, номер: 286751
390 руб.
Купить эту работу
Не подошла
данная работа? Вы можете заказать учебную работу
на любую интересующую вас тему
Заказать новую работу
данная работа? Вы можете заказать учебную работу
на любую интересующую вас тему
- Содержание:
1. Раздел «Логика высказываний»
Вопрос 1: Запишите символически следующие суждения:
а) “вертолет является средством передвижения по воздуху, имеет двигатель, пилотскую кабину, систему управления, несущий винт, по¬мещение для пассажиров или грузов”;
в) "хлеба уцелеют в различных климатических и погодных условиях тогда и только тогда, когда будут выполнены все мелиоративные работы; если хлеба не уцелеют, то фермеры обанкротятся и оставят фермы; следовательно, необходимо выполнить все мелиоративные работы".
Вопрос 2: Докажите эквивалентность следующих формул:
а) (AB)(BC)(CA) = (AB)(BC)(CA);
Вопрос 3: Приведите к дизъюнктивной и конъюнктивной нормальным формам:
а) (((AB)(CA))(BC));
Вопрос 4: Докажите выводимость заключения по принципу резолюции:
а) ( AB); (AB); (BA)
(AB).
Вопрос 5: Cоставить таблицу истинности
а) (BA) (B(AC)) (B(BC))
2. Раздел «Логика предикатов»
Вопрос 6: Запишите символически следующие суждения:
a) «Все судьи - юристы, но не все юристы – судьи»;
Вопрос 7: Привести к предваренной нормальной форме:
a) (xy(P21.(x; y))(xy(P22.(x; y)));
Вопрос 8: Привести к сколемовской стандартной форме:
a) (xy(P21.(x; y))(xy(P22.(x; y)));
Вопрос 9: Какие из нижеприведенных формул являются тождественно истинными:
а) x(P1(x))x(P2.(x))x(P1(x)P2.(x));
Вопрос 10:Докажите выводимость заключения методом дедукции:
a) x(P1.(x) P2.(x)); x(P3.(x)P1.(x))
x(P3.(x) P2.(x));
Другие работы
330 руб.