Пусть предложение "X -> Y" произносится по-русски "Если Икс, то Игрек.".
Как произнести по-русски предложение "(X -> (Y -> Z)) -> ((X -> Y) -> (X -> Z))"?
Добавить комментарий
|
2 ответа
Месье знает толк в извращениях... Я бы сказал, что никак. Главное -- зачем?
Именно для этого и используется "иероглифическая" письменность в математике. Перевести её на человеческий язык можно, например, так:
- Если из X следует, что из Y следует Z, то если из X следует Y, из X следует и Z.
Но это перевод на письменный вариант языка. В устном можно просто комбинировать следует/если в любом порядке, удачно расставив паузы и выделив цельные математические утверждения интонацией.
-
Большое спасибо за ответ. Без пауз и интонаций, обсуждаемое предложением можно произнести так: "Если Икс влечёт импликацию Игрек в Зет, то импликация Икс в Игрек влечёт импликацию Икс в Зет". Commented 7 июл. 2014 в 14:26
-
Да, хорошо. Математической логикой отдельно я не занимался, так что правильность терминологии — на вашей совести, но звучит понятно. Commented 7 июл. 2014 в 15:19