|
0 / 0 / 0
Регистрация: 11.11.2010
Сообщений: 26
|
|
| 1 | |
Вывести исходя из аксиом Черчелля, следствий, Modus Ponus, теоремы о дедукции и правил.21.04.2012, 19:44. Показов 774. Ответов 1
Метки нет (Все метки)
благодарю заранее!))
0
|
|
(|
|
| 21.04.2012, 19:44 | |
|
Ответы с готовыми решениями:
1
Используя теорему дедукции,схемы аксиом ,доказать что данная формула есть теоремой
|
|
0 / 0 / 0
Регистрация: 11.11.2010
Сообщений: 26
|
|
| 24.04.2012, 23:27 [ТС] | 2 |
|
люди,вообще как это делается и где можно посмотреть?а то вообще понятия не имею как это решить((
0
|
|
| 24.04.2012, 23:27 | |
|
Помогаю со студенческими работами здесь
2
Вывести высказывание из системы аксиом Вывести высказывание из системы аксиом
Искать еще темы с ответами Или воспользуйтесь поиском по форуму: |
