形式逻辑推理formal: adj. 1.正式的。 2.礼节上的,仪式上的;郑重其事 ...logic: n. 1.逻辑,理论学。 2.推理[方法];逻辑性,条理 ...inference: n. 1.推理,推论;推断,结论,论断;含蓄,含意。 2 ...formal inference: 形式推理formal logic: 形式逻辑下载手机词典可随时随地查词查翻译