2

After identification of equivalent formulas, is the algebra of formulas of a two-valued propositional calculus with infinitely long expressions a (free) sigma-complete Boolean algebra?

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy