Помощь - Поиск - Пользователи - Календарь
Полная версия: Матлогика
Форум «Всё о Паскале» > Образование и наука > Математика
Fanat
Надо доказать теорему:
|-(A->B)->(~AvB)
Можно пользоваться аксиомами Новикова,правилами вывода.Таблицей истинноти нельзя.
Уже долго пытаюсь это сделать,но без результатно. Если кто знает, как действовать помогите,пожалуйста.
Fanat
Доказано.
Это текстовая версия — только основной контент. Для просмотра полной версии этой страницы, пожалуйста, нажмите сюда.