Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
sav08:first-order_logic_syntax [2008/03/18 12:17] vkuncak |
sav08:first-order_logic_syntax [2008/03/24 11:36] vkuncak |
||
---|---|---|---|
Line 71: | Line 71: | ||
\[\begin{array}{rcl} | \[\begin{array}{rcl} | ||
FV(x) &=& \{ x \}, \mbox{ for } x \in V \\ | FV(x) &=& \{ x \}, \mbox{ for } x \in V \\ | ||
- | FV(f(t_1,\ldots,t_n) &=& F(t_1) \cup \ldots \cup F(t_n) \\ | + | FV(f(t_1,\ldots,t_n)) &=& F(t_1) \cup \ldots \cup F(t_n) \\ |
- | FV(R(t_1,\ldots,t_n) &=& F(t_1) \cup \ldots \cup F(t_n) \\ | + | FV(R(t_1,\ldots,t_n)) &=& F(t_1) \cup \ldots \cup F(t_n) \\ |
FV(t_1 = t_2) &=& F(t_1) \cup F(t_2) \\ | FV(t_1 = t_2) &=& F(t_1) \cup F(t_2) \\ | ||
FV(\lnot F) &=& FV(F) \\ | FV(\lnot F) &=& FV(F) \\ | ||
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//. |