推理的符号怎么读,就是一竖两杠

问题描述:

推理的符号怎么读,就是一竖两杠

p⇒q p implies q 或者 if p,then q
p⇔q p is equivalent to q 或者 p and q are equivalent