called legitimate if x' does not occur free in 3 and x' is free for x in 3 (i.e. no ... If a formula O' can be obtained from 0 by a sequence of zero or more ...
確定! 回上一頁