the derived operator G3 of Godel implication operator

• Godel蕴涵算子的导出算子G3