Talk:Suppes–Lemmon notation

(Redirected from Talk:System L)
Latest comment: 3 years ago by TheoLaLeo in topic notation

citations

edit

I recently beefed up the description of the system section. I just went through Lemmon's textbook Beginning Logic 2nd Edition this semester, so I plan to cite things more thoroughly. Can anyone advise as to what is an expected level of citation, perhaps with examples of pages of other proof systems? For instance, can I just cite the textbook before the section, or should I cite specific pages for every rule? Same with the proof examples. These are all valid examples but should I source the proofs of each one? TheoLaLeo (talk) 19:13, 11 January 2021 (UTC)Reply

notation

edit

Should I use the same notation that Lemmon uses in Beginning Logic? He uses some non-standard notation, like a dash for negation, an ampersand for and, and (x) for for all x. I think it would be less confusing if I were to use standard notation, but it isn't technically the proof system he specifies, so please advise as to what protocol to follow. TheoLaLeo (talk) 19:16, 11 January 2021 (UTC)Reply