-
Правильно ли: Незаслуженного отдыха не бывает, следовательно, неверно, что всё заслуженное не есть отдых.
А: Отдых есть заслуженный.
Е: Всё заслуженное есть не отдых. (Обращаем: Е: Весь отдых не есть заслуженный).
Суждения
вида А и Е находятся в отношении
противоположности. А
противоположные суждения не могут быть
одновременно истинными, т.е. если одно
истинно, то другое ложно с необходимостью.
Противоположные суждения могут быть
одновременно ложными, но если одно
ложно, то другое может быть как истинным,
так и ложным. Следовательно, если суждение
вида А истинно, то Е с необходимостью
ложно.
Следовательно рассуждение верно.
-
Проверить правильность силлогизма: Акула плавает, так как все рыбы плавают, акула – это рыба.
М+ Р-
А: Все рыбы – плавают Б.П.
S+ М-
А: Акула – рыба М.П.
S+ Р-
А: Акула - плавает.
Рассуждение проходит по I фигуре простого категорического силлогизма. Правило терминов, посылок и фигур не нарушены. Модус ААА соответствует I фигуре, следовательно, силлогизм верен.
-
Определить вид и проверить умозаключение, приведя его к традиционным типам: Достоевский писал об униженных, оскорблённых и обделённых. А мой прадед не был ни униженным, ни оскорблённым, ни обделённым, следовательно, Достоевский о нём не писал.(сомневаюсь)
Сложное умозаключение по схемам логики высказываний.
А – Достоевский писал
В – униженные
С – оскорблённые
D – обделённые
Допустим
наша формула ложна. Мы нашли значения
переменных, при которых формула принимает
значение лжи. Значит наше предположение
верно, формула ложна.
|
А |
В |
С |
D |
A |
B |
C |
D |
ВVСVD |
( ВVСVD)A |
B˄C˄D |
(( ВVСVD)A)˄ (B˄C˄D) |
|
|
и |
и |
и |
и |
л |
л |
л |
л |
и |
и |
л |
л |
И |
|
и |
и |
и |
л |
л |
л |
л |
и |
и |
и |
л |
л |
И |
|
и |
и |
л |
и |
л |
л |
и |
л |
и |
и |
л |
л |
И |
|
и |
и |
л |
л |
л |
л |
и |
и |
и |
и |
л |
л |
И |
|
и |
л |
и |
и |
л |
и |
л |
л |
и |
и |
л |
л |
И |
|
и |
л |
и |
л |
л |
и |
л |
и |
и |
и |
л |
л |
И |
|
и |
л |
л |
и |
л |
и |
и |
л |
и |
и |
л |
л |
И |
|
и |
л |
л |
л |
л |
и |
и |
и |
л |
и |
и |
и |
Л |
|
л |
и |
и |
и |
и |
л |
л |
л |
и |
л |
л |
л |
И |
|
л |
и |
и |
л |
и |
л |
л |
и |
и |
л |
л |
л |
И |
|
л |
и |
л |
и |
и |
л |
и |
л |
и |
л |
л |
л |
И |
|
л |
и |
л |
л |
и |
л |
и |
и |
и |
л |
л |
л |
И |
|
л |
л |
и |
и |
и |
и |
л |
л |
и |
л |
л |
л |
И |
|
л |
л |
и |
л |
и |
и |
л |
и |
и |
л |
л |
л |
И |
|
л |
л |
л |
и |
и |
и |
и |
л |
и |
л |
л |
л |
И |
|
л |
л |
л |
л |
и |
и |
и |
и |
л |
и |
и |
и |
И |
Формула не является логическим законом, следовательно умозаключение выполнено неверно.