這是最平實的翻譯,壹般用於造句和寫作。它是直譯,在上下文估計中沒有任何問題。妳可以結合它使用的例子來體驗它的上下文和用法。
由於形式化方法的使用,邏輯演算比邏輯演算更加抽象和嚴格。
傳統的
有效推理形式研究中的邏輯。
邏輯演算對推理形式有效性的研究,由於使用了形式方法,比傳統邏輯更抽象、更嚴格。
傳統邏輯
這也可以理解為傳統邏輯,但它更註重常規邏輯,因為常規性是指過去普遍存在的風俗、習慣、習慣性的傳統習俗。
例子:傳統的邏輯是
“我想
我在那裏”,所以“我”是身體和身體大腦內的心理活動。
傳統的邏輯是“我思故我在”,所以“我”是壹個身體,並利用這個身體的大腦進行心理活動。
術語邏輯
這是邏輯學的專業術語,使用範圍和語境都很小。意思是小心使用,用不好會很有問題。
例子:命題是
的壹個重要術語
邏輯
命題是傳統邏輯中最重要的概念之壹。
亞裏士多德邏輯
這大概是“傳統邏輯”最不受歡迎的翻譯了。有點像古典音樂,是壹個特定的詞,即亞裏士多德邏輯,也叫傳統邏輯。