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