<<
>>

Примеры

Пусть (47) имеет вид ?У(Б, Г, Т, С). Тогда предложение Бamp;Г будет кодом для (Бamp;Г)amp;(Тamp;С) точно так же, как русское баранина и говядина является сокращенным вариантом предложения «баранина и говядина, но не телятина и не свинина.».

Если (12) представить в виде ?УФ(х — мальчик, у — девочка II х брат у), то Джеф и Робин, Джеф и Уэнди, Чарли и Нэнси, */а/с а Джуди, Мэт а Сара служат кодом следующего ответа, где кванторы и знаки конъюнкции— русские слова: (Джеф брат Робин amp;Джеф брат Уэнди amp;Чарли брат Нэнси amp; Чак брат Джуди amp;Мэт брат Сары) amp; (для всех х и у, если х — девочка amp; у — мальчик, то если х брат у, то либо х = Джеф amp;у = Робин, либо х = Джеф amp;у = Уэнди, либо х = Чарли amp;у = Нэнси, лабо х = Чакamp;у = Джуди, лабо л; = Мэтamp;у = Сара) amp;(для всех х и у либо Джеф Ф Джеф, лабо Робин Ф Уэнди, amp; л«бо Джеф Ф Чарли, лабо Робин Ф Нэнси, amp; либо Джеф Ф ф Чак, лабо Робин Ф Джуди, amp; лабо Джеф Ф Мэт, лабо Робин Ф Сара, amp; лабо Джеф Ф Чарли, лабо Уэнди Ф Ф Нэнси, amp; лабо Джеф Ф Чак, лабо Уэнди Ф Джуди, amp; либо Джеф Ф Мэт, лабо Уэнди Ф Сара, amp; лабо Чарли ф Ф Чак, лабо Нэнси Ф Джуди, amp; либо Чарли Ф Мэт, либо Нэнси Ф Сара, amp; лабо */а/с Мэт, лабо Джуди ф Ф Сара).
<< | >>
Источник: Н. БЕЛНАП, Т СТИЛ. ЛОГИКА ВОПРОСОВ И ОТВЕТОВ. МОСКВА - «ПРОГРЕСС», 1981. 1981

Еще по теме Примеры:

  1. В.              Учебные примеры Пример 1. Окна из Билефельда для Англии71
  2. С.              Учебные примеры Пример 1. Мазут для топливной системы отца
  3. В. Учебные примеры Пример 1. Международное картельное право: Фирма «Ланд- техник» в Дании23
  4. В.              Учебные примеры Пример 1. Итальянский управляющий. конкурсной массой вчиняет иск в Германии
  5.   2. Это доказывается на примере воспринимаемых чувствами вещей, а также на примере самих одушевленных существ  
  6. Б. Учебные пример Пример 1. Автомашина «феррари» и ее ипотека в Германии16
  7. В.              Учебные примеры Пример 1. Бразильский наследственный случай
  8. В.              Учебные пример Пример 1. «Винтер ЛТД» в Дюссельдорфе30
  9. С.              Учебные примеры Пример 1. Ответственность производителей асбеста55
  10. Б. Учебные пример Пример 1. Уволенная кассирша55
  11. 2.5. Примеры вычисления арифметических выражений со степенями
  12. Метод примера
  13. Пример типичного развития
  14. Примеры реального развития
  15. Пример