形式邏輯

Noun

 * 1)  formal logic