Логика - высказывание
Cтраница 3
Пусть А - формула языка логики высказываний или логики предикатов, не содержащая знака импликации э; формула А наз. A & - - BiD - ( A VВ) конструктивно верна и даже выводима в Рейтинга формальной системе, однако обратная импликация двойственных формул - ] ( А & В) - А v - В конструктивно неверна ( напр. [31]
Логика предикатов представляет собой расширение логики высказываний, которое позволяет, в частности, учитывать структуру атомарных формул. [32]
Преобразуем выражение ГЩу по равносильностям логики высказываний в выражение DE, являющееся дизъюнкцией элементарных конъюнкций. Тогда каждый дизъюнктивный член выражения DEtJ будет, очевидно, тестом. [33]
Разумеется, предлагаемое геометрическое построение логики высказываний и логики одноместных предикатов эквивалентно обычному. Ценность и преимущество диаграмм состоит в их наглядности. Наглядность может оказаться существенным подспорьем при решении задач и доказательстве теорем, во всяком случае пренебрегать ею вряд ли стоит. Кроме того, аппарат диаграмм допускает обобщения, важные, например, при описании функционирования нейронных сетей и построении надежных систем из относительно мало надежных элементов. [34]
Моргана для образования отрицания в логике высказываний. В силу закона двойного отрицания - - А - А к этому виду может быть приведена любая формула классич. Вместе с предыдущими эквиваленциями ( 5) - ( 8), тавтологией классич. A - B - - AVB и правилом образования отрицания, это позволяет построить для каждой формулы классич. Формулы ( 1) и ( 2) дают в классич. [35]
В то же время совокупности выражений логики высказываний, с одной стороны, и теории контактных схем, с другой - можно рассматривать в качестве конкретных интерпретаций ( представлений, моделей, реализаций) исчисления высказываний, получаемых в результате приписываний бессодержательным формулам исчисления высказываний некоторого смысла: в первом случае в терминах высказывания ( предложений, суждений, утверждений) и форм высказываний, во втором - в терминах контактных электрических схем. [36]
Нам известно, что произвольную формулу логики высказываний можно привести к конъюнктивной нормальной форме ( КНФ), эквивалентной исходному высказыванию. КНФ - это по сути конъюнкция дизъюнкций литералов, причем в каждой дизъюнкции никакой литерал не встречается более одного раза. [37]
Формализуем понятие логического следствия применительно к логике высказываний. [38]
Так же, как и в логике высказываний, мы сначала определим атомы логики первого порядка. Прежде чем дать формальное определение атома, рассмотрим несколько примеров. [39]
Система символической логики, предметом которой является логика высказываний; логическое исчисление, определяющее с помощью доказуемых в нем формул законы, которым подчиняются логические операции И, ИЛИ. [40]
I при рассмотрении исчисления высказываний из всей логики высказываний в целом нами была особо выделена так называемая позитивная логика, представляющая собой совокупность таких способов умозаключений, которые не зависят от допущения о том, что для каждого суждения имеется другое, ему противоположное. [41]
Приписывание подчиняется классическим правилам оценки сложных формул логики высказываний. [42]
 |
Множества А и А. [43] |
Точно так же, как основной целью логики высказываний было определение значения истинности высказывания, так основной целью алгебры множеств является определение принадлежности точки А некоторому множеству. [44]
В отличие от обычной арифметики, в логике высказываний имеется пара операций, из к-рых каждая дистрибутивна относительно другой - это конъюнкция и дизъюнкция. [45]
Страницы: 1 2 3 4