(Untitled)

[sevdokimov]

∃i: (i < 0) ≠ ¬(i ≥ 0)

Comments

Глупо спрашивать, с кем ты сейчас разоваривал. :-)

[lada_l]

Но ты логичен, как всегда. Не поспоришь с тобой. :-)
И что? :-)

> И что? :-)

[homyachick]

т.е. тебе всё понятно, Ладка?

Ну... Не уверена, что до конца... :-)

[lada_l]

Значок отрицания я сама сразу не вспомнила. :-)

Re: Глупо спрашивать, с кем ты сейчас разоваривал. :-)

[sevdokimov]

Вообще-то еще сегодня днем я бы с этим поспорил. :)

[oiseau_russe]

Это как?

[sevdokimov]

А вот так. :)

[oiseau_russe]

какой ты загадочный!

[sevdokimov]

Я расскажу после, честно-честно (но будь готова к тому, что объяснение более прозаично, нежели заявочка выше).

[diversia]

хм... правда существует?

правда

[sevdokimov]

В этой (математической) записи присутствует недомолвка, и в ней-то все и дело. :)

[upnudge]

Ну множество, ну ноль есть (какой это, интересно, ноль?), ну операции сравнения определены. Этого явно не достаточно...

[sevdokimov]

Я тебя не понял...

[upnudge]

Я про свойства множества, которому принадлежит i (я надеюсь, не предполагается, как в фортране, что если начинается с i, то значит целое :-) )

[sevdokimov]

Переменная i взялась из языка программирования, и да, не из Фортрана. :)

[zerych]

Дык: i ∈ ℜ ?

[sevdokimov]

Пример элемента?

[zerych]

Пример элемента из ℜ? Ну - 42.

[sevdokimov]

42 < 0 = false
¬(42 ≥ 0) = ¬ true = false

Значения равны...