tt-conspect icon indicating copy to clipboard operation
tt-conspect copied to clipboard

Published 20 hours ago • verified publisher icon artemohanjanyan

Описка в выводе парадокса Карри

Open Kowalski1337 opened this issue 6 years ago • 2 comments

7 страница, 3 пункт вывода парадокса Карри, неправильно использована схема аксиом, пропущены скобки

Kowalski1337 avatar Sep 27 '18 19:09 Kowalski1337

Там неявно подразумевается, что только что введённый комбинатор-импликация правоассоциативен, как и сама импликация. Но можно и исправить :man_shrugging:

artemohanjanyan avatar Sep 27 '18 19:09 artemohanjanyan

Либо явно написать что "комбинатор-импликация правоассоциативен как и сама импликация"

qradimir avatar Oct 01 '18 15:10 qradimir