Essays.club - Получите бесплатные рефераты, курсовые работы и научные статьи
Поиск

Контрольная работа по "Логике"

Автор:   •  Июнь 7, 2018  •  Контрольная работа  •  512 Слов (3 Страниц)  •  783 Просмотры

Страница 1 из 3

Контрольная работа

Вариант 10

  1. Задание по логике высказываний

а. A, B→C ⇒  A&-B; B&C

   Приводим к нормальной конъюнктивной форме:

   A, -B⋁C ⇒ (A ∧ -B) ⋁ (B ∧ C)

   A, -B⋁C ⇒ A∧C

   A ⋁ -B ⋁ C ⋁ -A ⋁ -C ⇒ 0

   - B ⇒ 0

b. A→B&C, -B⋁D, (E→ -F) → D, -B⋁(A& -E) ⇒ B → E

c. A⋁B, A⋁C, A→C, C→(A → D) ⇒ B⋁D

   Приводим к нормальной конъюнктивной форме:

   A⋁B, A⋁C, A→C, C→(A→D)⇒B⋁D

   A⋁B⋁A⋁C⋁-A⋁C, -C⋁(A→D) ⇒ B⋁D

   A⋁B⋁C⋁-C⋁-A⋁D ⇒ B⋁D

   B⋁D⇒B⋁D

   

2.  Составление легенды по клаузе

а. A, B→C ⇒  A&-B; B&C  

    A – солнечная погода, В – Коля идет гулять, С – катается на велосипеде.

Мой сосед Коля летом почему-то всегда гуляет только с велосипедом, в дождь за ним лучше не заходить. Сегодня солнечно, поэтому либо Коля катается на велосипеде, либо остался дома.

c. A⋁B, A⋁C, A→C, C→(A → D) ⇒ B⋁D

    А – розы, В – лилии, С – гортензии,  D –оформление букета

 Невеста решила, что основным цветком в ее букете будут либо лилии, либо розы. В флористическом магазине, который ей посоветовали, предложили за основу взять розы или гортензии. При покупке 10 роз одна гортензия идет в подарок, а если купить  5 гортензий, то будет скидка на розы. Более того, при покупке 5 гортензий и нескольких роз бонусом

идет стилистическое оформление букета флористом. Получается что либо невеста приобретет букет из лилий, либо получит бесплатное оформление.

  1. Составление клаузы по легенде.

Легенда:  « Что собираешься делать, честолюбивый полководец?» - «Хочу завоевать Африку, мудрый философ». – « Предположим, Африку ты завоевал. Что дальше будешь делать?» -«Пойду походом на Индию». – «Допустим, и Индию ты покорил. Что потом?» - «Потом я уединюсь в своем саду и стану наслаждаться чтением книг. Хочу быть таким же мудрым как ты, философ». – «Почему бы тебе сразу же не отправиться в сад и не приняться за книги?» - «Так ведь ни Африки, ни Индии я еще не завоевал». - «Да, ты прав полководец. Я рассуждаю немудро, поскольку не учитываю твоего сегодняшнего честолюбия».

A→B, B→C, C→D, -B∧-C→-D ⇒ -D → -A

A – полководец честолюбив,

В – завоевал Африку,

С – завоевал Индию,

D – философ мудр.

Посылки: 1. A→B, 2. B→C, 3.C→D,4. -B∧-C→-D

Истинное следствие: философ не мудр, поскольку полководец честолюбив

 (-D→-A)

Ложное следствие: философ рассуждает мудро, так как не учитывает честолюбия полководца (-B∧-C → D)

Составим таблицу истинности:

А

В

С

D

-A

-B

-C

-D

-B∧-C

A→B

B→C

C→D

-B∧-C→-D

P

-D→ -A

0

0

0

0

1

1

1

1

1

1

1

1

1

1

1

0

0

0

1

1

1

1

0

1

1

1

1

0

0

1

0

0

1

0

1

1

0

1

0

1

1

0

1

0

1

0

0

1

1

1

1

0

0

0

1

1

1

1

1

1

0

1

0

0

1

0

1

1

0

1

0

1

1

0

1

0

1

0

1

1

0

1

0

0

1

0

1

1

0

1

0

1

1

0

1

0

0

1

0

1

1

0

1

0

1

0

1

1

1

1

0

0

0

0

1

1

1

1

1

1

1

0

0

0

0

1

1

1

1

0

1

1

1

0

0

1

0

0

1

0

1

1

0

1

0

1

1

0

0

1

1

0

1

0

0

1

0

1

0

0

1

0

1

0

0

1

0

1

1

0

1

0

0

0

0

1

1

1

0

1

1

1

0

0

0

0

1

1

0

1

0

1

1

0

0

1

1

0

1

0

0

1

0

0

1

0

1

1

0

1

1

1

1

0

0

0

0

1

0

1

1

0

1

0

0

1

1

1

1

0

0

0

0

0

1

1

1

1

1

1

...

Скачать:   txt (6.5 Kb)   pdf (169.3 Kb)   docx (1.5 Mb)  
Продолжить читать еще 2 страниц(ы) »
Доступно только на Essays.club