Законы алгебры высказываний. Первые три закона сформулированы еще Аристотелем

Первые три закона сформулированы еще Аристотелем.

1. – закон тождества (мысль, заключенная в некотором высказывании, остается неизменной на протяжении всего рассуждения, в котором это высказывание фигурирует).

2. – закон противоречия (никакое предложение не может быть истинным одновременно со своим отрицанием).

3. – закон исключения третьего (для каждого высказывания имеются лишь две возможности: это высказывание или истинно или ложно, третьего не дано).

4. – закон двойного отрицания.

5. – идемпотентность операции дизъюнкции.

6. – идемпотентность операции конъюнкции.

7. – коммутативность операции дизъюнкции.

8. – коммутативность операции конъюнкции.

9. – ассоциативность операции конъюнкции.

10. – ассоциативность операции дизъюнкции.

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

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

13. , – законы де Моргана для операций дизъюнкция и конъюнкция.

Тождества:

, , , .

Дата добавления: 2014-01-04