謂詞（數理邏輯）
在邏輯學中，謂詞是代表一種屬性或關系的符號。例如，在一階公式中在邏輯的語義學中，謂詞被解釋為關系。例如，在一階邏輯的標準語義學中，公式在一個解釋上將是真的，如果由以下實體表示的{displaystyleb}所表示的實體，在一個解釋上將是真的。站在關系中，表示為.由于謂詞是非邏輯性的符號，它們可以表示不同的關系，這取決于用來解釋它們的解釋。雖然一階邏輯只包括適用于個別常數的謂詞，但其他邏輯可能允許適用于其他謂詞的謂詞。
不同系統中的謂詞
在命題邏輯中，原子式有時被視為零位謂詞在某種意義上，這些是空位（即0-極性）謂詞在一階邏輯中，一個謂詞在應用于適當數量的項時形成一個原子式在具有排除中間的集合論中，謂詞被理解為特征函數或集合指示函數（即從一個集合元素到一個真值的函數）。
在拒絕排除中間法則的自體邏輯中，謂詞可以是真，也可以是假，或者僅僅是未知。特別是，給定的事實集合可能不足以確定一個謂詞的真假。在模糊邏輯中，謂詞是一個概率分布的特征函數。也就是說，謂詞的嚴格的真/假估值被一個解釋為真實程度的量所取代。
內容由匿名用戶提供，本內容不代表www.gelinmeiz.com立場，內容投訴舉報請聯系www.gelinmeiz.com客服。如若轉載，請注明出處：http://www.gelinmeiz.com/170619/
