Combining Texts
Ideas for
'Thinking About Mathematics', 'Words without Objects' and 'The Boundary Stones of Thought'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
1 idea
4. Formal Logic / B. Propositional Logic PL / 1. Propositional Logic
18803
|
Semantics for propositions: 1) validity preserves truth 2) non-contradition 3) bivalence 4) truth tables [Rumfitt]
|