Логическая игра | страница 28
6. Суждение, в котором утверждается, что некоторые из предметов, принадлежащих субъекту суждения, являются такими-то и такими-то, называются частным. Например, «Некоторые свежие булочки вкусные», «Некоторые свежие булочки невкусные» — частные суждения.
Суждение, в котором утверждается, что ни один из предметов, принадлежащих субъекту суждения, не есть то-то и то-то, или, наоборот, все предметы являются такими-то и такими-то, называется общим. Например, «Ни одна свежая булочка не вкусна», «Все свежие булочки не вкусны» — суждения общие.
7. Предметы, находящиеся в любой из клеток малой диаграммы, обладают двумя признаками, которые обозначены буквами, стоящими на прямых, отделяющих эту клетку от соседних.
8. «Некоторые» предметы в логике означают «Один или несколько».
9. «Мир» в нашей игре означает класс предметов, изображаемых на диаграмме.
10. Двойным называется суждение, содержащее два утверждения, например суждение «Некоторые свежие булочки вкусные» и «Некоторые свежие булочки невкусные» — двойное.
11. Разбиение называется исчерпывающим, если каждый элемент класса принадлежит какой-то из частей, на которые распадается класс при данном разбиении. Например, разбиение класса «свежих булочек» на вкусные и невкусные является исчерпывающим, поскольку каждая свежая булочка должна быть либо вкусной, либо невкусной.
12. В тех случаях, когда человек не может решить, в какую из двух партий — республиканцев или демократов — он хочет вступить, в Америке говорят, что он «сидит на стенке» (и не знает, на какую сторону ему спрыгнуть).
13. «Некоторые x суть y» и «Ни один x не есть y'».
14. Суждения, в которых субъект состоит из одного-единственного предмета, называются единичными. Например, «Я счастлив», «Джона нет дома» — единичные суждения. Единичные суждения относятся к числу общих суждений, поскольку суждение «Я счастлив» эквивалентно суждению «Все я, которые существуют, счастливы», а суждение «Джона нет дома» — суждению «Всех Джонов, которых я рассматриваю в данным момент, нет дома».
15. Из суждений, начинающихся со слов «некоторые» или «все».
16. В тех случаях, когда суждения начинаются со слов «некоторые» или «ни один». Например, суждение «Некоторые abc суть def» можно преобразовать в суждение «Некоторые bf суть acde», причём и исходное и конечное суждения эквивалентны суждению «Некоторые abcdef существуют».
17. Некоторые тигры свирепы.
Ни один тигр не кроток.
18. Некоторые сваренные вкрутую яйца вредны для здоровья.