Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision | Next revision Both sides next revision | ||
sav08:first-order_logic_syntax [2008/03/18 12:17] vkuncak |
sav08:first-order_logic_syntax [2008/03/19 10:24] vkuncak |
||
---|---|---|---|
Line 83: | Line 83: | ||
\end{array}\] | \end{array}\] | ||
- | If $FV(F) = \emptyset$, we call $F$ a //closed formula//. | + | If $FV(F) = \emptyset$, we call $F$ a //closed first-order logic formula//, or //sentence//. |