introduction to geometric logic

preview_player
Показать описание
Sorry for the meows
Рекомендации по теме
Комментарии
Автор

Why didn't you simply point out that this is the distributive principle of negation (algebraic)? For example: ~(P->Q) = ~P -> ~Q. Also, how is anything you said, "geometric"?

vasqi