Combining Texts

Ideas for 'Saundaranandakavya', 'Manuscript remains' and 'Logic for Philosophy'

unexpand 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]
	Full Idea: Formulas provable from no premises at all are often called 'theorems'.
	From: Theodore Sider (Logic for Philosophy [2010], 2.6)

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

13705	Truth tables assume truth functionality, and are just pictures of truth functions [Sider]
	Full Idea: The method of truth tables assumes truth functionality. Truth tables are just pictures of truth functions.
	From: Theodore Sider (Logic for Philosophy [2010], 6.3)