Combining Texts
Ideas for
'Science and Method', 'A Puzzle Concerning Matter and Form' and 'Logic for Philosophy'
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]
|