Combining Texts

Ideas for '67: Platonic Questions', 'Which Logic is the Right Logic?' and 'Predest.,God's foreknowledge and contingents'

expand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts

---

1 idea

5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives

10762

In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp]