证明（┓,∨）is adequate.
（或者给出怎么用这两个符号表示∧和->）
谢啦.