3. 7 FLW (Name Resisteration of Quantitization Variables)


This is only effective with the first line of quantitization blocks. Let us look at an example.

Example 1 a1 : (Exist x) (f(x)) by ...;

..............
a2 : (Exist x) (;
a3 : f(x) by FLW (a1) ;

Example 2 a1 : (All x) (Exist y) (g(x,y))by ...;...............

a2 : (All u) (Exist v) (;
a3 : g(u,v) by FLW (a1);

Therefore, if attaching a part of a2 in front of formula a3 and parenthesizing it makes formula a1, it means that inference of FLW is correct.

Thus, FLW is an abbreviation of follow.