Запитання з тегом «propositional-logic»

Мені здається, що "мається на увазі" в англійській мові не означає те саме, що логічний оператор "передбачає", подібно до того, як слово "АБО" у більшості випадків означає "Ексклюзивне АБО" у повсякденному мовному використанні. Візьмемо два приклади: Якщо сьогодні понеділок, то завтра вівторок. Це правда . Але якщо ми скажемо: Якщо …

24 terminology  logic  first-order-logic  propositional-logic 

Мені хотілося б знати, чи є правило, щоб довести це. Наприклад, якщо я буду використовувати закон розподілу, я отримаю лише ( A ∨ A ) ∧ ( A ∨ ¬ B )(А∨А)∧(А∨¬Б)(A \lor A) \land (A \lor \neg B) .

22 logic  propositional-logic 

Нещодавно я думав про обґрунтованість доказу протиріччя. Останні кілька днів я читав речі з інтуїтивної логіки та теореми Годеля, щоб побачити, чи дадуть мені відповіді на мої запитання. Зараз у мене ще тривають запитання (можливо, це стосується нового матеріалу, який я читав) і сподівався отримати відповіді ( ПОПЕРЕДЖЕННЯ . Ви …

19 logic  first-order-logic  propositional-logic  incompleteness 

Я читав питання Послідовність і повнота передбачає здоровість? і перше твердження в ньому говорить: Я розумію, що здоровість передбачає послідовність. Я був дуже спантеличений, тому що я вважав, що звучність є слабкішим твердженням, ніж послідовність (тобто, я вважав, що послідовні системи повинні бути здоровими, але я думаю, що це неправда). …

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