ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Borodin Anatoly                      2:5020/400     29 Apr 2002  16:24:39
 To : Sergey Zorin
 Subject : Re: <none>
 -------------------------------------------------------------------------------- 
 

 > (B=>C)=>((A=>B)=>(A=>C))
 
 A,A->B|-B
 A,A->B,B->C|-C
 A->B,B->C|-A->C
 B->C|-(A->B)->(A->C)
 |-(B->C)->((A->B)->(A->C))
 
 > A^B=>C |- A=>(B=>C)
 
 A,B|-A^B надо вывести (вывод зависит от системы аксиом)
 A,B,A^B->C|-C и т.д.
 
 -- 
 Digitally yours,
 
     Borodin Anatoly       mailto:fractal@viii.ntu-kpi.kiev.ua
           http://viii.ntu-kpi.kiev.ua/~fractal
 --- ifmail v.2.15dev5
  * Origin: NTUU "KPI" (2:5020/400)
 
 

Вернуться к списку тем, сортированных по: возрастание даты  уменьшение даты  тема  автор 

Тема:    Автор:    Дата:    <без заголовка>   Sergey Zorin   29 Apr 2002 10:11:26   Re: <none>   Borodin Anatoly   29 Apr 2002 16:24:39   <без заголовка>   Wowa Savin   30 Apr 2002 11:16:44   <без заголовка>   Dmitrii Potapov   30 Apr 2002 22:25:45