しかしながら、変項yがどこにも言及されない場合（すなわち、他の論理式に影響を与えることなく自由に選べる場合）、Aは任意のyの値について成り立つと見なすことができる。
但是如果变量y{\displaystyley}在其他地方没有被提及（就是说，它仍可以被自由的选择，而不影响其他公式），则你可以假定，A{\displaystyleA}对y{\displaystyley}的任何值都成立。