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

⇐ Предыдущая 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; просмотров: 741. Нарушение авторских прав; Мы поможем в написании вашей работы!

Важнейшие способы обработки и анализа рядов динамики Не во всех случаях эмпирические данные рядов динамики позволяют определить тенденцию изменения явления во времени...

ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при которых тело находится под действием заданной системы сил...

Теория усилителей. Схема Основная масса современных аналоговых и аналого-цифровых электронных устройств выполняется на специализированных микросхемах...

Логические цифровые микросхемы Более сложные элементы цифровой схемотехники (триггеры, мультиплексоры, декодеры и т.д.) не имеют...

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

Медицинская документация родильного дома Учетные формы родильного дома № 111/у Индивидуальная карта беременной и родильницы № 113/у Обменная карта родильного дома...

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

Приложение Г: Особенности заполнение справки формы ву-45 После выполнения полного опробования тормозов, а так же после сокращенного, если предварительно на станции было произведено полное опробование тормозов состава от стационарной установки с автоматической регистрацией параметров или без...

Измерение следующих дефектов: ползун, выщербина, неравномерный прокат, равномерный прокат, кольцевая выработка, откол обода колеса, тонкий гребень, протёртость средней части оси Величину проката определяют с помощью вертикального движка 2 сухаря 3 шаблона 1 по кругу катания...

Неисправности автосцепки, с которыми запрещается постановка вагонов в поезд. Причины саморасцепов ЗАПРЕЩАЕТСЯ: постановка в поезда и следование в них вагонов, у которых автосцепное устройство имеет хотя бы одну из следующих неисправностей: - трещину в корпусе автосцепки, излом деталей механизма...

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