[лат. modus ponens – модус утверждающий] - модус условно-категорического умозаключения, вывод от утверждения основания к утверждению следствия.
Обычно они строятся на основе основных логических структур, таких как модус поненс (если А, то В; А,
В статье рассматривается метод управления и принятие решения о выделении канального ресурса СМО в условиях произвольного потока заявок и времени обслуживания. Решения этой задачи основываются на концепциях теории нечетких множеств, в частности, на принципе обобщении нечетких множеств и логического правила вывода «МОДУС-ПОНЕНС». В модели принятия решения априорно вводятся нечеткие шкалы входного потока интенсивности заявок, интенсивности обслуживания и коэффициента использования оборудования. Приведены алгоритм и примеры вывода решений для логических нечетких схем типа SISO и MISO
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.
(от фр. absurde – нелепица) – нелепость, бессмыслица. В логике под абсурдом обычно понимается противоречивое выражение. В таком выражении что-то утверждается и отрицается одновременно. «Сведение к абсурду» - один из способов опровержения, заключающийся в установлении ложности (или противоречивости) следствий, вытекающих из тезиса.
определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).
