Список схем

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

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

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. Правило сложной деструктивной дилеммы (С.Д.Д.)

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

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. И