Мат. логика: импликация

[arseniiv]

grizzly в сообщении #982073 писал(а):

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

Про оценочные суждения сказать ничего не могу, в этом не силён; остальное же довольно просто: синтаксис — выводимость, семантика — истинность. Хотя лучше книжку почитать, это действительно, чем меня.