Материальная импликация (правило вывода)

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

Существенный вывод (правило вывода) Материальная импликация — правило замены условного утверждения дизъюнкцией, в которой отрицается предшествующее.  Правило гласит, что P […]

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

Существенный вывод (правило вывода)

  • Материальная импликация — правило замены условного утверждения дизъюнкцией, в которой отрицается предшествующее. 
  • Правило гласит, что P подразумевает Q логически эквивалентно not-P или Q. 
  • Если P истинно, то Q также должно быть истинным. 
  • Если Q истинно, то P не может быть истинным. 
  • Если P ложно, то Q может быть как истинным, так и ложным. 
  • Пример: условный факт «если это медведь, то он умеет плавать» может быть преобразован в «это не медведь» или «он умеет плавать». 

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

Материальная импликация (правило вывода) — Википедия

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

  1. Условный оператор Условный оператор Определение условного оператора Условный оператор поддерживает многие языки программирования, включая C, C++, C#, и...
  2. Факт Факт Факт — это достоверная информация об одном или нескольких аспектах обстоятельств.  Научные факты проверяются путем...
  3. Материальный условный Материальная обусловленность Материальная импликация — бинарный функциональный оператор истинности, возвращающий «true», если только первый аргумент не...
  4. Правило вывода Правило вывода Введение/устранение последствий, двойное условие, конъюнкция, дизъюнкция и другие логические формы являются правилами вывода в...
  5. Механизм вывода Механизм логического вывода Основы логического вывода Логический вывод — это процесс применения правил к базе знаний...
  6. Биологические правила Биологические правила Биологические правила и законы — обобщенные законы, принципы или эмпирические правила, описывающие закономерности в...
  7. Правило 34 Правило 34 Определение и история «Правила 34» «Правило 34» — интернет-мем, утверждающий, что в интернете есть...
  8. Тавтология (правило вывода) Тавтология (правило логического вывода) Основы логики высказываний Тавтология — это правило замены, используемое для устранения избыточности...
  9. Материальная непричастность Материальное упрощение Материальная неимпликация или отсечение — отрицание материальной импликации в логике.  Это означает, что для...
  10. Необходимость и достаточность Необходимость и достаточность Необходимые и достаточные условия используются в логике для определения связи между двумя утверждениями. ...
  11. Список правил вывода Список правил вывода Введение/устранение последствий, двойное условие, конъюнкция, дизъюнкция и другие правила вывода относятся к математическим...
  12. Правило 90 Правило 90 Определение и свойства правила 90 Правило 90 — это клеточный автомат с двумя состояниями,...
  13. Допустимое правило Допустимое правило Основы допустимых правил Допустимые правила — это правила, которые могут быть выведены из аксиом...
  14. Принцип бивалентности Принцип двузначности Определение и значение двузначной логики Двузначная логика — это логика, в которой каждое высказывание...
  15. Бык (биржевой спекулянт) Бык (биржевой спекулянт) Определение и использование терминов «бык» и «медведь» «Бык» — инвестор, покупающий акции в...
  16. Родившееся правило Рожденное правило Правило Борна — постулат квантовой механики, определяющий вероятность измерения квантовой системы.  Правило Борна было...
  17. Нечеткое правило Нечеткое правило Основы нечеткой логики Нечеткие правила используются для вывода на основе входных переменных.  Modus ponens...
  18. Правило продукта Правило продукта Производная функции f(x) определяется как предел отношения приращения функции к приращению аргумента.  Правило произведения...
  19. Rule of inference — Wikipedia Правило вывода Введение/устранение последствий, двойное условие, конъюнкция, дизъюнкция и другие логические формы являются правилами вывода в...
  20. Конструктивная дилемма Конструктивная дилемма Основы пропозициональной логики Введение/устранение двойного условия, конъюнкции, дизъюнкции, отрицания и других логических операторов  Ассоциативность,...
  21. Правило 63 Правило 63 Происхождение и значение «Правила 63» «Правило 63» — интернет-мем, утверждающий существование гендерных версий персонажей. ...
  22. Правило 5-4-3 правило 5-4-3 Основы правила 5-4-3 Правило 5-4-3 определяет количество ретрансляторов и сегментов в сетях Ethernet с...

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

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