All Questions
1 question
3
votes
1
answer
133
views
What is the name for Boolean algebra's version of $\models$ between sets of identities and identities?
On p62 in Schaum's Outline of Theory and Problems of Boolean Algebra and Switching Circuits by Elliott Mendelson (1970),
Part (b) of the corollary says that if an identity is satisfied by some ...
- 357