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

问题描述:

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

如果条件A满足条件B,那么表成A=>B