Котаны, почему неверно выражение A>=B, если A=Истина, B=Ложь?

GD Star Rating
loading...

13 Responses to почему неверно выражение A>=B, если A=Истина, B=Ложь?

  1. Raeack:

    Потому что нет такой операции на в логической алгебре на множестве { Истина, Ложь }
    Есть операции «равно», «не равно», «отрицание», «и», «или».
    И на любителя — связки Лукасевича и Шеффера.

  2. Zzogreen:

    ну вот же в таблице истинности есть такой вариант, и результат выражения «ложь».
    http://www.wolframalpha.com/input/?i=A++

  3. Raeack:

    вот сюды смотри, мил человек: http://ru.wikipedia.org/wiki/%D0%91%D1%8

  4. Toolite:

    =>!= >=
    Это же импликация.
    Если 2+2=4, то 2*2=4? Да.
    Если 2+2=4, то 2*2=5? Нет.
    А если 2+2=11, то 2*2 может и 4, и 5 быть.

  5. odin_pra:

    ну дык там значок «следует» а не «большеравно».

  6. M2yod:

    Потому что человеками принято декларативное решение, что в компьютерных языках истина чаще всего кодируется как 1, а ложь как 0. Поэтому, чисто математически получается, что истина > ложь, при прямой конверсии в цифры.

    Но не во всех, кстати говоря. В некоторых языках за истину принято значение -1.
    И все будет с точностью до наоборот.

  7. Odaekb:

    если 2+2=11, то запись ведется в троичной системе, %username%!

  8. Odaekb:

    -1 на битовом уровне Интеловской архитектуры -1 это 11111111 вообще-то (для 8-битного представления); так что перевод зависит от того, куда переводим — signed или unsigned — будет 255 или -1

  9. Relnow:

    По определению

  10. Zzogreen:

    Я так и рассуждал, что истина > ложь. Поэтому мой ответ не сходился с ответом вольфрамальфа.
    Как тут уже написали, оказалось, что «=>» означает импликацию, а не «больше или равно».

  11. Zzogreen:

    спасибо, я догадывался, что я ошибаюсь в понимании этой хрени «=>», но нигде не мог найти что это значит на самом деле.

  12. Amtite:

    Если подходить логически, то данное выражение равноценно ( A > B ) OR ( A == B ), и было бы true, если бы A и B были бы равны. Но они не равны, и результат выражения зависит от значения выражения A > B, которое неопределено в булевой алгебре.

  13. Peein:

    $ php -r ‘print!!(!FALSE — 1)? «Foo» : «Bar»;’
    Bar

    $ perl -e ‘print!!(!FALSE — 1)? «Foo» : «Bar»;’
    Foo

    Бадум-тссс!

Добавить комментарий