Запитання з тегом «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, …

10 logic  first-order-logic