1_Elementy_teorii_vyskazyvany

Упражнения для выполнения
по разделу «Элементы теории высказываний»
Найдите среди указанных ниже предложений высказывания. Укажите их истинностное значение:
Москва – столица России;
Студент юридического факультета;
Если 13 EMBED Equation.3 1415, то 13 EMBED Equation.3 1415;
Луна есть спутник Марса;
Кто пойдет к доске?
13 EMBED Equation.3 1415;
Математика – интересный предмет;
Железо тяжелее свинца;
Да здравствуют каникулы!
Треугольник называется равносторонним, если все его стороны равны;
Сегодня дождливая погода;
Река Чита впадает в реку Ингода.
Пусть A, B и C обозначают следующие высказывания:
А – «Путешествие на Марс является дорогостоящим»,
B – «Я совершу путешествие на Марс»,
С – «У меня есть деньги».
В следующих составных высказываниях выделите логические связки, установите вид высказывания, запишите в виде логической формулы:
У меня нет денег, и я совершу путешествие на Марс.
У меня нет денег, и путешествие на Марс является дорогостоящим или я совершу путешествие на Марс.
Если у меня будут деньги, то я совершу путешествие на Марс.
Неверно, что у меня есть деньги и я полечу на Марс.
Путешествие на Марс не является дорогостоящим, и я полечу на Марс или путешествие на Марс является дорогостоящим, и я не полечу на Марс.
Для того, чтобы я совершил путешествие на Марс, достаточно чтобы у меня были деньги.
Пусть X, Y и Z обозначают следующие высказывания:
X – «Мой компьютер – быстродействующий»,
Y – «Я напишу курсовую работу вовремя»,
Z – «Я сдам экзамен».
В следующих составных высказываниях выделите логические связки, установите вид высказывания, запишите в виде логической формулы:
У меня не быстродействующий компьютер или я напишу курсовую работу вовремя.
Я не напишу курсовую работу вовремя и не сдам экзамен.
Для написания курсовой работы необходимо чтобы у меня был быстродействующей компьютер.
Неверно, что я напишу курсовую работу и сдам экзамен.
У меня быстродействующий компьютер или я не напишу курсовую работу.
Я сдам экзамен в том и только том случае, если мой компьютер – быстродействующий и я напишу курсовую работу вовремя.
Пусть M, N и P обозначают следующие высказывания:
M – «Эта игра очень трудна»,
N – «Я играю в шахматы»,
P – «Игра в шахматы требует времени».
Сформулируйте словесно следующие высказывания, записанные в символической форме:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Пусть C, R, S и Y обозначают следующие высказывания:
С – «Сегодня ясно»,
R – «Сегодня идет дождь»,
S – «Сегодня идет снег»,
Y – «Вчера было пасмурно».
Сформулируйте словесно следующие высказывания, записанные в символической форме:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
В следующих составных высказываниях выделите составляющие их элементарные высказывания, логические связки, установите вид высказывания, запишите в виде логической формулы:
Если преступление предусмотрено общей и специальной нормами, совокупность преступлений отсутствует и уголовная ответственность наступает по специальной норме (п. 3 ст. 12 УК РФ).
Преступление признается совершенным с прямым умыслом, если лицо осознавало общественную опасность своих действий (бездействий), предвидело возможность или неизбежность наступления общественно опасных последствий и желало их наступления (п.2 ст.25 УК РФ).
Преступление признается совершенным по небрежности, если лицо не предвидело возможности наступления общественно опасных последствий своих действий (бездействий), хотя при необходимой внимательности и предусмотрительности должно было и могло предвидеть эти последствия (п.3 ст.26 УК РФ).
Деяние признается также совершенным невиновно, если лицо, его совершившее, хотя и предвидело возможность наступления общественно опасных последствий своих действий (бездействий), но не могло предотвратить эти последствия в силу несоответствия своих психофизиологических качеств требованиям экстремальных условий или нервно-психическим перегрузкам (п.2 ст.28 УК РФ).
Штраф в качестве дополнительного вида наказания может назначаться только в случаях, предусмотренных соответствующими статьями Особенной части настоящего Кодекса (п.4 ст. 46 УК РФ).
Лицам, указанным в части первой настоящей статьи, принудительные меры медицинского характера назначаются только в случаях, когда психические расстройства связаны с возможностью причинения этими лицами иного существенного вреда либо с опасностью для себя или других лиц (п. 2 ст. 97 УК РФ).
В случаях, предусмотренных законом или в установленном им порядке, для осуществления и передачи прав, удостоверенных ценной бумагой, достаточно доказательств их закрепления в специальном реестре (п.2 ст. 142 ГК РФ часть 1).
Для передачи другому лицу прав, удостоверенных ценной бумагой на предъявителя, достаточно вручения ценной бумаги этому лицу (п.1 ст. 146 ГК РФ часть 1).
Право юридического лица осуществлять деятельность, на занятие которой необходимо получение лицензии, возникает с момента получения такой лицензии или в указанный в ней срок и прекращается по истечении срока ее действия, если иное не установлено законом или иным правовыми актами (п.3 ст. 49 ГК РФ часть 1).
В следующих высказываниях вместо многоточия поставьте один из союзов И, ИЛИ, так чтобы получилось истинное высказывание:
При 13 EMBED Equation.3 1415 . . . 13 EMBED Equation.3 1415 13 EMBED Equation.3 1415; а, b – числа;
Если 13 EMBED Equation.3 1415, то 13 EMBED Equation.3 1415 . . . 13 EMBED Equation.3 1415 . . . 13 EMBED Equation.3 1415 . . . 13 EMBED Equation.3 1415;
Если 13 EMBED Equation.3 1415, то 13 EMBED Equation.3 1415 . . . 13 EMBED Equation.3 1415.
Образуйте отрицание каждого из следующих высказываний и определите, истинно оно или ложно:
Число 35 не делится на число 5;
13 EMBED Equation.3 1415;
Все простые числа четные;
13 EMBED Equation.3 1415-рациональное число;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
Африка – остров;
Некоторые грибы несъедобные.
Являются ли следующие пары высказываний отрицанием друг друга? Поясните свой ответ.
«13 EMBED Equation.3 1415»,«13 EMBED Equation.3 1415»;
«13 EMBED Equation.3 1415»,«13 EMBED Equation.3 1415»;
«Треугольник АВС прямоугольный», «Треугольник АВС тупоугольный»;
«Натуральное число n четно», «Натуральное число n нечетно»;
«Функция 13 EMBED Equation.3 1415 нечетна», «Функция 13 EMBED Equation.3 1415 четна»;
«Все простые числа четны», «Все простые числа нечетны»;
«Человеку известны все виды животных, обитающих на Земле», «На Земле существует вид животных, неизвестный человеку»;
«Существуют иррациональные числа», «Все числа - рациональные».
Из каждых трех высказываний выберите пару высказываний, являющихся отрицаниями друг друга:
«13 EMBED Equation.3 1415», «13 EMBED Equation.3 1415», «13 EMBED Equation.3 1415»;
«Степан решил все задания в карточки», «Степан не решил все задания в карточки», «Степан решил не все задания в карточки»;
«Луна – спутник Земли», «Неверно, что Луна спутник Земли», «Неверно, что Луна не является спутником Земли»;
«Прямая а не параллельна прямой с», «Прямая а перпендикулярна прямой с», «Прямые а и с не пересекаются»;
«Мишень поражена первым выстрелом», «Мишень поражена не первым выстрелом», «Неверна, что мишень поражена не первым выстрелом».
Дайте определение операции конъюнкции через ложное высказывание, а операции дизъюнкции – через истинное высказывание.
Из определения импликации установите, можно ли из истинности импликации 13 EMBED Equation.3 1415заключить об истинности импликации 13 EMBED Equation.3 1415. Почему?
Определите значения истинности высказываний A, B, C, D, E, F, G, H, I, если высказывания а) – д) ложны, а высказывания е) – и) истинны:
A и 13 EMBED Equation.3 1415;
Если 4 – четное число , то В;
13 EMBED Equation.3 1415 или С;
Если D, то 6 – четное число;
Не 13 EMBED Equation.3 1415и не Е;
Если 13 EMBED Equation.3 1415, то 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415 или не G;
Если 13 EMBED Equation.3 1415, то 13 EMBED Equation.3 1415;
Не I и 13 EMBED Equation.3 1415.
Какие из следующих выражений являются формулами:
13 EMBED Equation.3 1415 ;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Пусть А – истинное высказывание, В – ложное высказывание. Установите значение истинности следующих логических формул:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
При каких значениях истинности высказываний А и В следующие составные высказывания принимают истинные и ложные значения:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
При каких значениях логических переменных А и В логическая формула будет принимать истинное значение:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
При каких значениях логических переменных А и В логическая формула будет принимать ложное значение:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Определить значение истинности высказывания, если известно значение истинности его части:
13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415 - ложно;
13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415 - истинно.
Какие из высказываний должны быть истинны, и какие ложны, чтобы выполнялись следующие равенства:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Постройте таблицы истинности для следующих высказываний. Что можно сказать о них?
13 EMBED Equation.3 1415 и13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415 и А;
13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415.
Какие из соотношений равносильности (законов) выражают законы логики:
Два отрицающих друг друга высказывания не могут быть одновременно истинными? Как называется этот закон?
Два отрицающих друг друга высказывания не могут быть одновременно ложными? Как называется этот закон?
Проведите аналогию между равносильностью формул из алгебры высказываний и тождественностью алгебраических выражений в обычной алгебре. Какие из законов алгебры высказываний не имеют аналогии в обычной алгебре?
Для каждого из следующих составных высказываний постройте его отрицание:
Треугольник АВС прямоугольный и равнобедренный;
13 EMBED Equation.3 1415;
По крайней мере, один из сомножителей равен нулю, т.е. 13 EMBED Equation.3 1415или13 EMBED Equation.3 1415;
Этот четырехугольник – прямоугольник или ромб.
Замените каждое из следующих составных высказываний каким-либо равнозначным ему высказыванием:
Если 12 не делится на 2 и на 3, то 12 делится на 6;
Если углы смежные, то их сумма составляет 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415 или 13 EMBED Equation.3 1415;
Неверно, что у ромба все углы острые и диагонали не перпендикулярны.
Установите, равносильны ли следующие пары формул? Если формулы равносильны, то выясните при каких значениях А и В они будут принимать истинные значения:
13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415.
Упростите логические формулы:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Упростите логические формулы:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Следующие формулы приведите к возможно более простому виду, применяя равносильные преобразования:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Упростите логические формулы:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Следующие формулы приведите к возможно более простому виду, применяя равносильные преобразования:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Докажите равносильность следующих формул двумя способами - посредством равносильных преобразований и посредством построения таблиц истинности:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Докажите равносильность следующих логических формул посредством равносильных преобразований:
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equatio
·n.3 1415.
Дано высказывание: «Если политик обещает невыполнимое, то он обманывает людей».
введите логические переменные и запишите логическую формулу;
найдите отрицание созданной логической формулы; произнесите на естественном языке созданное отрицание;
упростите отрицание и произнесите на естественном языке.
Выделите условие и заключение в каждой из следующих теорем:
Если углы смежные, то их сумма равна 13 EMBED Equation.3 1415.
Диагонали ромба взаимно перпендикулярны.
Равенство треугольников есть достаточное условие их равновеликости.
Четность суммы есть необходимое условие четности каждого слагаемого.
Заполните пустые клетки в таблице, если даны следующие утверждения:
№ п/п
Утверждение
Обратное утверждение
Противоположное утверждение
Обратно противоположное утверждение

1
Если прямоугольник является квадратом, то его диагонали взаимно перпендикулярны и делят углы пополам.




2
Всякий параллелограмм с равными диагоналями есть прямоугольник или квадрат.




Пользуясь законом композиции, докажите следующие теоремы:
Если 13 EMBED Equation.3 1415- нечетное число, то 13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415 - нечетны (13 EMBED Equation.3 1415).
Если 13 EMBED Equation.3 1415, то 13 EMBED Equation.3 1415или 13 EMBED Equation.3 1415.
Заполните пустые клетки в таблице, если даны следующие выражения:
№ п/п
Выражение
Связь
Выражение

1
13 EMBED Equation.3 1415

13 EMBED Equation.3 1415

2
13 EMBED Equation.3 1415

13 EMBED Equation.3 1415

3
13 EMBED Equation.3 1415

0

4
зима

лето

5
13 EMBED Equation.3 1415

0

6
13 EMBED Equation.3 1415

13 EMBED Equation.3 1415

Какие из нижеприведенных высказываний истинны:
Для того чтобы число делилось на 3, достаточно, чтобы оно делилось на 6;
Для того чтобы число делилось на 4, необходимо, чтобы оно делилось на 6;
Для того чтобы число делилось на 100, необходимо и достаточно, чтобы оно делилось на 10;
Для того чтобы число делилось на 10, необходимо и достаточно, чтобы оно делилось на 2 и на 5.
Вместо многоточия вставьте слова «необходимо» либо «достаточно», либо «необходимо и достаточно», чтобы данные предложения были истинными:
Для того чтобы сумма двух натуральных чисел делилась на 2, , чтобы каждое слагаемое делилась на 2;
Для того чтобы каждое слагаемое делилось на 2, , чтобы сумма этих слагаемых делилась на 2;
Для того чтобы число делилось на 45, , чтобы оно делилось на 5 и на 9;
Для того чтобы угол был острым, , чтобы он был меньше прямого.
Заполните таблицу:
Тождественно истинные формулы
Выполнимые формулы
Тождественно ложные формулы





установив, какие из следующих формул являются тождественно истинными, тождественно ложными, выполнимыми при помощи таблиц истинности.
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Заполните таблицу:
Тавтологии
Выполнимые формулы
Противоречивые





установив, какие из следующих формул выполнимы, противоречивы, а какие из них являются тавтологиями (не составляя таблицы истинности):
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
На складе было совершено хищение. Подозрение пало на трех человек: Иванова, Петрова и Сидорова, они были доставлены для допроса в отдел милиции, в котором работало одиннадцать следователей. Во время допроса каждый из подозреваемых дал показания, после чего каждый из следователей сделал соответственные выводы. Выводы каких следователей были верны?

№ строки
Иванов
Петров
Сидоров
Показания
Следователи





Иванова
Петрова
Сидорова
№1
№2
№3
№4

1
0
0
0
0
1
0
1
1
1
1

2
0
0
1
1
0
1
1
0
0
0

3
0
1
0
1
1
1
0
1
1
1

4
0
1
1
0
0
0
1
1
1
1

5
1
0
0
0
1
1
0
1
0
0

6
1
0
1
1
1
1
1
1
0
1

7
1
1
0
1
0
0
0
0
1
1

8
1
1
1
1
1
1
0
1
1
1

Выясните, справедливы ли следующие логические следствия, руководствуясь определением логического следования:
13 EMBED Equation.3 1415, 13 EMBED Equation.3 141513 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415, 13 EMBED Equation.3 141513 EMBED Equation.3 1415;
13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415.
Для следующих формул выясните, будет ли какая-либо из них логическим следствием другой?
13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415 и 13 EMBED Equation.3 1415.
Расположите формулы так, чтобы из каждой логически следовали все стоящие после нее:
13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415;
13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415, 13 EMBED Equation.3 1415.
Установите правильность следующих умозаключений, используя результаты полученного предложения:
а)
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415


13 EMBED Equation.3 141513 EMBED Equation.3 1415


б)
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415


13 EMBED Equation.3 141513 EMBED Equation.3 1415


в)
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415


13 EMBED Equation.3 141513 EMBED Equation.3 1415


г)
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415


13 EMBED Equation.3 141513 EMBED Equation.3 1415



Покажите правильность следующих умозаключений, используя равносильные преобразования:
а)
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415


13 EMBED Equation.3 141513 EMBED Equation.3 1415


б)
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415


13 EMBED Equation.3 141513 EMBED Equation.3 1415


в)
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 141513 EMBED Equation.3 1415


13 EMBED Equation.3 141513 EMBED Equation.3 1415


г)
13 EMBED Equation.3 1415
13 EMBED Equation.3 141513 EMBED Equation.3 1415
13 EMBED Equation.3 1415


13 EMBED Equation.3 141513 EMBED Equation.3 1415



Методом от противного выясните, верны ли следующие логические следования:
а)
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415


13 EMBED Equation.3 141513 EMBED Equation.3 1415


б)
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415
13 EMBED Equation.3 1415


13 EMBED Equation.3 141513 EMBED Equation.3 1415



Выяснить, виновен ли Овечкин в хищении на складе, если известно следующее: никто кроме Козлова, Овечкина и Баранова в хищении не замешен; Козлов никогда не пойдет на дело без, по крайней мере, одно соучастника; Баранов не виновен.
Выяснить, чью вину доказывают следующие улики: если А и В – оба виновны, то С был соучастник; С всегда берет с собой на дело D; если А участвовал в преступлении, то с ним был В или С; если А не виновен, то D – виновен.
Проверить правильность рассуждения средствами логических рассуждений: «Если человек осужден судом, то он лишается избирательных прав. Если человек признан невменяемым, то он также лишается избирательных прав. Следовательно, если человек обладает избирательным правом, то он здоров и не был осужден судом».
Проверить правильность рассуждения средствами логических суждений: «Иванов утверждает, что не встречал этой ночью Сидорова. Если Иванов не встречал этой ночью Сидорова, то либо Сидоров был убийцей, либо Иванов лжет. Если Сидоров не был убийцей, то Иванов не встречал его этой ночью, а убийство было совершено после полуночи. Если убийство было совершено после полуночи, то либо Сидоров был убийцей, то либо Иванов лжет. Следовательно, убийцей был Сидоров».
Проверить правильность следующего рассуждения: «Для того чтобы сдать экзамен, мне необходимо достать учебник или конспект. Я достану конспект только в том случае, если мой приятель не уйдет. Мой приятель уйдет, только если я сдам экзамен. Следовательно, я сдам экзамен».
Выяснить, кто из четырех виновен на основе информации: «Петров виновен, только если виновен Иванов. Неверно, что виновность Сидорова влечет виновность Родионова и что Иванов виновен, а Сидоров нет».
Петров, Иванов и Сидоров сдавали экзамен по информатике и математике. Если Петров не сдал экзамен на «отлично», то и Иванов не сдал на «отлично». Сидоров и еще один из друзей сдали экзамен на «отлично». Следует ли отсюда, что не верно, что Петров сдал экзамен не на «отлично», а Иванов на «отлично»?
На складе совершено хищение. Подозрение пало на трех человек: Козлова, Баранова и Овечкина, они были доставлены для допроса. Установлено следующее:
Никто, кроме Козлова, Баранова, Овечкина, не был замешен в деле.
Козлов никогда не ходит на дело без, по крайней мере, одного соучастника.
Овечкин не виновен.
Виновен ли Баранов?
Разбирается дело Иванова, Петрова и Сидорова. Один из них совершил преступление. В процессе расследования каждый из них сделал по два заявления.
Иванов: Я не сделал этого. Петров не делал этого.
Петров: Сидоров сделал это. Иванов не делал этого.
Сидоров: Я не делал это. Иванов сделал это.
Далее было установлено, что один из них дважды солгал, другой дважды сказал правду, а третий раз солгал, раз сказал правду.
Кто совершил преступление? Какой будет ответ при условии, что каждый из них один раз сказал правду, а один раз солгал?
В деле об убийстве имеются двое подозреваемых – Малинин и Виноградов. Допросили четырех свидетелей, которые последовательно дали такие показания: «Малинин не виноват», «Виноградов не виноват», «Из двух первых показаний, по меньшей мере, одно истинно», «Показания третьего ложны». Четвертый свидетель оказался прав. Кто виновен?
По подозрению в совершенном преступлении задержали Батюшкина, Никифорова и Сидоркова. Один из них был уважаемым в городе стариком, другой был малоизвестным чиновником, третий – известным мошенником. В процессе следствия старик говорил правду, мошенник лгал, а третий задержанный в одном случае говорил правду, а в другом – ложь. Вот, что они утверждали:
Батюшкин: Я совершил это. Никифоров не виноват.
Никифоров: Батюшкин не виноват. Преступление совершил Сидорков.
Сидорков: Я не виноват. Виноват Никифоров.
Требуется определить фамилии старика, мошенника и чиновника, и кто из них виноват, если известно, что преступник один.
В одном городе было совершено ограбление квартиры. Подозрение пало на двух известных воров – Деточкина и Мирославского. Кроме того, обнаружились три свидетеля, которые заявили:
Первый: Это они сделали вместе.
Второй: Ограбление совершил Деточкин, Мирославский в этом не участвовал.
Третий: Если Мирославский совершил ограбление, то Деточкин тоже принимал в этом участие.
Какой можно сделать вывод из показаний свидетелей, если выяснилось, что все они врали?
Предположим, что a говорит: «Или я лжец, или b рыцарь». Кто из двух персонажей – a и b – рыцарь и кто лжец?
Предположим, что a высказывает утверждение: «Я – лжец, а b не лжец». Кто из двух персонажей – a и b – рыцарь и кто лжец?
Предположим, a утверждает: «Если b – рыцарь, то я лжец». Кто из двух персонажей – a и b – рыцарь и кто лжец?
Предположим, a утверждает: «Если я – рыцарь, то и b - рыцарь». Убедиться, что a и b – рыцари.


Литература
Игошин, В.И. Задачи и упражнения по математической логике и теории алгоритмов: учеб. пособие для студ. высш. учеб. заведений / В.И. Игошин. – 3-е изд., стер. – М.: Издательский центр «Академия», 2007. – 304 с.
Андерсон, Д. А. Дискретная математика и комбинаторика: Пер. с англ. / Д.А. Андерсон. – М.: Издательский дом «Вильямс», 2004. – 960 с.: илл.
Стол, Р.Р. Множества. Логика. Аксиоматические теории. / Р.Р. Стол. Пер. с англ. Ю.А. Гастева и И.Х. Шмаина. Под ред. Ю.А. Шихановича. – М.: «Просвещение», 1968. – 231 с.: илл.
Драбкина, М.Е. Логические упражнения по элементарной математике / М.Е. Драбкина. – Минск: «Высшая школа», 1965.
Дорофеева, А.В. Высшая математика. Гуманитарные специальности. Сборник задач: учеб. пособие для вузов / А.В. Дорофеева. – М.: Дрофа, 2009. – 175, [1] с.: ил.
Эпова, Е.В. Вводный курс математики: Учебно-методическое пособие / Е.В. Эпова. – Чита: Изд-во ЗабГПУ, 2004. – 111 с.
Арбузов, П.В. Высшая математика для юристов: учебное пособие / П.В. Арбузов [и др.]. – Ростов н/Д: Феникс, 2007. – 442 с. Интернет-ресурс: [ Cкачайте файл, чтобы посмотреть ссылку ].

 Для всякой теоремы «если А, то В» можно сформулировать обратное предложение «если В, то А».
 Для всякой теоремы «если А, то В» можно сформулировать предложение «если не В, то А», которое называют противоположным данному.
 Для всякой теоремы «если А, то В» можно сформулировать предложение «если не В, то не А», которое называют обратным противоположному.
 Если связь есть, то необходимо записать какая, если связи нет, то поставить прочерк и пояснить почему.











Root EntryEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation NativeEquation Native

Приложенные файлы

  • doc 1463889
    Размер файла: 645 kB Загрузок: 0

Добавить комментарий