Главная страница

матлогика_методичка. Методические указания к выполнению практических работ Омск Издательство Омгту 2009


Скачать 0.58 Mb.
НазваниеМетодические указания к выполнению практических работ Омск Издательство Омгту 2009
Анкорматлогика_методичка.doc
Дата04.05.2017
Размер0.58 Mb.
Формат файлаdoc
Имя файламатлогика_методичка.doc
ТипМетодические указания
#7036
страница5 из 14
1   2   3   4   5   6   7   8   9   ...   14

1.6. Задания


1. Выполнив равносильные преобразования, установить, является ли данная формула тождественно истинной. Привести данную формулу к СДНФ.

2.Установить, является ли данное рассуждение правильным (проверить, следует ли заключение из конъюнкции посылок).

Варианты индивидуальных заданий

Вариант № 1

1. (PQ)  ((QR)  (PR)).

2. Если исходные данные корректны и программа работает правильно, то получается верный результат. Результат неверен. Следовательно, исходные данные некорректны или программа работает неправильно.
Вариант № 2

1. (PQ)  ((P  (QR))  (PR)).

2. Профсоюзы штата будут поддерживать губернатора, если он подпишет этот закон. Фермеры окажут ему поддержку, если он наложит на него вето. Очевидно, что он или не подпишет закон, или не наложит на него вето. Следовательно, губернатор потеряет голоса рабочих, объединенных в профсоюзы, или голоса фермеров.
Вариант № 3

1. (PR)  ((QR)  ((PQ)  R)).

2 Если подозреваемый совершил кражу, то либо она была тщательно подготовлена, либо он имел соучастников. Если бы кража была тщательно подготовлена, то, если бы были соучастники, украдено было бы много. Украдено мало. Значит, подозреваемый невиновен.
Вариант № 4

1. (QR)  ((PQ)  (PR)).

2. Если курс ценных бумаг растет или процентная ставка снижается, то падает курс акций. Если процентная ставка снижается, то либо курс акций не падает, либо курс ценных бумаг не растет. Курс акций понижается. Следовательно, снижается процентная ставка.
Вариант № 5

1. ((Q  (R  P))  (R  (PQ)))  R .

2. Договор будет выполнен тогда и только тогда когда дом будет закончен в феврале. Если дом будет закончен в феврале, то мы можем переехать в марте. Договор будет выполнен, Следовательно, мы можем переехать в марте.
Вариант № 6

1. ((PQ)  (QR)) PR.

2. Если мы не будем продолжать политику сохранения цен, то мы потеряем голоса фермеров. Если же мы будем продолжать эту политику и не прибегнем к контролю над производством, то продолжится перепроизводство. Без голосов фермеров нас не переизберут. Значит, если нас переизберут и мы не прибегнем к контролю над производством, то продолжится перепроизводство.
Вариант № 7

1. (Q  (RP))  (R  (PQ)).

2. Если капиталовложения останутся постоянными, то возрастут правительственные расходы или возникнет безработица. Если правительственные расходы не возрастут, то налоги будут снижены. Если налоги будут снижены и капиталовложения останутся постоянными, то безработица не возрастет. Безработица не возрастет. Следовательно, правительственные расходы возрастут.
Вариант № 8

1. (PQ)  ((QR)  (PR)).

2. В бюджете возникнет дефицит, если не повысят налоги. Если в бюджете возникнет дефицит, то расходы на социальные нужды сократятся. Следовательно, если повысят налоги, то расходы на социальные нужды не сократятся.
Вариант № 9

1. (PQ)  ((QR)  (PR)).

2. Если цены высоки, то и заработная плата высока. Цены высоки или применяется регулирование цен. Если применяется регулирование цен, то нет инфляции. Наблюдается инфляция. Следовательно, заработная плата высока.
Вариант № 10

1. ((Q  (R  P))  (R  (PQ)))  R.

2. Если я устал, я хочу вернуться домой. Если я голоден, я хочу вернуться домой или пойти в ресторан. Я устал и голоден. Поэтому я хочу вернуться домой.
Вариант № 11

1. (PQ)  ((QR) (PR)).

2. Если будет холодно, то я надену теплое пальто, если рукав будет починен. Завтра будет холодно, а рукав не будет починен. Значит, я не надену теплое пальто.
Вариант № 12

1. (PQ)  ((P  (QR))  (PR)).

2. Если будет идти снег, машину будет трудно вести. Если будет трудно вести машину, я опоздаю, если не выеду пораньше. Идет снег, и я выеду пораньше. Значит, я не опоздаю.
Вариант № 13

1. (PR)  ((QR)  ((PQ)  R)).

2 Намеченная атака удастся, если захватить противника врасплох или его позиции плохо защищены. Захватить противника врасплох можно только, если он беспечен. Он не будет беспечен, если его позиции плохо защищены. Следовательно, намеченная атака не удастся.
Вариант № 14

1. (QR)  ((PQ)  (PR)).

2. Если бы он был умен, то он увидел бы свою ошибку. Если бы он был искренен, то он признался бы в ней. Однако он не умен и не искренен. Следовательно, он или не увидит свою ошибку, или не признается в ней.
Вариант № 15

1. ((Q  (R  P)) (R  (PQ)))  R .

2. Если завтра будет хорошая погода, то я буду кататься на коньках или я пойду на лыжах. Если я пойду на лыжах, то лучше поехать за город, а если буду кататься на коньках, то останусь в городе. Мне не хочется завтра в выходной день оставаться в городе. Следовательно, если завтра будет хорошая погода, то я пойду на лыжах.
Вариант № 16

1. ((PQ)  (QR)) PR.

2. Андрей или очень переутомился, или болен. Если он переутомился, то он раздражается. Он не раздражается. Следовательно, Андрей не болен.
Вариант № 17

1. (Q  (RP))  (R (PQ)).

2. Если Иванов работает, то он получает зарплату. Если же Иванов учится, то он получает стипендию. Но Иванов не получает зарплату или не получает стипендию. Следовательно, он не работает или не учится.
Вариант № 18

1. (PQ) ((QR) (PR)).

2. Если я лягу спать, то не сдам экзамен. Если я буду заниматься ночью, то тоже не сдам экзамен. Следовательно, я не сдам экзамен.
Вариант № 19

1. (PQ)  ((QR)  (PR)).

2. Если я пойду завтра на первую лекцию, то должен буду встать рано. Если я пойду вечером на дискотеку, то лягу спать поздно. Если я лягу спать поздно, а встану рано, я буду плохо себя чувствовать. Следовательно, я должен пропустить первую лекцию или не ходить на дискотеку.
Вариант № 20

1. (RP) ((PQ)  (RQ)).

2. Если человек занимается спортом, то он здоров. Если человек здоров, то он счастлив. Этот человек занимается спортом. Значит, он счастлив.



1   2   3   4   5   6   7   8   9   ...   14


написать администратору сайта