<<
>>

7.3.Использование логических законов

Умозаключение:

Если ты будешь говорить правду, то тебя возненавидят люди. Если будешь лгать, то возненавидят боги. Но ты должен или гово­рить правду или лгать. Следовательно, тебя возненавидят люди или возненавидят боги.

Формализация умозаключения:

У = (п ^ л)х (П ^ Б )х (п ^ П Ц(л + Б)

где П — ты будешь говорить правду. Л — тебя полюбят люди. Б — тебя полюбят боги.

У = (П + Л)*(П + Б)*1 ^(Л + Б)=(П * П + Л * П + П * Б + Л * Б)^(л + Б) =

= Л * П + П * Б + Л * Б + Л + Б = (Л + П)*(П + Б)*(Л + Б) + Л + Б =

= (Л * П + Л * Б + П * Б)* (Л + Б)+ Л + Б =

= Л * П + Л * Б + Л * Б * П + Л * Б * П + Л * Б + Л + Б =

= Л * П + Л * Б + Л + Б = (Л + Л)* (Л + П)+(Л + Л)* (Л + б)+ Б =

= Л + П + Л + Б + Б = 1

Вывод: умозаключение верно.

7.4.

<< | >>
Источник: Алексеев С.И.. ИССЛЕДОВАНИЕ СИСТЕМ УПРАВЛЕНИЯ:— М.: Изд. центр ЕАОИ. — 195 с.. 2008

Еще по теме 7.3.Использование логических законов:

  1. 9. ОСОБЕННОСТИ ЛОГИЧЕСКИХ ЗАКОНОВ И ИХ СВЯЗЬ С ПРИНЦИПАМИ МЫШЛЕНИЯ
  2. Основы построения и использования механизмов логического вывода
  3. 4.4. Основы построения и использования механизмов логического вывода
  4. 5.5 Мероприятие 3: Проектирование логической структуры
  5. 26. ЛОГИЧЕСКИЕ ОПЕРАЦИИ С СУЖДЕНИЯМИ
  6. 3.2. ЛОГИЧЕСКИЙ УРОВЕНЬ
  7. Задача "Определение логической последовательности выполнения функций"
  8. 9. Закон об укреплении обороны Соединенных Штатов. (Закон о ленд-лизе)
  9. 6.1.2. Расчетно-логические системы с базами знаний
  10. 4.4.1. Механизм логического вывода в продукционных системах
  11. Структурно-логические схемы
  12. 19. ОПРЕДЕЛЕНИЕ ПОНЯТИЯ КАК ЛОГИЧЕСКАЯ ОПЕРАЦИЯ
  13. 4.4.2. Понятие о механизме логического вывода в сетевых системах
  14. 4.4.3. Понятие о механизме логического вывода во фреймовых системах
  15. 20.3 Формально-логические модели конфликтов
  16. 41. ОБРАЗНАЯ И СЛОВЕСНО-ЛОГИЧЕСКАЯ ПАМЯТЬ
  17. 7. Закон о трудовых отношениях. (Закон Вагнера)