Детская логика!

  А и Б сидели на трубе.
А упало … Б пропало…
Что осталось на трубе?

    Как-то маленькому мальчику, рассматривающему в книге картинки, загадали голосом загадку:
   А и Б сидели на трубе, А упало, Б пропало, что осталось на трубе?
    Ничего, - ответил мальчик, - буквы на трубах не сидят, их в тетрадках пишут,
но если повыдумывать, то можно ведь записать загадку несколькими способами - пишу на тетрадке для ясности:
А и Б          сидели на трубе… - и так далее;
А, И, Б        сидели на трубе … и так далее;
А, И, Б... –   сидели на трубе … и так далее;
А… и Б…      сидели на трубе … и так далее.
  Тут пока четыре записи одной и той же выдумки, так что  «И останется на трубе» - неполный ответ, а ответ, возможно, «И с двумя запятыми», либо «И с двумя запятыми и тире», или «три точки и три точки», или ничего, поскольку буквы сиденья не имеют, они всегда стоят, а не сидят в строчке.
Но, если откровенно, - продолжил мальчик, - ответ на загадку лучше всего такой (говорю голосом, как и была первоначально озвучена загадка):
    На трубе осталось – всё, что было, кроме А, которое упало, и Б, которое пропало. И попробуйте сказать, что это загадка не на многозначную логику!
______
Многозначная логика - тип формальной логики, в которой допускается более двух истинностных значений для высказываний.  В настоящее время существует очень много других систем многозначной логики, которые в свою очередь могут быть сгруппированы по классам. Важнейшими из таких классов являются частичные логики и нечёткие логики.
Существуют также:
   трёхзначная логика; трёхзначная логика была исторически первой многозначной логикой и является простейшим расширением двузначной логики. Перечень истинностных значений трёхзначной логики помимо «истинно» и «ложно» включает также третье значение, которое, как правило, трактуется как «неопределено», «неизвестно» или «ошибочно». В последнем случае логику обычно называют частичной.  В трёхзначной логике, естественно, не соблюдается закон исключённого третьего; 
    четырёхзначные логики. Логика ложности FL4. Паранепротиворечивая логика;
    конечнозначные логики (другое название — k-значные) - являются обобщением двузначной логики в том, что функция в ней может принимать не два значения (0 и 1), а целые значения от 0 до  (k;1);
бесконечнозначные логики,
а также, возможно, пока неисследованные в научном мире, но применямые в политике, но часто «отсутствующие в нормальном мышлении» логики – логика лжи, например, и прочие.