Ложбан/Урок 38

Курс «Ложбан: логический язык для точного общения» (индекс)
Блок 1 Введение	Блок 2 Основы грамматики	Блок 3 Корни и словообразование	Блок 4 Предложения	Блок 5 Грамматические категории	Блок 6 Расширенная грамматика	Блок 7 Практика общения	Блок 8 Лексика по темам	Блок 9 Культура и ресурсы
1–7	8–15	16–21	22–27	28–33	34–40	41–47	48–54	55–60

Урок 37 ← Урок 37

Индекс курса

Урок 39 → Урок 39

Урок 38. Сложные логические выражения

Логика — это основа ложбана, поэтому язык предоставляет богатые возможности для выражения сложных логических отношений. В этом уроке мы рассмотрим, как комбинировать логические связки, отрицания и кванторы для создания точных логических высказываний.

Комбинирование логических связок

Логические связки могут комбинироваться для создания сложных условий.

Примеры:

• mi klama je citka — «я иду и ем» (конъюнкция действий).
• mi klama ja citka — «я иду или ем» (дизъюнкция действий).
• mi klama na.e citka — «я не иду и не ем» (отрицание обоих).

Кванторы существования и всеобщности

В ложбане есть способы выражения кванторов (как в логике):

• ro — «все» (квантор всеобщности).
• su'o — «некоторые» (квантор существования).
• no — «ноль» (отрицание существования).

Примеры:

• ro prenu cu klama — «все люди идут».
• su'o prenu cu klama — «некоторые люди идут».
• no prenu cu klama — «ни один человек не идёт».

Кванторы и отрицание

Отрицание может сочетаться с кванторами для создания точных логических выражений.

Примеры:

• na ro prenu cu klama — «не все люди идут».
• ro prenu na klama — «ни один человек не идёт» (все не идут).

Логические выражения с условиями

Условные конструкции (ganai) могут быть частью сложных логических выражений.

Пример: ganai ro prenu cu klama gi su'o prenu cu citka — «если все люди идут, то некоторые люди едят».

Практика

Переведите на ложбан:

1. «Все люди идут.» (используйте ro)
2. «Некоторые люди идут.» (используйте su'o)
3. «Ни один человек не идёт.» (используйте no)

Ответы:

1. ro prenu cu klama
2. su'o prenu cu klama
3. no prenu cu klama

В следующем уроке мы рассмотрим списки и множества.

Вопросы для самопроверки

1. Что такое кванторы в ложбане?
2. Как сказать «все люди» на ложбане?
3. Как сказать «некоторые люди» на ложбане?
4. Как комбинировать кванторы с отрицанием?

Рекомендуемая литература

• Logical Language Group.The Complete Lojban Language Logical Language Group, 1997.
• Lidström N..Lojban For Beginners Self-published, 2010.

Курс «Ложбан: логический язык для точного общения» (индекс)
Блок 1 Введение	Блок 2 Основы грамматики	Блок 3 Корни и словообразование	Блок 4 Предложения	Блок 5 Грамматические категории	Блок 6 Расширенная грамматика	Блок 7 Практика общения	Блок 8 Лексика по темам	Блок 9 Культура и ресурсы
1–7	8–15	16–21	22–27	28–33	34–40	41–47	48–54	55–60

Урок 37 ← Урок 37

Индекс курса

Урок 39 → Урок 39