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

Анализ сложного высказывания

Множества. Равенство множеств | Алгебра множеств | Декартово произведение и отношения | Эквивалентность | Частичный порядок | Построение контрпримера | Равносильные формулы | Некоторые логические законы | Нормальные формы | Логическое следствие |


Читайте также:
  1. A) проанализируйте модели образования слов, прочтите и переведите слова и словосочетания, созданные на их основе.
  2. I. АНАЛИЗ ПСИХИЧЕСКИХ И ПСИХОФИЗИЧЕСКИХ КАЧЕСТВ
  3. I. Ситуационный анализ внутренней деятельности.
  4. II. Выберите ОДНО из заданий. А) Комплексный анализ прозаического текста.
  5. III. Корреляционный анализ 1 страница
  6. III. Корреляционный анализ 2 страница
  7. III. Корреляционный анализ 3 страница

 

Если А и В высказывания, означающие соответственно «» и «2 - простое число», то формула представляет сложное высказывание «если неверно, что или 2 – простое число, то и неверно, что 2 – простое число». Сложное высказывание считается заданным тогда и только тогда, когда оно допускает единственный анализ, т.е. однозначно определена последовательность его получения из простых высказываний с помощью пропозициональных связок. Так, для рассматриваемого высказывания эта последовательность будет следующей:

 

 
1 1 1 1 2 2   3 3   определяем истинностные значения А и В; определяем истинностные значения и ; определяем истинностные значения и ; определяем истинностное значение .

 

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

Пример 1. Высказывание «неверно, что хотя бы одно из чисел 19, 21, 36 является квадратом натурального числа» расчленим на простые и запишем, используя операции над высказываниями. Обозначим А = «число 19 является квадратом натурального числа», В = «число 21 является квадратом натурального числа», С = «число 36 является квадратом натурального числа», тогда высказывание можно прочитать: «хотя бы одно из чисел 19, 21, 36 является квадратом натурального числа». А исходное высказывание можно записать скудеющим образом: . Заметим, что высказывания А, В – ложны, высказывание С – истинно, высказывание – истинно, а исходное высказывание – ложно.

Пример 2. Формула анализируется следующим образом:

 

 
1 1 1 1 1 1 2 2 2   3 3   определяем истинностные значения А, В, С; определяем истинностные значения и , ; определяем истинностные значения и ; определяем истинностное значение .

 

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

Пример 3.

л и л и и л л л и и и и л и л и и и и и и

 

Контрольные вопросы и упражнения

1. Какие из следующих предложений являются высказываниями:

а) Волга впадает в Азовское море;

б) студент математического факультета;

в) ;

г) ;

д) .

2. Пусть А – «сегодня ясно», В – «сегодня идет дождь», С – «сегодня идет снег», D – «вчера было пасмурно». Переведите на обычный язык следующие предложения:

а) ; в) ;

б) ; г) .

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

а) идет дождь или кто-то не выключил душ;

б) если 18 делится на 2 и делится на 3, то оно делится на 6;

в) треугольник равносторонний тогда и только тогда, когда он равнобедренный;

г) неверно, что хотя бы одно из чисел 19, 21, 36 является квадратом натурального числа.

4. Пусть А = 1, В = 1, С = 0, D = 0. Найти истинностное значение каждого из высказываний:

а) ;

б) ;

в) ;

г) ;

д) ;

е) .

5. Пусть . Что можно сказать о значении высказывания ?

6. Пусть . Что можно сказать о значениях высказываний и ?

7. Сколько существует различных унарных и бинарных операций над высказываниями? Задать все эти операции с помощью таблиц.

8. Исключающей дизъюнкцией (или суммой по модулю 2) двух высказываний А и В называется высказывание (либо А, либо В), которое истинно, когда одно, и только одно, из данных высказываний истинно. Задать операцию «+» таблицей и выразить ее через основные операции над высказываниями.

9. Логические операции «штрих Шеффера» () и «штрих Лукасевича» () задаются таблицами:

     
     
     
     

 

     
     
     
     

 

 

Доказать, что все основные логические операции можно выразить только через штрих Шеффера либо только через штрих Лукасевича.

10.Доказать, что каждая тернарная логическая операция может быть выражена через основные бинарные.

 


Дата добавления: 2015-11-14; просмотров: 83 | Нарушение авторских прав


<== предыдущая страница | следующая страница ==>
Высказывания и операции над ними| Формулы. Булевы функции

mybiblioteka.su - 2015-2024 год. (0.018 сек.)