Логическая игра   ::   Кэрролл Льюис

Страница: 42 из 62

«Некоторые» предметы в логике означают «Один или несколько».

9. «Мир» в нашей игре означает класс предметов, изображаемых на диаграмме.

10. Двойным называется суждение, содержащее два утверждения, например суждение «Некоторые свежие булочки вкусные» и «Некоторые свежие булочки невкусные» – двойное.

11. Разбиение называется исчерпывающим, если каждый элемент класса принадлежит какой-то из частей, на которые распадается класс при данном разбиении. Например, разбиение класса «свежих булочек» на вкусные и невкусные является исчерпывающим, поскольку каждая свежая булочка должна быть либо вкусной, либо невкусной.

12. В тех случаях, когда человек не может решить, в какую из двух партий – республиканцев или демократов – он хочет вступить, в Америке говорят, что он «сидит на стенке» (и не знает, на какую сторону ему спрыгнуть).

13. «Некоторые x суть y» и «Ни один x не есть y'».

14. Суждения, в которых субъект состоит из одного-единственного предмета, называются единичными. Например, «Я счастлив», «Джона нет дома» – единичные суждения. Единичные суждения относятся к числу общих суждений, поскольку суждение «Я счастлив» эквивалентно суждению «Все я, которые существуют, счастливы», а суждение «Джона нет дома» – суждению «Всех Джонов, которых я рассматриваю в данным момент, нет дома».

15. Из суждений, начинающихся со слов «некоторые» или «все».

16. В тех случаях, когда суждения начинаются со слов «некоторые» или «ни один».

|< Пред. 40 41 42 43 44 След. >|

Java книги

Контакты: [email protected]