6. Задания на практическую работу по логике высказываний

Ниже приведены по три клаузы в одном варианте. Каждую клаузу необходимо доказать следующими методами: аксиоматическим, натурального исчисления, резолюций, и Вонга.

1. 1. (А -> С) -> ( -А & В) =>А vВ

   2. AvD, ВvЕ,D-> С,DvС => А & С; Е &D; В

   3. А -> В, С -> D,AvС, А -> (-D), С -> -В => (AvВ) -> (А & В)

2. 1. С -> A, B v C, B -> D, D -> A => A

   2. D -> E, E -> C, A ~ D, B ~ C => A -> B

   3. A v B, A -> B, B -> (C -> (-D)), A -> D => -(A & C)

3. 1. (А & В) -> С => А -> (В->С)

   2. A-> (В -> С), (С &D) ->E, -F-> (D& -Е) =>A-> (B->F)

   3. (А & (В -> С)) ~ D, Е ~ (А & -(ВvС)) => (D& -Е) ~ (А & С)

4. 1. А -> (В -> -С), -А -> В, -А -> (-В -> С) => С; В

   2. А, -В -> (А -> D), С -> (В -> Е),D-> (Еv-С) => С -> Е

   3. -С,D-> С, А -> (-В->D), В=> А -> С

5. 1. (A v C) ~ -(B v D) => -A~B; -C~D

   2. А -> В, С -> D,B-> Е,D->F, -(Е &F), А -> С => А

   3. С -> (В -> А), -В ->D, С =>AvD

6. 1. -C, A v B => (B -> C) ->A (*)

   2. А -> С, D->F, В -> Е, -D-> -С, А -> В => А -> (Е &F)

   3. А, В vС, С ~D=> (В -> -А) -> (В ->D)

7. 1. А -> (С -> В), D-> А, С =>D-> В

   2. Е -> F, С -> (D-> Е), (А -> В) -> С =>D-> (AvF)

   3. –A ~ B, B -> C, -C ~ D => (C -> B) -> (D -> A)

8. 1. А ~ В, С ~ D=> (AvС) ~ (BvD)

   2. А -> (В -> С), С -> (В -> -A),D-> А, А -> В => -D

   3. А -> В, В -> D,D->A,BvC, С ->D=>D

9. 1. А, В vС=>А&В; С

   2. С, (А -> В) ->(С -> А) => А

   3. А -> (В vС), В -> (D-> А), С -> (В -> А), А -> (В -> С),D- > (AvВ),D-> (А -> В), С -> (ВvD),AvСvD, С -> (А -> В) => А & В & С; А & В &D

10. 1. А, В -> С => А &-В; В&С

    2. А -> (В & С), -В vD, (Е -> -F) -> -D, -Вv(А & -Е) => В -> Е

    3. A v B, A v C, A -> C, C -> (A -> D) => B v D.

11. 1. А, В->С => (А -> -С) -> -В

    2. А -> В, А ~ D, С ~ Е => (В -> С) -> (D-> Е)

    3. А -> (С -> В), D-> А, С =>D->В

12. 1. А ->(В -> С), А -> (ВvС) => А -> С

    2. А ~ -В, AvC, -(С & Е), В -> С,BvD, А -> Е =>D~ Е; -(С &D)

    3. A,D-> С, Вv(А ->D), В -> С => С

13. 1. А ~В, С~D=> (А -> С) -> (В ->D)

    2. AvС, С ->D, -(А &D), -(В & С), А -> В, АvВ => А & В

    3. Е -> D, СvЕ,AvD,D-> -В => С &D; (Е & В) -> (Е -> А)

14. 1. А, В -> С => А & -В; В & С

    2. С -> (D-> Е), Е ->F=> ((А -> В) -> С) -> (D-> (-А ->F))

    3. А -> В, А ~ С, D~ Е => (В ->D) -> (С -> Е)

15. 1. (АТС) - (В vD), А ~ В => С ->-D

    2. A -> (B v C), A v B, B ->A, B -> D => C v D

    3. Е -> D, СvЕ,AvD,D-> В, Е => А; В & Е; С &D

16. 1. А -> В, В vС, С -> А, В -> С => А & В

    2. E->D,E~C,C~A,D~ В => А -> В

    3. A v B, B ~ C, C, D, A ~ D => A & B

17. 1. А -> В, AvС, С -> В,D-> А => (В ->D) -> В

    2. -D, Е => ((А & -В) -> С) ~ -D; Е ~ (А & (В -> С)

    3. Av(В -> С), С -> (В -> А), А ->D=> (AvВ) ->D

18. 1. -(А -> С) ~ (В -> D) => А ~ -В; -С~D

    2. С -> (AvВ),D-> (ВvС) =>AvВ; -D

    3. А -> D,AvС,DvЕ,D-> В => (А & В) -> (А -> Е); С &D

19. 1. AvС, А -> В, С -> В => А & В; В & С

    2. А -> В, А -> С, D~E,D->A, Е -> А, В -> Е,C->D=>B~ С

    3. C-> (В -> А), СvD,D-> В, ВvD=> (D-> С) -> А

20. 1. А, В vС => А & С; В & -С

    2. А -> В, С -> D, (В &D) -> Е, Е, А => -С

    3. А -> (В -> С), В vСvD=> (А -> С)vD

21. 1. AvВ, А -> С=>-А& В; С

    2. (А -> В) -> (С -> D), (D->F) -> Е =>AvЕ

    3. AvC, С -> -D, А ->D,BvC=>D-> (B&D)

22. 1. AvВ,C-> В, В -> А,A-> С => В & С

    2. A-> С, -В ~ С, ВvD, В -> А =>D; А & С

    3. AvВ,DvE,DvC,D-> С => А &D; В; С & Е

23. 1. А -> С, AvВ, В ->D,D-> С => С

    2. В vD,D-> В, СvD,D-> С, С -> (В -> А) => А

    3. А -> В, AvD, СvЕ, Е -> А => (В & Е) -> (Е ->D); А & С

24. 1. (А & В) v(С &D),-А => С

    2. С -> А => ((А & В) vС) ~ (А & (ВvС))

    3. D->F, А -> (Е ->D), (С -> В) -> А => Е -> (СvF)

2. По вашему выбору для двух из трех клауз составьте легенды.

3. Ниже приведены легенды. Запишите с использованием 4—6 различных букв клаузу, отвечающую тексту или контексту вашей легенды, для чего сформулируйте необходимые посылки и два следствия: одно истинное, другое ложное. С помошью таблицы истинности найдите МНФ, минимальное и все трансверсальные покрытия.

1. В одной старой легенде рассказывается, что греческий драматург Софокл погиб при очень странных обстоятельствах. На его лысый череп орел сбросил камень, приняв его за яйцо. Если бы Софокл не сочинял трагедий, то он не уединялся бы в горах и остался бы жить до своей естественной кончины. Он мог сочинять свои трагедии в горах при наличии волос на голове или при отсутствии там этих странных птиц.

2. «Ты меня уважаешь?» — «Да». — «Тогда дай мне денег». — «Дав тебе денег, я перестану тебя уважать». — «Разве ты меня уважаешь из-за денег?» — «Нет, как художника». — «Ну, тогда тем более ты должен дать их мне». — «Я даю деньги тем, у кого они в принципе водятся. Ты же мне долг не вернешь». — «Я открою свое дело. Через год у меня будет состояние. Займи под проценты». — «Я тебе не верю, но помогу организовать выставку твоих картин». — «Хорошо, идет».

3. Современный футбол — это надежная защита, хорошая скорость, напористая атака и убедительная результативность. Матвеев мне результативность обеспечит, но голы он забивает только по вдохновению, когда складывается игра. Без Федотова такой игры не получится. Он видит поле, чувствует, где находиться, но бегать не может. Скорость команде сообщит Комаров, xoтя может развалить всю защиту. Попробовать Петрова в обороне, но в паре с Матвеевым он не играет. Квасов умеет блокировать бомбардировку противника, но левой у него не получается. Надо ставить Земерова, чтобы левый край прикрыл. Однако Земеров в последнее время точный пас отдать не может. Ну нет команды! Завтра встречу точно проиграем.

4. Мотоцикл я сначала не заметил, так как его заслонил бензовоз, а «Волга» вывернула из-за угла, когда «Жигули» были уже вблизи светофора. «Иномарка» проскочила на красный свет и явилась, как мне кажется, причиной всей этой аварии. Из-за нее «Волга» резко затормозила и мотоциклист оказался на асфаль­те. «Жигули», чтобы не задавить мотоциклиста, свернули на тротуар, а бензовоз в это время врезался в «Волгу». Если бы не было мотоцикла, то опасной ситуа­ции тоже могло и не быть. Хотя виноват и водитель «Волги», поскольку он явно превысил скорость.

5. Если облака — это горы в небе и горы — это облака на земле, то гроза — это вулкан на небе и вулкан — это гроза на земле. Вулкан извергает пепел, а гроза — воду. Вулканический пепел и дождевая вода одинаково хорошо сказываются на урожайности полей. Урожай — это благо. Все благо — от Бога. Значит, пепел и вода, вулкан и гроза, горы и облака — от Бога.

6. «Я вижу, у Вас поднялось давление». — «Это последствие рыбалки, док­тор». — «Рыбалка, напротив, должна успокаивать и укреплять здоровье». — «Верно, доктор, но я переволновался, так как ловил рыбу в запрещенном мес­те». — «Ай-ай-ай! Зачем же Вы на это пошли?» — «Там, где разрешено, доктор, рыбы нет». — «В таком случае рыбы много в магазине. Я же Вам прописал отдых на свежем воздухе». — «Хорошо, доктор, тогда завтра я пойду охотиться». — «То­лько, пожалуйста, голубчик, не стреляйте в зоопарке».

7. Ваня и Петя — братья-близнецы. Ваня с огромной скоростью улетел на ра­кете в космос, а Петя остался на неподвижной Земле. Теория относительности утверждает, что если лететь на большой скорости, то время замедляется, поэтому Петя состарится, а Ваня — нет. Эта же теория учит, что движение относительно: если Ваня движется относительно Пети, то Петя движется относительно Вани. Однако по теории почему-то именно Ваня, вернувшись из полета, будет моложе Пети. Вывод: теория относительности не свободна от противоречий.

8. Если усложнить схему устройства, то возрастет его производительность, а если использовать новую элементную базу, то увеличится период эксплуатации. Устройство начнут хорошо раскупать только при одновременном росте его произ­водительности и периода эксплуатации. Но устройство не пользуется спросом.

9. Увеличение денег в обращении влечет за собой инфляцию. Но рост денеж­ной массы происходит по двум причинам: из-за денежной эмиссии или сниже­ния товарооборота. Снижение товарооборота приводит к безработице и спаду производства. Из-за инфляции падает курс денежной единицы. Рекомендации экономиста Иванова: увеличить денежную эмиссию и поднять производство, тогда избежим безработицы и курс денежной единицы останется неизменным.

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

11. Чтобы сварить щи, нужны: капуста, свекла, картофель, лук, морковь и томаты. Свеклы и капусты в нашем магазине не оказалось. Все остальное я купила. Однако щи уже не получатся. Хорошо, тогда куплю огурцы и сметану, сделаю салат из огурцов, томатов и лука. Поджарю котлетки, отварю картошечку — второе у меня есть. Что приготовить на первое? Пожалуй, на говяжьих косточках неплоха будет домашняя лапша. А морковку я сейчас помою и отдам детям — пусть червячка заморят.

12. Любой марксист — диалектик, но не всякий диалектик — марксист. Любой марксист — материалист, но не всякий материалист — марксист. Гегель был диалектик, но не материалист. Фейербах был материалист, но не диалектик. Итак, если бы Гегель и Фейербах могли объединиться в один кружок, то Маркс уже не понадобился бы.

13. Преступник изготовит партию фальшивых денег, если у него имеются соответствующие материалы и работает станок. Эти два условия, к сожалению, выполняются. Однако фальшивые деньги не появятся, если хорошо работает милиция. Милиция же работает хорошо тогда и только тогда, когда каждый милиционер получает высокую зарплату. Увы, пока такой зарплаты нет, но есть высокая сознательность всех работников милиции.

14. «Надо завести собаку», — сказал старик. «Она не даст жить моей кошке», — сказала старуха. «Если не будет собаки, то я не смогу результативно охотиться и приносить в дом дичь». — «А если не будет моей кошечки, то в доме заведутся мыши, которые уничтожат все наши продовольственные запасы» «Согласен, старуха. Давай собаку я заведу, но держать ее буду во дворе». — « Кошечку во двор я пускать не буду».

15. Существуют две теории возникновения человека на земле - теория эволюции Дарвина и теория сотворения человека Господом Богом. Если справедл теория эволюции, то самопроизвольное возникновение человека без соответствующих превращений живых организмов невозможно. Как доказали ученые, такие превращения действительно имели место. По теории же сотворения человек был слеплен из простой глины, а жизнь в него вдохнул Господь. Глины всегда было много, а насчет дыхания Бога тоже сомневаться не приходится, поскольку есть на то свидетельство Библии. Отсюда вывод — две названные теории друг другу не противоречат.

16. Человек, который решил свести счеты со своей жизнью, вряд ли будет за час до этого просматривать статистические данные по зерну за прошлый год. Сломанная герань только подчеркивает кем-то хорошо скрытые следы борьбы и насилия. Очень, конечно, странно, что дверь оказалась заперта изнутри, а вахтер ничего не заметил. Как же преступнику удалось выйти из помещения? И каковы, собственно, мотивы преступления? Такой тихий, скромный человек, ничего кроме семьи и работы его не интересовало. Правда, жена сообщила, она вчера вечером видела его в обществе двух подозрительных молодых людей. Да и вахтер утверждал, что примерно в течение получаса отлучался для обхода территории. Тем не менее не хватает какого-то звена в этой загадочной цепи событий, чтобы уверенно сказать — «самоубийство» кем-то старательно инсценировано.

17. Из утверждения «два плюс два равно пяти» следует, что я и папа римский — одно и то же лицо. В самом деле, если от обеих частей указанного paвенства отнять по двойке, то будет справедливо равенство «два равно трем». Если от обеих частей нового равенства отнять по единице, то будет справедливо равенство — «один равен двум». Один — это я, а двойка — это я и папа римский. Поско­льку верно, что «один равен двум», то я есть папа римский.

18. «Хочешь яблоко?» — «Яблоки я не ем после рыбы, а рыбу я не ем после бор­ща. Борщ я сегодня не ел, но съел немного горохового супа. После него я съел кусочек жареного хека. Если я ем гороховый суп, то в этот день уже не буду отка­зываться от яблок, но при условии, что к столу не подавали салат. Итак, давай сюда яблоко».

19. Слепой и глухой пошли погулять. «Смотри, вдали озеро, значит, напьем­ся», — сказал глухой. «Ага», — сказал слепой. «Послушай, гремит гром, значит дождь собирается», — сказал слепой. «Ага», — сказал глухой. Глухой и слепой набрали воды и достали плащи. Все это видел и слышал немой. «Я им не компа­ния», — подумал немой.

20. Сегодня посмотрю футбол, если трамвай не задержится. Трамвай не опоз­дал, но случилась другая беда: у меня не оказалось денег на билет. Рискну дое­хать «зайцем». В салоне оказался контролер, и я лихорадочно стал рыться по карманам. К моему счастью, нашелся один неиспользованный трамвайный та­лон. До компостера я добрался вовремя, хотя футбольный матч я так и не увидел: вместе с деньгами я дома оставил и билет на матч.

21. Если в одном месте что-то убудет, то в другом месте что-то прибудет — это истина, не требующая доказательства. Но есть такая теория, которая утверждает: где-то в далеком космосе существуют «черные дыры», куда все проваливается, но оттуда ничего не появляется. Эта теория ничего не говорит о существовании «белых дыр», которые действовали бы противоположно «черным». Один ино­странный астрономический журнал сообщил координаты «черной дыры». Рос­сийский астроном Иванов направил туда свой мощный телескоп и ничего не об­наружил, "Так-так, — сказал Иванов, — но «белую дыру» я все же открою".

22. Если в цепи будет большой перепад напряжения, то сгорит предохрани­тель, что повлечет за собой необходимость его замены. При целом предохрани­теле телевизор, конечно, будет работать, но только если он включен в сеть пита­ния. Если телевизор работает нормально, то я увижу сегодняшние «Новости». Итак, я смотрю телевизионные «Новости» при условии отсутствия перепада на­пряжения и подключения телевизора к сети питания.

23. «Иван Иваныч, можно?» — «Входи, Петров. Ну, сделал, что я тебя про­сил?» — «Видите ли... Если бы Вы немного прибавили...» — «Ты что, Петров! Си­доров за эту же работу берет в два раза меньше». — «Сидоров и сделал бы ее в два раза хуже. Я же работаю с личным клеймом. И потом, у меня семья — сами знае­те». — «ладно, проси что хочешь, но денег у меня нет». — «А как сделаю, на ры­балку отпустите?» — «Договорились, только ты моего Вовку с собой возьми, а то он тут с какой-то подозрительной компанией спутался». — «Если с Вовкой, то на Вашей лодке». — «Вот хитрец! Хорошо, поедем все вместе. Мне тоже не мешало бы проветриться. Ты дело только сделай».

24. Уменьшение температуры приводит к снижению давления и уменьшению объема. Увеличение объема приводит к росту скорости потока. Повышение дав­ления приводит к падению уровня, если при этом уменьшать температуру. Сни­жение скорости приводит к уменьшению давления или росту температуры. Тех­нолог Иванов рассудил так: «Мне надо повысить давление при одновременном снижении скорости потока, поэтому я должен увеличить объем и температуру».

25. «В эти брезентовые штаны не пытайся влезть — в них ты смотришься как маляр». — «Но и это шерстяное платье я тоже не надену — оно на мне как на вешалке». — «Как насчет кожаного пиджака и юбки с разрезом?» — «У юбки заедает молнию, а пиджак вот здесь испачкан». — «Ну, это не беда; пятно прикроется сумкой». — «Да, пожалуй, ты права — сумку в любом случае брать нужно; она очень идет к моим любимым туфлям». — «Сломанную молнию заменит булавка, а ее прикроет пиджак». — «Хорошо, так и сделаем». — «Шерстяное платье одену я, если ты не возражаешь». — «Возражаю, надень уж лучше эти штаны».