1、借助于软件工程中“由粗到细，逐层分解”的思想，定义了对各种逻辑联结词进行处理的基本模型。
2、而这种基本粒被当做这种逻辑中的一个G原子，用G逻辑联结词组合这些G原子便得到这种逻辑中的G公式。(www.chazidian.com /zj-85180/查字典造句)
