謂詞演算的推理，求證：?x（B（x）∨D（x）） xB（x）∨?xD（x）

B(x) 用 T、F

D(x) 用 T、F

這些組合，***有四種情況。

1、B(x)=T 和 D(x)=T

2、B(x)=T 和 D(x)=F

3、B(x)=F 和 D(x)=T

4、B(x)=F 和 D(x)=F

所有的可能性都等價時，公式是成立的