ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Alexander Grischuk                   2:462/177.4    20 Jan 2002  17:27:38
 To : Stanislav Shwartsman
 Subject : Логика высказываний
 -------------------------------------------------------------------------------- 
 

 
 
  KO>> может немного оффтопик, но скажите как следyющее пpедложение
  KO>> пеpевести в фоpмyлy на языке высказываний: "Если 'a', то 'b',
  KO>> если только не 'c'"
 
  SS>  A AND NOT C ==> B ?
 
 Hет.
 
 A^(~C)<->B
 
                                                             Alexander
 ---
  * Origin: Отсyтвие фактов можно заменить наглостью (2:462/177.4)
 
 

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

Тема:    Автор:    Дата:    Логика высказываний   Konstantin Osmehin   18 Jan 2002 16:26:18   Логика высказываний   Stanislav Shwartsman   18 Jan 2002 17:42:51   Логика высказываний   Alexander Grischuk   20 Jan 2002 17:27:38   Re Логика высказываний   Iskander Sagen   21 Jan 2002 07:27:10   Re: Re Логика высказываний   Konstantin Osmehin   21 Jan 2002 17:49:10   Re Логика высказываний   Iskander Sagen   22 Jan 2002 03:25:10   Re: Логика высказываний   Alexander Lukichev   19 Jan 2002 11:51:19   Re: Логика высказываний   Konstantin Osmehin   21 Jan 2002 09:02:17   Re: Логика высказываний   Igor Krassikov   22 Jan 2002 22:57:00