Combining Philosophers
Ideas for William W. Tait, Theodore Sider and George Engelbretsen
expand these ideas
|
start again
|
choose
another area for these philosophers
display all the ideas for this combination of philosophers
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]
|