Symbolic Logic
logiclx.humnet.ucla.edu › Logic › DocumentsThis is not a book about probable reasoning, but if you are interested in it, this is the place to start. This is because most studies of Inductive Logic take for granted that you are already familiar with Deductive Logic -- the logic of "airtight" reasoning -- which forms the subject matter of this book. So you have to start here anyway.
Symbolic Logic
https://logiclx.humnet.ucla.edu/Logic/Documents/CORE/Text0.pdfsentential logic with 'if' and 'not' 1 symbolic notation 2 meanings of the symbolic notation 3 symbolization: translating complex sentences into symbolic notation 4 rules 5 direct derivations 6 conditional derivations 7 indirect derivations 8 subderivations 9 shortcuts 10 strategy hints for derivations 11 theorems