Контрольная работа: Законы логики

Джон голосует "за" тогда и только тогда, когда "за" голосует Арнольд. Однако Арнольд не голосует "за", если и только если "за" голосует Билл.

( (Д«А) ^ (¬А«Б)) g (АvБ)

А	Б	Д	¬А	Д«А	¬А«Б	АvБ	( (Д«А) ^ (¬А«Б)) g (АvБ)
И	И	И	Л	И	Л	Л	И
И	И	Л	Л	Л	Л	Л	И
И	Л	И	Л	И	И	Л	И
И	Л	Л	Л	Л	И	Л	И
Л	И	И	И	Л	И	Л	И
Л	И	Л	И	И	И	Л	И
Л	Л	И	И	Л	Л	И	И
Л	Л	Л	И	И	Л	И	И

И из посылки (Джон голосует "за" тогда и только тогда, когда "за" голосует Арнольд. Однако Арнольд не голосует "за", если и только если "за" голосует Билл) следует, что "Арнольд или Билл голосовали за законопроект"

Если Джон или Билл голосуют "за", то также "за" голосует Арнольд. А если Джон не голосует "за", то не голосует и Арнольд.

В приведенном решении имеются расхождения в текстовой части объяснения с обозначениями в пункте 2 объяснения

Задание 11.

Известно, что суждение "Любая книга полезна" истинно. Пользуясь правилами логического квадрата, укажите, какие из приведенных ниже суждений являются:

А - ложными;

И - истинными.

1. Некоторые книги бесполезны.

Данное суждение находится в отношении противоречия по логическому квадрату с исходным суждением "Любая книга полезна". Из отношения противоречия из отношения противоречия следует ложность одного суждения при истинности другого. Следовательно, суждение "Некоторые книги бесполезны" при заданном в задании условии ложно.

Все книги бесполезны.

Данное суждение находится в отношении противоположности по логическому квадрату с исходным суждением. Из отношения противоположности следует ложность одного суждения при истинности другого, но не наоборот. Следовательно, суждение "Все книги бесполезны" при заданном в задании условии ложно.

Некоторые книги полезны.

Данное суждение будет истинным, потому что находится в отношении подчинения к суждению "Любая книга полезна", которое в свою очередь является подчиняющим. Из истинности подчиняющего следует истинность подчиненного.

Неверно, что любая книга полезна.

Это суждение эквивалентно суждению "Некоторые книги бесполезны", потому что отрицание общеутвердительного суждения дает эквивалентное ему частноотрицательное суждение. Разбор совпадает с первым примером.

Мне кажется суждение "Любая книга полезна" - истинно не соответствует истине, истинно на мой взгляд суждение "Некоторые книги полезны"

Задание 12.

Установите, какие пары суждений находятся в отношении противоречия.

Все студенты представили контрольную работу вовремя. - Ни один студент не представил работу вовремя.

Любой юрист должен уметь рассуждать. - Некоторые юристы не должны уметь рассуждать.

Все владельцы нового автомобиля счастливы. - Некоторые владельцы нового автомобиля счастливы.

каждый участник массового шествия нес флаг. - Ни один участник массового шествия не нес флага.

Ни одного экзамена 2-го семестра студент Р. не сдал на отлично. - Некоторые экзамены 2-го семестра студент Р. сдал на отлично.

Некоторые логические задачи решаемы. - Некоторые логические задачи не решаемы.

В отношении противоречия находятся суждения № 2 и 5.

Умозаключение.

Задание 13.