Вопросы с тегом «first-order-logic»

Мне кажется, что «подразумевает» в английском языке не означает то же самое, что «подразумевает» логический оператор, подобно тому, как слово «ИЛИ» в большинстве случаев означает «исключающее ИЛИ» в нашем повседневном использовании языка. Давайте возьмем два примера: Если сегодня понедельник, то завтра вторник. Это верно . Но если мы скажем: Если …

24 terminology  logic  first-order-logic  propositional-logic 

Недавно я думал о достоверности доказательства противоречием. В течение последних нескольких дней я читал материалы по интуиционистской логике и теоремам Годеля, чтобы посмотреть, дадут ли они мне ответы на мои вопросы. Прямо сейчас у меня все еще есть вопросы (возможно, связанные с новым материалом, который я прочитал), и я надеялся …

19 logic  first-order-logic  propositional-logic  incompleteness 

Я читал вопрос, что последовательность и полнота означают разумность? и первое утверждение в нем говорит: Я понимаю, что разумность подразумевает последовательность. Что меня очень озадачило, потому что я думал, что разумность была более слабым утверждением, чем последовательность (то есть я думал, что согласованные системы должны быть надежными, но я думаю, …

12 terminology  logic  first-order-logic  propositional-logic  incompleteness 

Я попытался выполнить следующее упражнение, но застрял, пытаясь найти все критические пары . У меня есть следующие вопросы: Как мне узнать, какая критическая пара произвела новое правило? Как я узнал, что нашел все критические пары? Пусть где бинарный, унарный, а константа. Σ={∘,i,e}Σ={∘,i,e}\Sigma= \left \{ \circ, i, e \right \}∘∘\circiiieeeE=⎧⎩⎨⎪⎪(x∘y)∘z≈x∘(y∘z)x∘e≈xx∘i(x)≈e⎫⎭⎬⎪⎪E={(x∘y)∘z≈x∘(y∘z)x∘e≈xx∘i(x)≈e} E=\left …

10 logic  first-order-logic