ru.algorithms

 
 - RU.ALGORITHMS ----------------------------------------------------------------
 From : Alexander Lukichev                   2:5030/595.25  19 Jan 2002  11:51:19
 To : Konstantin Osmehin
 Subject : Re: Логика высказываний
 -------------------------------------------------------------------------------- 
 

 
 18 Jan 02 15:26, Konstantin Osmehin писало All:
 
  KO> может немного оффтопик, но скажите как следующее предложение перевести
  KO> в формулу на языке высказываний: "Если 'a', то 'b', если только не
  KO> 'c'"
 
                      _
 Может, так: (a->b) * c
 
 -> - импликация
 
 * - конъюнкция
 _
 с - отрицание с
 
 ~~~~~~~~~~~~~~
 Всего хорошего,
               Alexander.
 ---
  * Origin: Fatum non penis - in manus non recipes! (2:5030/595.25)
 
 

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

Тема:    Автор:    Дата:    Логика высказываний   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