Combining Texts

Ideas for 'Physiologia', 'Logic for Philosophy' and 'Conceptions of Truth'

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

display all the ideas for this combination of texts

---

2 ideas

4. Formal Logic / B. Propositional Logic PL / 2. Tools of Propositional Logic / b. Terminology of PL

13689

'Theorems' are formulas provable from no premises at all [Sider]

4. Formal Logic / B. Propositional Logic PL / 3. Truth Tables

13705

Truth tables assume truth functionality, and are just pictures of truth functions [Sider]