Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь КАТЕГОРИИ: АрхеологияБиология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия Экология ТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Формулы алгебры высказываний.
1. Каждая пропозиционная переменная, есть формула алгебры высказываний. 2. Если P и Q – это формулы алгебры высказываний, то выражения ⌐P, (P^Q), (PÚQ), (P–›Q), (P‹–›Q) являются формулами алгебры высказываний. 3. Никаких других формул кроме перечисленных в пунктах 1 и 2 нет. Пример: (xÙy)Ú формула алгебры высказываний. (xy) не формула алгебры высказываний. Все возможные логические значения формулы, в зависимости от значений входящих в неё элементарных высказываний, могут быть описаны полностью с помощью таблицы истинности. Например, для формулы таблица истинности имеет вид:
Классификация формул алгебры высказываний. Тавтологии (тождественно истинные формулы, законы алгебры высказываний) Формула алгебры высказываний называется тавтологией, если при любом наборе значений входящих в неё переменных, она принимает значение, истина. Противоречия (тождественно ложные формулы) Формула алгебры высказываний называется противоречием, если при любом наборе значений входящих в неё переменных, она принимает значение, ложь. Формула называется выполнимой, если существует, хотя бы один набор переменных, на котором эта формула принимает значение истина. Формула называется опровержимой, если существует, хотя бы один набор переменных, на котором эта формула принимает значение ложь. Следующие формулы являются тавтологиями
закон коммутативности конъюнкции, закон ассоциативности конъюнкции,
закон коммутативности дизъюнкции, закон ассоциативности дизъюнкции, закон дистрибутивности конъюнкции относительно дизъюнкции, закон дистрибутивности дизъюнкции относительно конъюнкции, законы де Моргана,
закон контрапозиции, закон двойного отрицания.
Свойства тавтологий 1. Формула А является тавтологией тогда и только тогда, когда её отрицание является противоречием. 2. Если формула А является тавтологией, А–›В тавтология, то В тавтология. 3. Если формула А(x1,……xn) – тождественно истинная и формулы В1(y1,….yk), B2(y1,….yk),…,Bn(y1,….yk) – тождественно истинные, то формула А*(y1,….yk) полученная из А, подстановкой в неё формул В1, В2 ,…, Bn является тождественно истинной.
Логическое следствие Формула алгебры высказываний В называется логическим следствием совокупности формул А1, А2,…, An, если она принимает значение истина на любом наборе на котором все формулы данной совокупности одновременно истинны. Пример: P–›Q - логическое следствие P‹–›Q, обратное логическое следование не выполняется. Тавтология является следствием любой совокупности формул. Следствием тождественно ложной формулы является любая формула.
|
|||||
Последнее изменение этой страницы: 2021-04-20; просмотров: 101; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 18.218.38.125 (0.006 с.) |