In my previous post I’ve said that to prove that from it follows will be slightly more complicated. That’s what we will do in this post.

Continue reading “Formalization of Boolean algebra pt. 2” →