1.

Переведите следующие утверждения в символическую форму, используя заглавные

буквы,
a. Картье не делает дешевые часы.
b. Если у Chanel есть аромат розового дерева, то у Lanvin - тоже.
c. У Шанель есть аромат палисандра, если он есть у Lanvin.
d. Mercedes представит гибридную модель только в том случае, если это сделают
Lexus и BMW.
e. Jaguar и Porsche не делают мотоциклы.
f. И Jaguar, и Porsche не производят мотоциклов.
g. Ни Ferrari, ни Maserati не производят экономичные автомобили.
h. Меркурий - это планета, в отличие от Плутона и Цереры.
i. Сатурн имеет кольца, Нептун ветреный или Юпитер массивный.
j. Барак Обама настаивает на мирных переговорах; но если Северная Корея начнет
войну, то в нее будут вовлечены либо Китай, либо Япония.
k. Дело не в том, что и Иран отказывается от своей ядерной программы, а Судан или
Пакистан борются с терроризмом.
l. Оставление Израилем своих поселений является достаточным условием для
объявления палестинцами прекращения боевых действий.
m. Оставление Израилем своих поселений является необходимым условием для
объявления палестинцами прекращения боевых действий.
n. Оставление Израилем своих поселений является достаточным и необходимым
условием для объявления палестинцами прекращения боевых действий.

2. Переведите следующие утверждения в символическую форму, используя заглавные

буквы,
a. Если мы не сократим масштабы жестокого обращения с детьми, в будущем
уровень преступности вырастет.
b. Если производители фармацевтических препаратов скрывают результаты тестов,
они подлежат существенному штрафу.
c. Производители сигарет не являются ни честными, ни социально ответственными.
d. Если использование Интернета продолжит расти, то все больше людей станут
кибераддиктами и нормальные человеческие отношения ухудшатся.
e. Если фильмы содержат сексуальное послание на подсознательном уровне или
если они бросают вызов традиционная семья, то консервативные политики
призывают к цензуре.
f. Если эволюционная биология верна, тогда высшие формы жизни возникли
случайно, и если это так, то в природе нет никакого замысла, а божественное
провидение - это миф.
g. Хоть редко, да метко.
h. «Почтенный старец этот постоянно был сердит или выпивши, или выпивши и
сердит вместе» (А. Герцен).
i. «Храбрец или сидит в седле, иль тихо спит в сырой земле» (Р. Гамзатов)

3. Определите главный оператор в следующих предложениях.

a. ∼(A ⋁ M ) ∼(C ⊃ E )
b. (G ∼P ) ⊃ ∼(H ⋁ ∼W )
c. E [(F ⊃ A) ≡ (∼G ⋁ H )]
4. Напишите следующие составные утверждения в символической форме, а затем
используйте свои знания об исторических событиях, на которые ссылаются простые
утверждения, для определения истинности составных утверждений.
a. Неверно то, что Гитлер управлял Третьим рейхом.
b. Гитлер управлял Третьим рейхом, а Никсон не ушел с поста президента.
c. Александр Великий цивилизовал Америку, если Францией правил Наполеон.
5. Определите значения истинности следующих утверждений, обозначенных символами.
Пусть A, B и C истинны, а X, Y и Z ложны. Обведите свой ответ.
a. A X
b. B ∼Y
c. B ⊃ ∼Z
d. ∼C ≡ Z
e. (Y ⊃ C ) ∼(B ⊃ ∼X )
f. (C ≡ ∼A) ⋁ (Y ≡ Z )
g. [(∼X ⋁ Z ) ⊃ (∼C ⋁ B)] [(∼X A) ⊃ (∼Y Z )]
6. Если возможно, определите значения истинности следующих утверждений, обозначенных
символами. Пусть A и B истинны, а Y и Z - ложны. P и Q имеют неопределенное истинное
значение. Если истинность утверждения не может быть определена, напишите «не
определено».
a. A ⋁ P
b. P ⊃ B
c. P ≡ ∼P
d. (P ⊃ A) ≡ (Q ⊃ B)
e. (Q ⊃ B) ⊃ (A ⊃ Y )
f. ∼(P ⊃ Y ) ⋁ (Z ⊃ Q)
g. [(Z ⊃ P ) ⊃ P] ⊃ P
7. Предположим, что Джек действительно доверяет Джону, но не наоборот. Тогда какие из
следующих восьми высказываний истинны?
a. Джек доверяет Джону.
b. Джон доверяет Джеку.
c. Джон и Джек доверяют друг другу.
d. Джон и Джек не доверяют друг другу.
e. Джон доверяет Джеку, но Джек не отвечает ему тем же.
f. Джек доверяет Джону, но Джон не доверяет Джеку.
g. Джек не доверяет Джону, но Джон доверяет Джеку.
h. Неверно, что Джек и Джон друг другу не доверяют
8. В деле об убийстве имеются двое подозреваемых – Петр и Иван. Допросили четырех
свидетелей, которые последовательно дали такие показания:
«Петр не виноват»,
«Иван не виноват»,
«Из двух первых показаний по меньшей мере одно истинно»,
«Показания третьего ложны».
Четвертый свидетель оказался прав.
Кто совершил преступление?
9. Используйте таблицы истинности, чтобы определить, являются ли следующие
символические утверждения тавтологичными, внутренне противоречивыми или
случайными.
a. N ⊃ (N ⊃ N )
b. (M ⊃ P ) ⋁ (P ⊃ M )
c. [(C ⊃ D) ∼C ] ⊃ ∼D
 d. [(Q ⊃ P ) (∼Q ⊃ R)] ∼(P ⋁ R)
10. Используйте таблицы истинности, чтобы определить, являются ли следующие пары
символизированных утверждений логически эквивалентными, противоречивыми,
консистентными или неконсистентными. Во-первых, определите, являются ли пары
предложений логически эквивалентными или противоречивыми; тогда, если эти
отношения не применяются, определите, являются ли они консистентными или
неконсистентными.
a. 1. ∼D ⋁ B ∼(D ∼B )
b. ∼K ⊃ L K ⊃ ∼L
c. H ≡ ∼G (G H ) ⋁ (∼G ∼H )
d. R (Q ⋁ S ) (S ⋁ R) (Q ⋁ R)
11. Используйте таблицы истинности, чтобы получить ответы на следующие упражнения:
a. Известный экономист Гарольд Карлсон делает следующий прогноз: «Платежный
баланс уменьшится тогда и только тогда, когда процентные ставки останутся
стабильными; однако это не тот случай, когда либо процентные ставки не
останутся стабильными, либо платежный баланс уменьшится ». Что мы можем
сказать о предсказании Карлсона?
b. Директор средней школы сделал это заявление школьному совету: «Либо музыку
не исключают из учебной программы, либо ученики станут культурными
филистерами; более того, студенты не станут культурными филистерами тогда и
только тогда, когда музыку исключат из учебной программы ». Если предположить,
что директор прав, что она рассказала нам о музыке и студентах? (Подсказка:
постройте таблицу истинности для утверждения принципала и изучите строку, на
которой утверждение оказывается истинным.)
c. Кристина и Томас обсуждают свои планы на вечер. Кристина: «Если ты меня не
любишь, то я точно не буду заниматься с тобой сексом». Томас: «Ну, это означает,
что если я тебя люблю, ты займешься со мной сексом, верно?» Томас прав?
(Подсказка: создайте таблицу истинности для каждого утверждения и сравните их.)
d. Эрик Карсон резюмирует свои убеждения о Боге следующим образом: «Бог
существует тогда и только тогда, когда либо жизнь имеет смысл, либо душа не
бессмертна. Бог существует, а душа бессмертна. Если Бог существует, тогда жизнь
не лишена смысла ». Возможно ли, что убеждения Эрика имеют смысл?