[devel] [PATCH] apt virtual packages
Alexey Tourbin
=?iso-8859-1?q?at_=CE=C1_altlinux=2Eru?=
Вс Дек 17 19:41:28 MSK 2006
On Sun, Dec 17, 2006 at 07:09:33PM +0300, Alexey Tourbin wrote:
> Ага, тут похоже должно быть "<=". Дело в том, что всего одной операции
> "<=" достаточно, чтобы логически вывести все остальные операции сравнения.
>
> (==)(a,b) := (a<=b)&&(b<=a)
> (>=)(a,b) := !(b<=a)
> (!=)(a,b) := !(a==b)
> (<)(a,b) := (a<=b)&&(a!=b)
> (>)(a,b) := (a>=b)&&(a!=b)
>
> А в случае с одной только операцией "<" такой ляпоты не получается,
> потому что не удается логически вывести равенство.
Кажется я гоню, причем от безграмотности а не от большого ума. Если
есть отношение "<", то равенство можно доопределить через отрицание:
(a==b) := !((a<b)||(b<a))
Проверка
(1==1) == !((1<1)||(1<1)) == !(FALSE||FALSE) = !FALSE = TRUE
(1==2) == !((1<2)||(2<1)) == !(TRUE||FALSE) = !TRUE = FALSE
----------- следующая часть -----------
Было удалено вложение не в текстовом формате...
Имя : =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Тип : application/pgp-signature
Размер : 189 байтов
Описание: =?iso-8859-1?q?=CF=D4=D3=D5=D4=D3=D4=D7=D5=C5=D4?=
Url : <http://lists.altlinux.org/pipermail/devel/attachments/20061217/da5b11c4/attachment-0001.bin>
Подробная информация о списке рассылки Devel