Рет қаралды 100
Some examples of equivalent propositional forms with some proofs (involving truth tables as well as one using consequences of our other results). Open sentences, solutions (within specified universes, with some important examples). The quantifiers "there exists" and "for all".