Контрольная по логике.

2. Средствами таблично построенной логики высказываний установи¬те, в каких отношениях находятся следующие высказывания?
"Если философ является дуалистом, то он не идеалист. Если философ не идеалист, то он диалектик или метафизик. Этот философ не метафизик. Он диалектик и не дуалист".

Выделяем простые суждения и формализуем их:
1) философ дуалист обозначим это суждение буквой «p»;
2) философ идеалист обозначим это суждение буквой «q»;
3) философ диалектик обозначим это суждение буквой «r»;
4) философ метафизик обозначим это суждение буквой «s».
Составим формулы сложных суждений:
1.
2.
3.
4.

1. Средствами таблично построенной логики высказываний установи¬те, является ли правильным следующее рассуждение:
'"Если Джонс не встречал этой ночью Смита, то либо Смит был убийцей, либо Джонс лжет. Если Смит не был убийцей, то Джонс не встречал Смита этой ночью, и убийство имело место после полуночи. Если убийство имело место после полуночи, то либо Смит был убийцей, либо Джонс лжет. Следо¬вательно, Смит был убийцей или Джонс лжет".
2. Средствами таблично построенной логики высказываний установи¬те, в каких отношениях находятся следующие высказывания?
"Если философ является дуалистом, то он не идеалист. Если философ не идеалист, то он диалектик или метафизик. Этот философ не метафизик. Он диалектик и не дуалист".
3. Установите, в каких отношениях попарно находятся следующие поня¬тия'? Изобразите отношения между их объемами посредством круговых схем.
«Преступление против личности». «Преступление против жизни». «Пре¬ступление против здоровья».
4. Является ли правильным следующее определение? Если определение неправильное, то какая ошибка допущена?
"Противозаконное действие это действие, запрещенное законом"'.

Ивлев Ю.В. Логика для юристов: Учеб. для вузов. - М.: Дело, 2000.