公式 (數理邏輯) - 維基百科,自由的百科全書

公式 (數理邏輯) - 維基百科,自由的百科全書

瀏覽:1023
日期:2024-07-13
在 數理邏輯 中, 公式 是表達 命題 的形式語法對象,除了這個命題可能依賴於這個公式的 自由變數 的值之外。 公式精確定義依賴於涉及到的特定的形式邏輯,但有如下一個非常典型的定義(特定於 一階邏輯 ):公式是相對於特定 語言 而定義的 ......看更多