自由出现(free occurrence)变元非约束的出现一个变元在一公式中的出现如果不是约束的，则称该变元在该公式中为自由出现.例如，在公式 ( b}.z ) [.x2 }刃中，y的出现是自由的.
自由出现
双语例句原声例句
-
在近代早期，君主制度的出现威胁自由，并有可能摧毁它。
Freedom was threatened in early modern times by the emergence of monarchies that might have been able to crush it.
-
这意味着你不必审查你的想法，而是让你的大脑自由地去思考一个问题，看看会出现什么样的解决方案或想法。
This means that you don't censor your thoughts, but allow your mind to go freely to a problem and see what kind of solutions or ideas come up.
-
对立甚至以类政治术语的形式出现了——即激进自由主义与精英保守主义之争。
The opposition has even been presented in quasi-political terms—of radical liberalism vs elitist conservatism.
-
Mammon had surfaced -- I'm testing your memories here - in the text of Areopagitica.
贪欲之神以前在--我想考考你们的记性,《论出版自由》中出现过。
应用推荐
$firstVoiceSent
- 来自原声例句