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

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

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

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

5
Чому звучність означає послідовність?
Я читав питання Послідовність і повнота передбачає здоровість? і перше твердження в ньому говорить: Я розумію, що здоровість передбачає послідовність. Я був дуже спантеличений, тому що я вважав, що звучність є слабкішим твердженням, ніж послідовність (тобто, я вважав, що послідовні системи повинні бути здоровими, але я думаю, що це неправда). …
Використовуючи наш веб-сайт, ви визнаєте, що прочитали та зрозуміли наші Політику щодо файлів cookie та Політику конфіденційності.
Licensed under cc by-sa 3.0 with attribution required.