Законы логики (свойства логических операций)

⇐ Предыдущая 1 2 345 6 7 8 9 10 Следующая ⇒

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

1. - закон двойного отрицания.

2. - закон коммутативности конъюнкции.

3. - закон коммутативности дизъюнкции.

4. - закон ассоциативности конъюнкции.

5. - закон ассоциативности дизъюнкции.

6. - закон дистрибутивности конъюнкции относительно дизъюнкции.

7. - закон дистрибутивности дизъюнкции относительно конъюнкции.

8. - закон отрицания дизъюнкции.

9. - закон отрицания конъюнкции.

10. - закон отрицания импликации.

11. - закон выражения эквивалентности через конъюнкцию и импликацию.

12. - закон контрапозиции.

13. - закон силлогизма.

Для доказательства любого из приведенных выше законов можно использовать следующие способы:

1. Построить таблицы истинности для левых и правых частей эквивалентности и убедиться, что получены одинаковые значения для всех значений атомов.

2. Построить значение всей формулы и убедится, что формула является тавтологией.

Пример. Докажем закон отрицания конъюнкции () этими способами:

1. Найдем значения для и и сравним их.

A	B
И	И	И	Л	Л	Л	Л
И	Л	Л	И	Л	И	И
Л	И	Л	И	И	Л	И
Л	Л	Л	И	И	И	И

2. Найдем значение и убедимся, что при всех значениях A и B - это истинное значение.

A	B
И	И	И	Л	Л	Л	Л	И
И	Л	Л	И	Л	И	И	И
Л	И	Л	И	И	Л	И	И
Л	Л	Л	И	И	И	И	И

⇐ Предыдущая 1 2 345 6 7 8 9 10 Следующая ⇒

Дата добавления: 2014-10-22; просмотров: 717. Нарушение авторских прав; Мы поможем в написании вашей работы!

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

Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...

Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...

Обзор компонентов Multisim Компоненты – это основа любой схемы, это все элементы, из которых она состоит. Multisim оперирует с двумя категориями...

Типовые ситуационные задачи. Задача 1.У больного А., 20 лет, с детства отмечается повышенное АД, уровень которого в настоящее время составляет 180-200/110-120 мм рт Задача 1.У больного А., 20 лет, с детства отмечается повышенное АД, уровень которого в настоящее время составляет 180-200/110-120 мм рт. ст. Влияние психоэмоциональных факторов отсутствует. Колебаний АД практически нет. Головной боли нет. Нормализовать...

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

Признаки классификации безопасности Можно выделить следующие признаки классификации безопасности. 1. По признаку масштабности принято различать следующие относительно самостоятельные геополитические уровни и виды безопасности. 1.1. Международная безопасность (глобальная и...

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

Случайной величины Плотностью распределения вероятностей непрерывной случайной величины Х называют функцию f(x) – первую производную от функции распределения F(x): Понятие плотность распределения вероятностей случайной величины Х для дискретной величины неприменима...

Схема рефлекторной дуги условного слюноотделительного рефлекса При неоднократном сочетании действия предупреждающего сигнала и безусловного пищевого раздражителя формируются...

Studopedia.info - Студопедия - 2014-2024 год . (0.013 сек.) русская версия | украинская версия