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