Классификация простых категорических суждений
Вид |
Обозначение |
Развернутое обозначение |
Формула |
Общеутвердительное |
А |
S a P |
Все S есть P |
Частноутвердительное |
I |
S i P |
Все S есть P |
Общеотрицательное |
E |
S e P |
Все S есть P |
Частноотрицательное |
O |
S o P |
Все S есть P |
СХЕМА № 3
Основные виды сложных суждений
Название |
Логическая связка |
Символическое выражение |
Отрицание |
не |
┐а |
Конъюнкция |
и |
а
|
Дизъюнкция |
или |
а
|
Строгая дизъюнкция |
либо, либо |
а |
Импликация |
если, то |
а → в |
Строгая импликация (эквиваленция) |
если и только если |
а ↔ в |
в
в
в
СХЕМА № 4
ТАБЛИЦЫ ИСТИННОСТИ СЛОЖНЫХ СУЖДЕНИЙ
а |
┐а |
|
||||
1 |
0 |
|
||||
0 |
1 |
|
||||
|
|
|
||||
|
|
|
||||
|
|
|
||||
|
|
|
||||
|
|
|
||||
а |
в |
а в |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
0 |
а |
в |
а в |
1 |
1 |
1 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
а |
в |
а в |
1 |
1 |
0 |
1 |
0 |
1 |
0 |
1 |
1 |
0 |
0 |
0 |
а |
в |
а ↔ в |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
0 |
0 |
0 |
1 |
а |
в |
а → в |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
0 |
0 |
1 |
СХЕМА № 5
Отношения между суждениями
|
Совместимые |
Несовместимые |
|||
|
Эквивалентные |
Подчинённые |
Частично совместимые |
Противо- положные |
Противо- речивые |
Простые суждения |
А – А Е - Е I - I O - O |
А - I
Е - О |
I - O |
А - Е |
А - О E - I |
Сложные суждения |
P M |
P M |
P M |
P M |
P M |
Если: |
1 1 0 0
|
1 1 0 1 0 0 |
1 1 1 0 0 1 |
0 0 1 0 0 1 |
1 0 0 1 |
Схема № 6