形式逻辑[xíng shì luó ji]
词典formal logic：形式逻辑。
911查询·英语单词
formal logic:
例：形式逻辑的基本规律
the basic [fundamental] laws of formal logic