Поиск:

Modus ponens

Modus ponens это верное заключение, состоящее в переходе от истинности посылки к истинности ее необходимого следствия. Modus ponens принимает форму: если р, то q однако р, следовательно, q

Пример Modus ponens:

Если Сократ человек, то он смертен; однако Сократ человек, следовательно, Сократ смертен.

Похожие слова:

  • ПыткаПытка Пытка это сознательное стремление причинить другому человеку  сильное […]
  • АбстракцияАбстракция Абстракция «В науке существует только общее, — говорил Аристотель, — а в […]
  • КонъюнкцияКонъюнкция Конъюнкция это соединение или связь. В логике конъюнкцией называют […]
  • ГордыняГордыня Всякая гордыня иллюзорна, поскольку заставляет нас видеть в себе […]
  • БесплатныйБесплатный Бесплатный это не то, что не имеет цены (бесплатность не есть […]
  • ЛикейЛикей Ликей это греческое название школы Аристотеля — гимнасия, расположенного […]
  • МассаМасса Масса это большое число. Когда это слово употребляют по отношению к […]
  • МатематикаМатематика Математика это первоначально наука о величинах, фигурах и числах (см. […]
  • Modus tollensModus tollens Modus tollens это верное заключение, приводящее к выводу о ложности посылки […]
  • ДосугДосуг У античных мудрецов существовало понятие otium, под которым они понимали […]
  • ФрустрацияФрустрация Фрустрация это отсутствие чего-либо при неспособности его получить или […]