| 释义 |
De Morgan's laws (logical version) These are the logical equivalent of the set-theoretic version. They capture the fact that for it not to be true that a family of statements all hold only one need be false. Given a family of statements Pi, where i ∈ I, then
|