Продолжение логики (есть и нет) с одноименным названием статьи. В этом смысле: (нет что-либо) = (что-либо ≠ что-либо). Вот код на python:

Сначала пример олимпиадной задачи по логике. На острове живут мудрецы и лжецы. Причем, их да и нет звучат как пиф и паф. Что именно из них что – неизвестно.

Решаем. Мудрец ответит следующим образом: (А = А), (А ≠ not А). Ответ же лжеца в таком случае: (А ≠ А), (А = not А). Пусть на их языке пиф – это да. Тогда на вопрос (пиф – это да?) мудрец ответит пиф. Если же на их языке (пиф – это нет), то его ответ будет таким же: пиф. Лжец же всегда будет высказывать несуществующее (то, чего нет), говоря паф.

Итак, конструкция истины (тождественно истинной формулы) А=А, лжи (тождественно ложной формулы) А≠А. Эти же формулы позволяют передавать логические примитивы: есть А, нет А. Вот пример на языке python.