Отрицание предложений с кванторами

Условимся отрицание предложения записывать как , а отрицание предложения – как . Очевидно, что предложение имеет тот же смысл, а следовательно, то же значение истинности, что и предложение , а предложение – тот же смысл, что . Иначе говоря, равносильно ; равносильно .

Кванторы общности и существования называют двойственными относительно друг друга.

Дата добавления: 2014-01-04; Просмотров: 316; Нарушение авторских прав?; Мы поможем в написании вашей работы!