Частноутвердительные суждения по средствам противопоставления предикату не преобразуются.
Виды сложных суждений.
1. Соединительныеp^q.
Диверсия производится с целью подрыва экономической безопасности и обороноспособности РФ.
p | q | p^q |
И | И | И |
И | Л | Л |
Л | И | Л |
Л | Л | Л |
2. Разделительные p q.
Диверсии могут производить сепаратисты или спец. подразделения силовых ведомств.
p | q | р q |
И | И | И |
И | Л | И |
Л | И | И |
Л | Л | Л |
3. Строго разделительные р q.
Субъектом диверсии может быть или мужчина, или женщина.
p | q | р q |
И | И | Л |
И | Л | И |
Л | И | И |
Л | Л | Л |
4. Импликация р→q.
Если взрыв, поджог или иные действия направлены на подрыв экономической безопасности и обороноспособности РФ, то эти действия составляют объективную сторону диверсии.
p | q | р→q |
И | И | И |
И | Л | Л |
Л | И | И |
Л | Л | И |
5. Эквивалентность р ≡ q.
Тогда и только тогда деяние является диверсией, когда его субъективная сторона характеризуется прямым умыслом.
p | q | р≡q |
И | И | И |
И | Л | Л |
Л | И | Л |
Л | Л | И |
Сложное суждение.
Если диверсия осуществлена необразованным боевиком «Аль-Каиды», то она повлечет за собой многочисленные человеческие жертвы или основная цель (подрыв экономической безопасности и обороноспособности государства) не будет достигнута, и если диверсия совершена высококвалифицированным офицером «Альфы», то она не повлечет больших жертв, или количество жертв среди мирного населения будет соответствовать требованиям «Устава Войск специального назначения».
[а→(с d)] ^ [b→(c e)]
1) Составляем таблицу.
a) Выписываем суждения 0-ой степени.
а — диверсия осуществлена необразованным боевиком «Аль-Каиды».
b — диверсия совершена высококвалифицированным офицером «Альфы».
с — повлечет за собой многочисленные человеческие жертвы.
d — основная цель (подрыв экономической безопасности и обороноспособности государства) не будет достигнута.
е — количество жертв среди мирного населения будет соответствовать требованиям «Устава Войск специального назначения».
b) Выписываем суждения 1-ой степени.
с — не повлечет за собой многочисленные человеческие жертвы.c) Выписываем суждения 2-ой степени.
(c d) — повлечет за собой многочисленные человеческие жертвы или основная цель (подрыв экономической безопасности и обороноспособности государства) не будет достигнута.
(ce) — не повлечет больших жертв, или количество жертв среди мирного населения будет соответствовать требованиям «Устава Войск специального назначения».
d) Выписываем суждения 3-ой степени.
[а→(с d)] — если диверсия осуществлена необразованным боевиком «Аль-Каиды», то она повлечет за собой многочисленные человеческие жертвы или основная цель (подрыв экономической безопасности и обороноспособности государства) не будет достигнута.
[b→(c е)] — если диверсия совершена высококвалифицированным офицером «Альфы», то она не повлечет больших жертв, или количество жертв среди мирного населения будет соответствовать требованиям «Устава Войск специального назначения».
e) Выписываем суждения 4-ой степени, т.е. наше исходное суждение.
2) Определяем количество строк в таблице по формуле 2n, где n – число простых суждений.
25=32.
3) Чередование истинности определяем по формуле 2L-1, где L – номер столба на входе таблицы.
21-1=1; 22-1=2; 23-1=4; 24-1=8; 25-1=16.
№ | а | b | c | d | e | c | c d | c e | [a→(c d)] | [a→(c e)] | [a→(c d)]^[a→(c e)] |
1 | И | И | И | И | И | Л | И | И | И | И | И |
2 | И | И | И | И | Л | Л | И | Л | И | И | И |
3 | И | И | И | Л | И | Л | И | И | И | И | И |
4 | И | И | И | Л | Л | Л | И | Л | И | Л | Л |
5 | И | И | Л | И | И | И | И | И | И | И | И |
6 | И | И | Л | И | Л | И | И | И | И | И | И |
7 | И | И | Л | Л | И | И | Л | И | Л | И | Л |
8 | И | И | Л | Л | Л | И | Л | И | Л | И | Л |
9 | И | Л | И | И | И | Л | И | И | И | И | И |
10 | И | Л | И | И | Л | Л | И | Л | И | Л | Л |
11 | И | Л | И | Л | И | Л | И | И | И | И | И |
12 | И | Л | И | Л | Л | Л | И | Л | И | Л | Л |
13 | И | Л | Л | И | И | И | И | И | И | И | И |
14 | И | Л | Л | И | Л | И | И | И | И | И | И |
15 | И | Л | Л | Л | И | И | Л | И | Л | И | Л |
16 | И | Л | Л | Л | Л | И | Л | И | Л | И | Л |
17 | Л | И | И | И | И | Л | И | И | И | И | И |
18 | Л | И | И | И | Л | Л | И | Л | И | И | И |
19 | Л | И | И | Л | И | Л | И | И | И | И | И |
20 | Л | И | И | Л | Л | Л | И | Л | И | И | И |
21 | Л | И | Л | И | И | И | И | И | И | И | И |
22 | Л | И | Л | И | Л | И | И | И | И | И | И |
23 | Л | И | Л | Л | И | И | Л | И | И | И | И |
24 | Л | И | Л | Л | Л | И | Л | И | И | И | И |
25 | Л | Л | И | И | И | Л | И | И | И | И | И |
26 | Л | Л | И | И | Л | Л | И | Л | И | И | И |
27 | Л | Л | И | Л | И | Л | И | И | И | И | И |
28 | Л | Л | И | Л | Л | Л | И | Л | И | И | И |
29 | Л | Л | Л | И | И | И | И | И | И | И | И |
30 | Л | Л | Л | И | Л | И | И | И | И | И | И |
31 | Л | Л | Л | Л | И | И | Л | И | И | И | И |
32 | Л | Л | Л | Л | Л | И | Л | И | И | И | И |
Метод полных таблиц надежен, но в то же время очень громоздок и трудоемок. Особенно этот метод неудобен в условиях ограниченного времени. В связи с этим в логике появился упрощенный метод – метод сокращенных таблиц.
Сокращенная таблица.
Если диверсия совершена профессионально, то она может привести к разрушению обороны противника. Оборона противника разрушена, следовательно, диверсия проведена профессионально.
а – диверсия совершена профессионально.
b – разрушение обороны противника.