логическая операция, посредством которой объем делимого понятия распределяется на известные классы (множества) с точки зрения некоторого признака. Посредством операции Д. л. раскрывается объем того или иного понятия, выясняется, из каких подмножеств состоит множество, соответствующее делимому понятию.
Логические операции
Логические операции используются в логических выражениях....
Логические выражения имеют значение типа Boolean, которое принимает одно из двух логических значений:...
При выполнении логических операций логическим переменным присваивается результат вычислений, указанный...
К логическим операциям относятся: and, or, nod, xor, eqv, imp (логическое и, или, нет, логическое исключающее...
или, логическая эквивалентность, логическая импликация).
В ходе рассуждения при нарушении логических правил могут возникать логические ошибки....
Определение 2
Под логической ошибкой понимают ошибку, связанную с нарушением логической правильности...
суждения);
рассмотрении логически неправильного рассуждения как правильного (или логически правильного...
ошибки в делении: неполное деление, деление с излишними членами, деление по нескольким основаниям, скачки...
в делении и т. д.;
логические ошибки в аргументации: переход на личные качества оппонента (вместо обсуждения
В работе предлагается несколько оптимизаций метода логического вывода делением дизъюнктов на основе определяющего элемента, являющегося одним из составляющих подхода к верификации алгоритмов на основе техники проверки моделей. Рассматриваемые оптимизации базируются на предположениях о структуре посылок в базе знаний, сделанных с учетом заранее предопределенного выбора способа описания требований к объекту исследования формул темпоральной логики линейного времени. Оптимизации позволяют упростить некоторые шаги метода, что повышает его эффективность в конкретном случае.
(argumentum ad hominem) – подмена доказательства истинности или ложности выдвинутого тезиса свидетельствами выдающихся заслуг, научного авторитета, или, наоборот, отрицательных качеств, умственной ограниченности человека, выдвинувшего и обосновывающего этот тезис.
(лат. non segunitur) – логическая ошибка в доказательстве, состоящая в том, что в подтверждение тезиса выдвигаются такие доводы, которые сами по себе являются истинными суждениями, но из которых вовсе не следует (не вытекает логически) доказываемый тезис.
краткая запись закона противоречия.
