Читайте также:
|
|
1. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
2. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
3. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
.
4. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
5. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
6. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
7. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
.
8. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
9. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
10. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
11. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
.
12. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
13. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
14. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
15. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
.
16. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
17. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
18. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
19. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
.
20. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
21. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
22. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
⊢
23. Доказать методом семантических таблиц, методом резолюций и методом равносильных преобразований тавтологичность формул:
Дата добавления: 2014-11-24; просмотров: 30 | Поможем написать вашу работу | Нарушение авторских прав |