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