Мне кажется, что «подразумевает» в английском языке не означает то же самое, что «подразумевает» логический оператор, подобно тому, как слово «ИЛИ» в большинстве случаев означает «исключающее ИЛИ» в нашем повседневном использовании языка. Давайте возьмем два примера: Если сегодня понедельник, то...
Недавно я думал о достоверности доказательства противоречием. В течение последних нескольких дней я читал материалы по интуиционистской логике и теоремам Годеля, чтобы посмотреть, дадут ли они мне ответы на мои вопросы. Прямо сейчас у меня все еще есть вопросы (возможно, связанные с новым...
Я читал вопрос, что последовательность и полнота означают разумность? и первое утверждение в нем говорит: Я понимаю, что разумность подразумевает последовательность. Что меня очень озадачило, потому что я думал, что разумность была более слабым утверждением, чем последовательность (то есть я думал,...
Я попытался выполнить следующее упражнение, но застрял, пытаясь найти все критические пары . У меня есть следующие вопросы: Как мне узнать, какая критическая пара произвела новое правило? Как я узнал, что нашел все критические пары? Пусть где бинарный, унарный, а константа....