Студопедия

КАТЕГОРИИ:

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



I. Решение логических задач средствами алгебры логики. Обычно используется следующая схема решения:




Читайте также:
  1. I. Решение логических задач средствами алгебры логики
  2. II Разрешение космологической идеи о целокупности деления данного целого в созерцании
  3. II. ЗАДАЧИ НАУЧНОГО КРУЖКА
  4. II. Решение логических задач табличным способом
  5. III. О делении общей логики на аналитику и диалектику
  6. III. Решение логических задач с помощью рассуждений
  7. IV Разрешение космологической идеи о всеобщей зависимости явлений по их существованию вообще
  8. IV. О делении трансцендентальной логики на трансцендентальную аналитику и диалектику
  9. V. Завершение рассмотрения морфологических воззрений Гете.

 

Обычно используется следующая схема решения:

· изучается условие задачи;

· вводится система обозначений для логических высказываний;

· конструируется логическая формула, описывающая логические связи между всеми высказываниями условия задачи;

· определяются значения истинности этой логической формулы;

· из полученных значений истинности формулы определяются значения истинности введённых логических высказываний, на основании которых делается заключение о решении.

Пример: Трое друзей, болельщиков автогонок "Формула-1", спорили о результатах предстоящего этапа гонок.

— Вот увидишь, Шумахер не придет первым, — сказал Джон. Первым будет Хилл.

— Да нет же, победителем будет, как всегда, Шумахер, — воскликнул Ник. — А об Алези и говорить нечего, ему не быть первым.

Питер, к которому обратился Ник, возмутился:

— Хиллу не видать первого места, а вот Алези пилотирует самую мощную машину.

По завершении этапа гонок оказалось, что каждое из двух предположений двоих друзей подтвердилось, а оба предположения третьего из друзей оказались неверны. Кто выиграл этап гонки?

Решение. Введем обозначения для логических высказываний:

Ш — победит Шумахер; Х — победит Хилл; А — победит Алези.

Реплика Ника "Алези пилотирует самую мощную машину" не содержит никакого утверждения о месте, которое займёт этот гонщик, поэтому в дальнейших рассуждениях не учитывается.

Зафиксируем высказывания каждого из друзей:

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

Высказывание истинно только при Ш=1, А=0, Х=0.

Ответ. Победителем этапа гонок стал Шумахер.

 

 


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





lektsii.com - Лекции.Ком - 2014-2020 год. (0.007 сек.) Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав
Главная страница Случайная страница Контакты