Надо доказать теорему:
|-(A->B)->(~AvB)
Можно пользоваться аксиомами Новикова,правилами вывода.Таблицей истинноти нельзя.
Уже долго пытаюсь это сделать,но без результатно. Если кто знает, как действовать помогите,пожалуйста.
Матлогика |