Технология проверки правильности умозаключения

(на основе использования таблиц истинности)

1. Выбор элементарных суждений.

2. Перевод на язык алгебры логики посылок.

3. Перевод на язык алгебры логики заключения.

4. Составление логической формулы умозаключения.

5. Составление таблицы истинности.

6. Анализ таблицы истинности.

7. Вывод относительно истинности умозаключения.

Задача 1

Будет ли правильным умозаключение: Если мы не будем продолжать политику сохранения цен, то мы потеряем голоса акционеров. Если же будем продолжать эту политику и не прибегнем к контролю над производством, то продолжится перепроизводство. Без голосов акционеров нас не переизберут. Значит, если нас переизберут и мы не прибегнем к контролю над производством, то продолжится перепроизводство.

Решение

1. Выберите элементарные суждения

A- ___________________________________________________________________

B- ___________________________________________________________________

C- ___________________________________________________________________

D- ___________________________________________________________________

E- ___________________________________________________________________

2. Переведите на язык алгебры логики посылки

1 посылка: ________________________________

2 посылка:_________________________________

3 посылка:_________________________________

3. Переведите на язык алгебры логики заключение

Заключение: ________________________________

4. Составьте логическую формулу умозаключения

F=

5. Укажите порядок действий в найденной функции согласно их приоритетам.

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

Таблица 4

Таблица истинности для логической функции F

аргументы					действия
A	B	C	D	E	1	2	3	4	5	6	7	8	9	10	11	12	13

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

Дополнительные задания:

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

2. Решить задачи 2,3.

Задача 2

Фирмы A,B,C,D,E планируют принять участие в проекте строительства монорельсовой дороги в аэропорт «Внуково». Известно, что a) Если А участвует, то В и С тоже участвуют; b) Если С участвует, то D участвует; c) Е участвует тогда и только тогда , когда участвует В; d) Из фирм А и В участвует, по крайней мере, одна; e) Только одна из фирм D и E участвует в проекте. Какие фирмы примут участие в проекте строительства?

Задача 3

Фирмы A,B и C желают получить кредит в банке. Известно, что : a) Фирма А получит кредит тогда и только тогда , когда В не получиткредит или С не получит кредит; b) Если С получит кредит, то неверно,что A и B получат; c) Получит кредит только одна из трех фирм; d) Либо В получит кредит, либо А получит, а С не получит. Какие фирмы получат кредит?

Отчет по работе должен содержать:

1. Название работы

2. Цель работы

3. Составленную формулу алгебры логики

4. Таблицу истинности для формулы

5. Упрощенную равносильную формулу

6. Логические выводы относительно истинности умозаключений

Практическое занятие 3

Экспертные оценки в исследовании систем управления (по теме 5).

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

Содержание работы

1. На основании оценок экспертов, приведенных в таблице, определите сумму баллов, ранг и весомость объекта.

Таблица 1