ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Victor Sedyakin                      2:463/381      18 Jan 2002  22:21:29
 To : Konstantin Osmehin
 Subject : Логика высказываний
 -------------------------------------------------------------------------------- 
 

 
       18 Jan 02 15:26, Konstantin Osmehin wrote to All:
 
  KO> Hi, All
  KO> может немного оффтопик, но скажите как следующее предложение перевести
  KO> в формулу на языке высказываний: "Если 'a', то 'b', если только не
  KO> 'c'"
 
 Имхо так: (not c)->(a->b).
 
                                    Your sincerely Victor Sedyakin.
 ---
  * Origin: Victor Sedyakin Xebec BBS line 1 (FidoNet 2:463/381)
 
 

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