Это иллюстрация к прошлой записи. Извиняюсь за криворукость.
PS: Видимо, в этом варианте I нельзя интерпретировать как False. Т.е. для классической логики нужны какие-то изменения.
PS: Вариант интерпретации: I, то есть белый лист - это неизвестность, F(A) - сомнительно, что А. Тогда можно сказать что "А и неизвестность = А". Другой вариант - интерпретировать ⊗ как дизъюнкцию, как это и было в Laws of Form. Но мне это не нравится почему-то.
Доверяйте друг другу.