2. Средствами таблично построенной логики выражений установи¬те, является ли безошибочным последующее суждение:
\'"Ежели Джонс не встречал данной ночкой Смита, то или Смит был убийцей, или Джонс обманывает. Ежели Смит не был убийцей, то Джонс не встречал Смита данной ночкой, и смертоубийство имело пространство опосля полуночи. Ежели смертоубийство имело пространство опосля полуночи, то или Смит был убийцей, или Джонс обманывает. Следо¬вательно, Смит был убийцей либо Джонс обманывает".
3. Средствами таблично построенной логики выражений установи¬те, в каких отношениях находятся последующие выражения ?
"Ежели философ является дуалистом, то он не идеалист. Ежели философ не идеалист, то он диалектик либо метафизик. Этот философ не метафизик. Он диалектик и не дуалист".
4. Установите, в каких отношениях попарно находятся последующие поня¬тия\'?Изобразите дела меж их размерами средством круговых схем.
5. Является ли безошибочным последующее определение?Ежели определение неверное, то какая опечатка допущена ?
"Преступное действие — это действие, запрещенное законодательством"\'.
Выдержка
2. Средствами таблично построенной логики выражений установи¬те, является ли безошибочным последующее суждение:
\'"Ежели Джонс не встречал данной ночкой Смита, то или Смит был убийцей, или Джонс обманывает. Ежели Смит не был убийцей, то Джонс не встречал Смита данной ночкой, и смертоубийство имело пространство опосля полуночи. Ежели смертоубийство имело пространство опосля полуночи, то или Смит был убийцей, или Джонс обманывает. Следо¬вательно, Смит был убийцей либо Джонс обманывает".
Для такого чтоб ответствовать на вопросец, является ли безошибочным суждение, установим, следует ли крайнее выражение из 3 первых. Для этого:
1)Выделим обыкновенные суждения и формализуем их:
а)Джонс не встречал данной ночкой Смита – обозначим это мнение буквой «p»;
б)Смит был убийцей – обозначим это мнение буквой «q»;
в)Джонс обманывает – обозначим это мнение буквой «r»;
г)Смертоубийство имело пространство опосля полуночи – обозначим это мнение буквой «s».
2)Составим формулы трудных суждений:
Литература
Логика. Захарченко Г. В.
2. Средствами таблично построенной логики высказываний установи¬те, является ли правильным следующее рассуждение:
'"Если Джонс не встречал этой ночью Смита, то