Списки прямые

3. Упражнение

1. Список №7 «Схемы»

1. A, B ├ A & B 2. A & B ├ A 3. A & B ├ B 4. A, B ├ A ∨ B 5. A ∨ B, Ø B ├ A 6. A ∨ B, Ø A ├ B 7. A É B, A ├ B 8. A É B, BÉ A ├A ↔ B 9. A ↔ B, ├ A É B 10. A ↔ B ├B É A 11. A ├ Ø Ø A 12. Ø Ø A ├ A 13. П (пос), A(доп)…B ├ A É B 14. П (пос), A(доп)…B, Ø B, ├ Ø A 15. A É B, B É C ├ A ÉC 16. A É B, Ø B ├ Ø A 17. Ø (A Ú B) ├ Ø A & Ø B 18. Ø (A & B) ├ Ø A Ú Ø B 19. A É B ├ Ø B É Ø A 20. Ø B É Ø A ├ A É B 21. (A & B) É C ├ (A & Ø C) É Ø B 22. A É C, B É C, A Ú В ├ C 23. A É C, B É D, A Ú B ├ C Ú D 24. A É B, A É C, Ø B Ú Ø C ├ Ø A 25. A É B, C É D, Ø B Ú Ø D ├ Ø A Ú Ø C

4. Упражнение

2. Список названий

1. В.К. 2. У.К. 3. У.К. 4. В.Д 5. У.Д. 6. У.Д. 7. У.И. 8. В.Э. 9. У.Э. 10. У.Э. 11. В.О 12. У.О. 13. В.И. 14. С.А. 15. Правило условного силлогизма 16. Правило modus tollens 17. Правило отрицания дизъюнкции (ОД) 18. Правило отрицания конъюнкции(закон де Моргана) (ОК) 19. Правило контрапозиции 1 20. Правило обратной контрапозиции 2 21. Правило сложной контрапозиции 22. Правило простой конструктивной дилеммы (П.К.Д.) 23. Правило сложной конструктивной дилеммы (С.К.Д.) 24. Правило простой деструктивной дилеммы (П.Д.Д.) 25. Правило сложной деструктивной дилеммы (С.Д.Д.)

\

5. Упражнение

3. Список

6. Упражнение

4. Список

7. Упражнение

5. Список

6. Таблица умножения

1. И ¹Л≡ 2. Л ¹И≡ 3. ØЛ ≡ 4. И Ú И ≡ 5. И ® Л ≡ 6. И«И ≡ 7. Л ¹Л ≡ 8. ЛÙ И ≡ 9. И Ú Л ≡ 10. И Ù И ≡ 11. И Ù Л ≡ 12. И¹ И ≡ 13. Л ® Л ≡ 14. И ® И ≡ 15. ØИ ≡ 16. И «Л ≡ 17. ЛÚ Л ≡ 18. ЛÙ Л ≡ 19. Л «И ≡ 20. ЛÚИ ≡ 21. Л ®И ≡ 22. Л «Л ≡

Ответы

1. И 2. И 3. И 4. И 5. Л 6. И 7. Л 8. Л 9. И 10. И 11. Л 12. Л 13. И 14. И 15. Л 16. Л 17. Л 18. Л 19. Л 20. И 21. И 22. И

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

Основные правила:

прямые