Алгебраин (algebraic_brain) wrote,

Laws-of-form alive




Это иллюстрация к прошлой записи. Извиняюсь за криворукость.

PS: Видимо, в этом варианте I нельзя интерпретировать как False. Т.е. для классической логики нужны какие-то изменения.

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


Доверяйте друг другу.

  • Post a new comment

    Error

    Anonymous comments are disabled in this journal

    default userpic

    Your reply will be screened

    Your IP address will be recorded 

  • 10 comments