「コンパイラ・スクリプトエンジン」相談室11

「コンパイラ・スクリプトエンジン」相談室11 at TECH

63:デフォルトの名無しさん
06/10/19 02:45:39
>>62
えっと、これは数理論理学ではよくある書き方なんだけど、
上の式(or 命題 or 述語)が成り立つならば下も成り立つ
という意味。
二重線にすると、上から下が成り立つ、かつ、下から上も成り立つ（要するに同値）。