Combining Texts
Ideas for
'Logical Consequence', 'Which Logic is the Right Logic?' and 'fragments/reports'
expand these ideas
|
start again
|
choose
another area for these texts
display all the ideas for this combination of texts
1 idea
5. Theory of Logic / E. Structures of Logic / 2. Logical Connectives / b. Basic connectives
10762
|
In sentential logic there is a simple proof that all truth functions can be reduced to 'not' and 'and' [Tharp]
|