请问在逻辑式中一个条件满足另一个条件的符号如何表示?

问题描述:

请问在逻辑式中一个条件满足另一个条件的符号如何表示?
如,A>B的">"
A>4,A'>=4,三者如何连接表示

A能推出B(A是B的充分条件):A=>B
B能推出A(A是B的必要条件):B=>A
A,B互推(A是B的充要条件):AB