教科书上有两个等价的公式<br>1 （ 存在<!--emo&杠exists--> x）（A（x）-> B（x）） <=><!--emo&杠Leftrightarrow--><!--endemo--> （ 一切<!--emo&杠forall--><!--endemo--> x）A（x） <br>-> （ 存在<!--emo&杠exists--><!--endemo--> x）B（x）<br><br>2 （ 一切<!--emo&杠forall--><!--endemo-->x）A（x） -> B <=><!--emo&杠Leftrightarrow--><!--endemo--> （ 存在<!--emo&杠exists--><!--endemo--> x）（A（x） -> B）<br><br>对于第二条，我代入：<br>x表示科目全体<br>A（x）表示x及格<br>B表示取得毕业证书<br>翻译后好像左右是不等价的<br><br>请教大家帮我翻译一下第2条 对于第1条 帮我找个合适的命题代入 解释一下<br>小弟谢谢了 <br>
[此贴子已经被作者于2005-12-16 12:28:23编辑过]
| 
发表于 2005-12-16 20:26:07
楼主
>教科书上有两个等价的公式<br>1 (存在x)（A（x）->B(x)）<=>(一切x)A（x）->（存在x）B（x）<br>2 （一切x）A（x）->B <=> (存在x)（A（x）->B）<br><br>对于第二条，我代入：<br>x表示科目全体<br>A（x）表示x及格<br>B表示取得毕业证书<br>翻译后好像左右是不等价的<br><br>请教大家帮我翻译一下第2条 对于第1条 帮我找个合适的命题代入 解释一下<br>小弟谢谢了 </P>