Combining Texts
Ideas for
'Freedom of the Will and concept of a person', 'Logic for Philosophy' and 'A Priori Knowledge Revisited'
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]
|