:::
資料庫查詢時間:563.6615 ms
共 7 筆資料,
每頁顯示
筆資料
縮小搜尋結果範圍
適用年級
媒體形式
排序方式:
關鍵字 |
搜尋次數 |
關聯性
:::
你是不是要搜尋以下結果
述詞邏輯
瀏覽人次:0
收藏人次:0
為數理邏輯的基本形式,它允許使用變數與變數的函數,為一種命題邏輯的推廣。
述詞邏輯是邏輯學的一個基礎組成部分,旨在分析命題(Proposition)內部結構之各種基本形式。
在邏輯學中有所謂的命題邏輯(Propositional Logic)及述詞邏輯。命題邏輯以命題作為基本分析單位,以邏輯連詞來表達命題間彼此的關係,僅探討命題的真與假,而與其意義內容無涉。 述詞邏輯則在命題邏輯的基礎上,加上量化的因素,將簡單命題(simple proposition)再分析為主詞(subject)、述詞(predicate)、量詞(quantity)、全稱(universal)及特稱(specularity)等,總結出他們的形式結構,然後研究這些形... |
詞
瀏覽人次:0
收藏人次:0
語言表義的基本單位。如:「名詞」、「形容詞」、「單音詞」、「合成詞」。
有組織的或片段的語言文字。如:「歌詞」、「文詞」、「演說詞」。
一種格律文學。興起於唐代,在宋代最為興盛。由古之樂府演變而來,其後又遞變而為曲。句法多長短不一。或稱為「詩餘」、「長短句」。
|
邏輯
瀏覽人次:0
收藏人次:0
1.研究思想本質和過程的科學。為英語logic的音譯。參見「理則學」條。
2.合乎一般常情的規律。如:「他的說詞前後矛盾,不合邏輯。」
3.代數上指利用真假關係所處理的方法。
|
述詞
瀏覽人次:0
收藏人次:0
在程式設計中,指求值結果僅為真或假二種情況的敘述。
|
曾經查過此詞彙的人也經常查詢以下字詞:
|
貓頭鷹博士