Контрольная работа. Логические формулы и их виды: тождественно-истинные, тождественно-ложные, выполнимые (нейтральные) № 15439

Дисциплина. Логика
СОДЕРЖАНИЕ
ВВЕДЕНИЕ 3
1 Логические формулы и их виды 4
2. Суждение 6
2.1 Суждение и его типы 6
2.2 Логическая структура суждений и формализация 9
3 Логическая безупречность и корректность 13
ЗАКЛЮЧЕНИЕ 16
СПИСОК ИСПОЛЬЗОВАННОЙ ЛИТЕРАТУРЫ 17

Год сдачи: 2015

Интерпретация пропозициональных переменных – процедура, состоящая в приписывании пропозициональным переменным значений. Пропозициональные переменные являются нелогическими символами, которым соответствуют высказывания естественного языка. Каждое простое дескриптивное высказывание является либо истинным, либо ложным, следовательно значениями пропозициональных переменных будут являться «истина» и «ложь».

Виды формул классической логики высказываний – в логике высказываний различают следующие виды формул:

Законы (тождественно-истинные формулы) – формулы, которые при любых интерпретациях пропозициональных переменных принимают значение «истинно»;

Противоречия (тождественно-ложные формулы) – формулы, которые при любых интерпретациях пропозициональных переменных принимают значение «ложно»;

Выполнимые формулы – такие, которые принимают значение «истинно» хотя бы при одном наборе значений истинности входящих в их состав пропозициональных переменных.

Процедура разрешимости – метод, позволяющий для каждой формулы установить является она законом, противоречием или выполнимой формулой. Самой распространенной процедурой разрешимости является метод истинностных таблиц. Однако он не единственный. Эффективным методом разрешимости является метод нормальных форм для формул логики высказываний. Нормальной формой формулы логики высказываний является форма, не содержащая знака импликации «». Различают конъюнктивную и дизъюнктивную нормальные формы. Конъюнктивная форма содержит только знаки конъюнкции «». Если в формуле, приведенной к конъюнктивной нормальной форме, встречается подформула вида , то вся формула в этом случае является противоречием. Дизъюнктивная форма содержит только знаки дизъюнкции «». Если в формуле, приведенной к дизъюнктивной нормальной форме, встречается подформула вида , то вся формула в этом случае является законом. Во всех остальных случаях формула является выполнимой формулой.

Контрольная работа. Логические формулы и их виды: тождественно-истинные, тождественно-ложные, выполнимые (нейтральные) № 15439

Цена 300 руб.