ТАБЛИЦЫ, СХЕМЫ И ЛОГИЧЕСКИЕ ПРАВИЛАМодальные суждения: эквивалентности Необходимо, что x ≡ Неверно, что возможно не- x Случайно, что x ≡ Возможно, что x, и возможно, что не- x Неверно, что необходимо x ≡ Возможно, что не- x Неверно, что запрещено x ≡ Разрешено x * * * Обязательно, что x ≡ Неверно, что возможно не- x Запрещено, что x ≡ Обязательно, что не- x Неверно, что запрещено x ≡ Разрешено x
* * *
Доказано, что x ≡ Неверно, что правдоподобно не- x Доказано, что не- х ≡ Опровергнуто, что x Правдоподобно, что x ≡ Неверно, что доказано x, и неверно, что опровергнуто x Если доказано, что x, то x имеет место Если опровергнуто, что x, то x не имеет места
Категорические суждения
Логический квадрат
Внешнее отрицание: эквивалентности
(1) Неверно, что (Все S суть P) ≡ Некоторые S не суть P. (2) Неверно, что (Все S не суть P) ≡ Некоторые S суть P (3) Неверно, что (Некоторые S суть P) ≡ Все S не суть P (4) Неверно, что (Некоторые S не суть P) ≡ Все S суть P
Дедуктивные правила вывода из сложных суждений модус поненс МП:
|
