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