Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Если несколько простых высказываний объединены в одно с помощью логических операций и скобок, то такое высказывание называется сложным.





 

Скобки необходимы для определения порядка выполнения логических операций. Примеры сложных высказываний:

 

СЛОЖНОЕ ВЫСКАЗЫВАНИЕ СОСТАВЛЯЮЩИЕ ПРОСТЫЕ ВЫСКАЗЫВАНИЯ ФОРМА СЛОЖНОГО ВЫСКАЗЫВАНИЯ
Е = Идет дождь, а у меня нет зонта А = Идет дождь; В = У меня есть зонт
Е = Когда живется весело, то и работа спорится А = Живется весело; В = Работа спорится
Е = Идет налево – песнь заводит, направо – сказку говорит А = Идет налево; В = Идет направо; С = Песнь заводит; D = Сказку говорит

 

В формальной логике принято, что всякое простое высказывание обязательно имеет одно из двух значений – истина или ложь. Следует отметить, что значение не всегда известно. Примерами таких высказываний являются недоказанные или неопровергнутые гипотезы: предположение о существовании жизни на Марсе и т.п. Однако в случае простого высказывания всегда допустимо договориться о том, считать его истинным или ложным.

Сложное высказывание также является истинным или ложным, но это значение вычисляется. Вычисление производится по форме сложного высказывания в соответствии с таблицами истинности входящих в него логических операций. Следовательно, для определения значения истинности сложного высказывания надо уметь определять форму и знать правила логических операций.

Реальную задачу получаем, как правило, в виде текста на естественном языке. И прежде чем приступить к ее решению, надо выделить простые высказывания, отношения (связи) между ними и перевести их на язык формул (формализовать условие задачи, определить форму сложного высказывания).

 

При вычислении значения логического выражения (формулы) логические операции вычисляются в определенном порядке, согласно их приоритету:

1) инверсия; 2) конъюнкция; 3) дизъюнкция; 4) импликация и эквивалентность.

Операции одного приоритета выполняются слева направо. Для изменения порядка действий используются скобки.

ДАНА ФОРМУЛА: ПОРЯДОК ВЫЧИСЛЕНИЙ:
1) - инверсия;
2) - конъюнкция;
3) - дизъюнкция;
4) - импликация;
5) - эквивалентность.
1) - инверсия;
2) - импликация в скобках;
3) - конъюнкция;
4) - дизъюнкция;
5) - эквивалентность.

Значение сложного высказывания определяется по таблице истинности. Рассмотрим примеры определения значений сложных высказываний.







Дата добавления: 2015-09-15; просмотров: 773. Нарушение авторских прав; Мы поможем в написании вашей работы!




Вычисление основной дактилоскопической формулы Вычислением основной дактоформулы обычно занимается следователь. Для этого все десять пальцев разбиваются на пять пар...


Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...


Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...


Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Метод Фольгарда (роданометрия или тиоцианатометрия) Метод Фольгарда основан на применении в качестве осадителя титрованного раствора, содержащего роданид-ионы SCN...

Потенциометрия. Потенциометрическое определение рН растворов Потенциометрия - это электрохимический метод иссле­дования и анализа веществ, основанный на зависимости равновесного электродного потенциала Е от активности (концентрации) определяемого вещества в исследуемом рас­творе...

Гальванического элемента При контакте двух любых фаз на границе их раздела возникает двойной электрический слой (ДЭС), состоящий из равных по величине, но противоположных по знаку электрических зарядов...

Этапы трансляции и их характеристика Трансляция (от лат. translatio — перевод) — процесс синтеза белка из аминокислот на матрице информационной (матричной) РНК (иРНК...

Условия, необходимые для появления жизни История жизни и история Земли неотделимы друг от друга, так как именно в процессах развития нашей планеты как космического тела закладывались определенные физические и химические условия, необходимые для появления и развития жизни...

Метод архитекторов Этот метод является наиболее часто используемым и может применяться в трех модификациях: способ с двумя точками схода, способ с одной точкой схода, способ вертикальной плоскости и опущенного плана...

Studopedia.info - Студопедия - 2014-2025 год . (0.012 сек.) русская версия | украинская версия