Talk:Suppes–Lemmon notation
| This is the talk page for discussing improvements to the Suppes–Lemmon notation article. This is not a forum for general discussion of the article's subject. |
Article policies
|
| Find sources: Google (books · news · scholar · free images · WP refs) · FENS · JSTOR · TWL |
 | This article is rated Start-class on Wikipedia's content assessment scale. It is of interest to the following WikiProjects: | ||||||||||
| |||||||||||
citations
editI 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)
notation
editShould 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)