Поглощение (логика)

От / / Оставьте комментарий

Оглавление1 Поглощение (логика)1.1 Основы логики высказываний1.2 Правило поглощения1.3 Примеры и доказательства1.4 Рекомендации2 Поглощение (логика) — Википедия Поглощение (логика) Основы логики […]

Rules of inference, Theorems in propositional logic, Правила вывода, Теоремы логики высказываний

Поглощение (логика)

  • Основы логики высказываний

    • Введение/устранение двойного условия, конъюнкции, дизъюнкции, силлогизма, дилеммы и отрицания 
    • Ассоциативность, коммутативность, распределительная способность, двойное отрицание, законы Де Моргана, перестановка 
    • Экспорт, тавтология, универсальное и экзистенциальное обобщение 

  • Правило поглощения

    • Позволяет вводить союзы в доказательства 
    • Термин “Q” “поглощается” термином “P” в последующем 
    • Может быть выражено в виде последовательности с металогическим символом “⊢” 
    • Формулируется как истинно-функциональная тавтология 

  • Примеры и доказательства

    • Пример использования правила поглощения в доказательстве 
    • Доказательство с помощью таблицы истинности и формальное доказательство 

  • Рекомендации

    • Ссылка на закон поглощения и другие связанные темы 

Полный текст статьи:

Поглощение (логика) — Википедия

Похожие статьи:

  1. Поглощение (электромагнитное излучение) Оглавление1 Поглощение (электромагнитное излучение)1.1 Поглощение электромагнитного излучения1.2 Количественная оценка поглощения1.3 Измерение поглощения1.4 Приложения1.5 Полный текст статьи:2...
  2. Абсорбционная спектроскопия – Википедия Оглавление1 Абсорбционная спектроскопия1.1 Абсорбционная спектроскопия1.2 Спектр поглощения1.3 Теория1.4 Отношение к спектру пропускания1.5 Связь со спектром излучения1.6...
  3. Тавтология (правило вывода) Тавтология (правило логического вывода) Основы логики высказываний Тавтология – это правило замены, используемое для устранения избыточности...
  4. Субструктурная логика Оглавление1 Подструктурная логика1.1 Основы подструктурной логики1.2 Примеры и структура теории последовательности1.3 Особенности линейной логики и релевантной...
  5. Допустимое правило Оглавление1 Допустимое правило1.1 Основы допустимых правил1.2 Примеры допустимых правил1.3 Разрешимость и полнота1.4 Базисы допустимых правил1.5 Семантика...
  6. Тавтология (логика) Тавтология (логика) Тавтология – это предложение, которое всегда истинно.  Тавтологии играют важную роль в логике и...
  7. Кристаллографические дефекты алмаза Оглавление1 Кристаллографические дефекты в алмазе1.1 Дефекты в кристаллической решетке алмаза1.2 Маркировка алмазных центров1.3 Симметрия дефектов1.4 Внешние...
  8. Правило территории Оглавление1 Правило зоны1.1 Правило зоны Уиткомба1.2 Правило сверхзвуковой площади1.3 Корпус Сирса–Хаака1.4 История открытия1.5 Применение правила1.6 Современные...
  9. Структурное правило Оглавление1 Структурное правило1.1 Основы теории доказательств1.2 Общие структурные правила1.3 Интерпретация и дополнительные правила1.4 Устранение сокращений1.5 Другие...
  10. Молярный коэффициент поглощения Оглавление1 Молярный коэффициент поглощения1.1 Определение молярного коэффициента поглощения1.2 Закон Бера-Ламберта1.3 Применение молярного коэффициента поглощения1.4 Связь с...
  11. Ненормальная модальная логика Оглавление1 Ненормальная модальная логика1.1 Определение и история ненормальной модальной логики1.2 Синтаксис и семантика1.3 Защитные системы и...
  12. Двуусловное введение Оглавление1 Введение с двумя условиями1.1 Введение/устранение последствий1.2 Введение/отмена двойного условия1.3 Введение/устранение конъюнкции1.4 Введение/устранение дизъюнкции1.5 Дизъюнктивный/гипотетический силлогизм1.6...
  13. Конечнозначная логика Конечнозначная логика Конечнозначная логика – логическое исчисление высказываний с дискретными истинностными значениями.  Традиционная бивалентная логика Аристотеля...
  14. Биологические правила Биологические правила Биологические правила и законы – обобщенные законы, принципы или эмпирические правила, описывающие закономерности в...
  15. Структурное правило Оглавление1 Структурное правило1.1 Основы теории доказательств1.2 Общие структурные правила1.3 Интерпретация и дополнительные правила1.4 Альтернативные структурные правила1.5...
  16. Структурное правило Оглавление1 Структурное правило1.1 Основы теории доказательств1.2 Общие структурные правила1.3 Интерпретация и дополнительные правила1.4 Альтернативные структурные правила1.5...
  17. Многозначная логика Оглавление1 Многозначная логика1.1 Определение и история многозначной логики1.2 Применение и приложения1.3 Исследования и разработки1.4 Ключевые отличия...
  18. Ультрафиолетово-видимая спектроскопия – Википедия Оглавление1 Ультрафиолетово–видимая спектроскопия1.1 Ультрафиолетовая спектроскопия1.2 Принцип работы1.3 Оптические переходы1.4 Приложения1.5 Закон Бера-Ламберта1.6 Влияние растворителя и рН1.7...
  19. Экспорт (логика) Оглавление1 Экспорт (логика)1.1 Введение/устранение двойного условия1.2 Введение/устранение конъюнкции1.3 Дизъюнктивный/гипотетический силлогизм1.4 Конструктивная/деструктивная дилемма1.5 Поглощение/способ воздействия/способ понендо воздействия1.6...
  20. Многосортная логика Оглавление1 Многосортированная логика1.1 Основы многосортированной логики1.2 Многоуровневая логика и ее применение1.3 Алгебраизация многосортированной логики1.4 Логика упорядоченной...
  21. Квантовая логика Оглавление1 Квантовая логика1.1 Основы квантовой логики1.2 Структура и семантика1.3 Различия с классической логикой1.4 Связь с квантовым...
  22. Индийская логика Оглавление1 Индийская логика1.1 История индийской логики1.2 Школы индийской логики1.3 Развитие логики в Индии1.4 Навья-Ньяя и ее...

Оставьте комментарий

Прокрутить вверх