|
|
![[parent]](http://images.planetmath.org:8080/images/uparrow.png) Viewing Correction to 'atomic formula'
|
a little confusing by CWoo
Correction id: 13153
Filed on: 2007-10-10 09:38:11
Status: Accepted on 2007-11-21 11:07:14
Type: Meta/Minor
Correction text:
| are the double quotes " ... " themselves considered as part of the atomic formulas in the definition? Most likely not. I suggest using verb like "is" instead of the equal sign "=", so that you can get rid of the double quotes. Also, in the second part of the definition, make sure to mention that t_1, t_2, ... , t_n are all terms. |
No comment from object owner CWoo.
|
|
|
|
|
|
|
|
|
|
