形式邏輯

法文翻譯

logique formalisée
logique formelle

形式邏輯漢語解釋：

形式邏輯的意思 關於思維的形式及其規律的科學。研究概念、判斷、推理等主要思維形式和研究同一律、矛盾律、排中律等思維規律是形式邏輯的內容。