請輸入查詢內容
注音
拼音
解釋
十九世紀中葉以前的邏輯,以亞里士多德所創的三段論證為主。相對於現代邏輯。也稱為「古典邏輯」。
十九世紀中葉以前的邏輯,以亞里士多德所創的三段論證為主。相對於現代邏輯。也稱為「古典邏輯」。
1、 本文介紹了一個新邏輯系統,並將其用於概稱句的生成、評價、使用、和修正。
2、 重言式理論是各多值邏輯系統的一個重要組成部分。
3、 所以,他們把樣本應用程式分為三個不同的邏輯系統:零售商系統、製造系統和演示系統。
4、 當均衡法佔領了邏輯系統法所遺漏的地方時,它也付出了代價:這些語言沒有一定的結構。
5、 基於哥德爾模式的模態邏輯系統T,本文提出了一種關於清晰性和模糊性的量化邏輯,其中利用清晰性運算元來代替必然性運算元。
6、 對二值命題邏輯系統的程度化研究中命題公式的真度問題進行討論。
7、 在任何給定的分解層級上,都有一組從黑盒角度考慮的邏輯系統元素。
8、 第一章和第四章給出了他的一個方法,把語言當做一個邏輯系統。
9、 在模糊邏輯中,基於剩餘格的邏輯系統起著非常重要的作用。
10、 提出採用時序邏輯系統描述故障的概念,推演故障的性質和相互關係,對故障進行分類,並預測將要發生的故障。
11、 第二,就像之前所指出的,“邏輯系統法”和“均衡法”在解釋意義上都會有遺失顯像的成分。
12、 當開始允許系統的子型別、邏輯系統部分以及所有其它雜項因素時,這一行程式會變成300行。
13、 為了建構數理辯證邏輯系統,必須首先正確理解如下幾個理論問題:1。
14、 本文從語構理論入手,在經典二值命題邏輯系統中給出公式的語構真度的概念,從兩個不同的角度給出語構真度的等價刻畫。
15、 Kish說這種邏輯系統特別適合於某些型別的計算,不過他和它的同事還在研究這在實際中如何實現。
© CopyRight 2024 LOOKUP.TW Rights Reserved.