Talk:Ground expression: Difference between revisions
Appearance
Content deleted Content added
m Signing comment by Luot - "" |
No edit summary |
||
Line 1: | Line 1: | ||
{{math rating|field=foundations|importance=low|class=stub}} |
{{math rating|field=foundations|importance=low|class=stub}} |
||
== Should be merged with the Sentence (mathematical logic) article == |
== Should be merged with the Sentence (mathematical logic) article == |
||
Sentence and ground formula are terms that mean the same thing. It would also help clarify [[Well-formed_formula#Closed_formulas|this]] section of the Well-formed-formula article. |
Sentence and ground formula are terms that mean the same thing. It would also help clarify [[Well-formed_formula#Closed_formulas|this]] section of the Well-formed-formula article. [[User:Luot|Luot]] ([[User talk:Luot|talk]]) 20:15, 15 December 2014 (UTC) |
||
== Reference Forbidden== |
== Reference Forbidden== |
Revision as of 20:15, 15 December 2014
Mathematics Stub‑class Low‑priority | ||||||||||
|
Should be merged with the Sentence (mathematical logic) article
Sentence and ground formula are terms that mean the same thing. It would also help clarify this section of the Well-formed-formula article. Luot (talk) 20:15, 15 December 2014 (UTC)
Reference Forbidden
http://web.engr.oregonstate.edu/~afern/classes/cs532/notes/fo-ss.pdf is returning 403 Forbidden. Does anyone know of an updated version of this page, or a replacement? --Hyper Anthony (talk) 19:34, 25 September 2012 (UTC)