Ну вы тут за меня не определяйте, что я понимаю, а что нет.
Да хочу, если человек изучал логику, то он должен это знать, а если нет, то не надо постоянно кричать, что он знаток логики, а все его оппоненты не имеют о логике никакого представления.
Логика предикатов, это не математическая логика, а исчисление формальной логики, изучаемое, в частности, на юридическом факультете в курсе логики.
Мировоззренческая дискуссия с Вовой Пэ, вам самому то не смешно.
Он от Вас хочет исчисление предикатов
например, юристы иногда очень даже хорошо, виртуозно владеют логикой, не имея понятия о математической логике.
И уж совсем математическая логика не нужна в мировоззренческой дискуссии, которая тут идет на форуме.
Комментарий