|
Математические заметки, 1984, том 36, выпуск 4, страницы 571–582
(Mi mzm5955)
|
|
|
|
Об инвариантных преобразованиях формул
В. И. Мартьянов
Аннотация:
Введены преобразования формул, являющиеся аналогом применения правила модус поненс в содержательных математических доказательствах. Приводятся условия корректности данных преобразований, то есть условия сохранения логического значения формулы после преобразования. Библ. 8 назв.
Поступило: 15.02.1983
Образец цитирования:
В. И. Мартьянов, “Об инвариантных преобразованиях формул”, Матем. заметки, 36:4 (1984), 571–582
Образцы ссылок на эту страницу:
https://www.mathnet.ru/rus/mzm5955 https://www.mathnet.ru/rus/mzm/v36/i4/p571
|
Статистика просмотров: |
Страница аннотации: | 191 | PDF полного текста: | 90 | Первая страница: | 1 |
|