Мои Конспекты
Главная | Обратная связь

...

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

ЗАКОНИ ЛОГІКИ ВИСЛОВЛЕНЬ





Помощь в ✍️ написании работы
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой

Завдання. Чи будуть законами логіки висловлень наступні формули:

(а) (p ® q) ® q; (б) (p \/ q) ® p; (в) ~(p \/ q) ® (~p /\ ~q)?

Відповідь обґрунтуйте методом семантичних таблиць.

Зразок відповіді. Будуємо таблиці істинності формул:

 

(а) (p ® q) ®q; і і і і і і х х і х х і і і і х і х х х (б) (p \/ q) ®p і і і і і і і х і і х і і х х х х х і х (в) ~ (p \/ q) ®(~p /\ ~q) х і і і і х х х х і і х і х х і х х і і і і х х і х х х і і і і

 

Формули (а) та (б) не виражають законів логіки, оскільки не є тотожно істинними, тобто набувають різних значень за усіх наборів значень змінних, що входять до їх складу.

Формула (в) є тотожно істинною, тому є законом логіки висловлень.

 

Завдання.Чи виражатиме подана нижче формула закон тотожності, якщо замінити праву частину рівносильності на ліву:

A B = (A \/ B) /\ (~A /\ ~B)?

Зразок відповіді. Якщо замінити праву частину рівносильності лівою, то отримуємо формулу, що визначає закон тотожності: A B = A B.

Читається: Або А, або В тоді і тільки тоді, коли або А, або В.

 

Завдання.Чи можна вважати закон ідемпотентності стосовно кон’юнкції і диз’юнкції конкретизацією закону тотожності в логіці висловлень?

Зразок відповіді.Так, закон ідемпотентності стосовно кон’юнкції (А /\ А = А) та закон ідемпотентності стосовно диз’юнкції (А \/ А = А) можна вважати конкретизацією закону тотожності в логіці висловлень.

 

Завдання. Обґрунтуйте методом аналітичних таблиць істиннісне значення формули (A ® B) ® (~B ® ~A) та визначте її клас, і на цій підставі дайте відповідь на питання: чи є ця формула законом логіки?

Доверь свою работу ✍️ кандидату наук!
Поможем с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой



Поиск по сайту:







©2015-2020 mykonspekts.ru Все права принадлежат авторам размещенных материалов.