Математическая логика (вариант 4, ПоволжскийГУТИ)

ИНФОРМАЦИЯ
Вид работы:	Контрольная работа
Дисциплина:	Логика
ВУЗ:
Город, год:	2018
Уникальность:	% по системе

ПОВЫСИТЬ УНИКАЛЬНОСТЬ ТЕКСТА

ПОМОЩЬ В НАПИСАНИИ РАБОТЫ

Задание 1
Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать любым из следующих методов: аксиоматическим, натурального исчисления, резолюций, или Вонга.
a. А -> (В -> -С), -А -> В, -А -> (-В -> С) => С; В
b. А, -В -> (А -> D), С -> (В -> Е), D -> (Е v -С) => С -> Е
c. -С, D -> С, А -> (-В -> D), В => А -> С
Задание 2
По вашему выбору для двух из трех клауз составьте легенды.
Задание 3
Ниже приведены легенды. Запишите с использованием 4-6 различных букв клаузу, отвечающую тексту или контексту вашей легенды, для чего сформулируйте необходимые посылки и два следствия: одно истинное, другое ложное. С помощью таблицы истинности найдите МНФ.
Мотоцикл я сначала не заметил, так как его заслонил бензовоз, а «Волга» вывернула из-за угла, когда «Жигули» были уже вблизи светофора. «Иномарка» проскочила на красный свет и явилась, как мне кажется, причиной всей этой аварии. Из-за нее «Волга» резко затормозила и мотоциклист оказался на асфальте. «Жигули», чтобы не задавить мотоциклиста, свернули на тротуар, а бензовоз в это время врезался в «Волгу». Если бы не было мотоцикла, то опасной ситуации тоже могло и не быть. Хотя виноват и водитель «Волги», поскольку он явно превысил скорость.
Задание 4
Установить истинность логического выражения своего варианта путем конкретизации.

Сделана в мае 2018 года.
ВУЗ: Поволжский государственный университет телекоммуникаций и информатики.
Работа была успешно сдана - заказчик претензий не имел.

КУПИТЬ РАБОТУ

СТОИМОСТЬ РАБОТЫ:	200 руб.
- Введите нужную сумму и нажмите на кнопку "Перевести"
- После оплаты отправьте СКРИНШОТ ОПЛАТЫ и ССЫЛКУ НА РАБОТУ на почту Studgold@mail.ru
- После проверки платежа файл будет выслан на вашу почту в течение 24 ЧАСОВ.
- Если цена работы не указана или менее 100 руб., то цену необоходимо уточнить в службе поддержки и только потом оплачивать.
ПОДДЕРЖКА:	Studgold@mail.ru