1樓：匿名使用者
在數理邏輯中， 原子公式或原子是沒有子公式的公式。把什麼公式當作原子依賴於所使用的邏輯。例如在命題邏輯中，唯一的原子公式是命題變數。
原子是在邏輯系統中"最小"的公式。在邏輯系統中的合式公式通常通過識別所有有效的原子公式，和給出從兩個原子公式建立公式的規則而遞迴的定義。從原子公式製作的公式是複合公式。
例如，在命題邏輯中你有如下的公式構造規則:
任何命題變數 p 是合式原子公式。
給定任何公式 a，否定 ¬a ("非 a") 是合式公式。
給定任何兩個公式 a 和 b，合取 a ∧ b ("a 與 b") 是合式公式。
給定任何兩個公式 a 和 b，析取 a ∨ b ("a 或 b") 是合式公式。
給定任何兩個公式 a 和 b，蘊涵 a ⇒ b ("a 蘊涵 b ") 是合式公式。
所以，我們可以建造任意的複雜的複合公式，比如，從簡單的原子公式p、q 和 r 和我們的構造規則構造出 ((p ∧ ¬(q ⇒ r)) ∨ ¬p)。
2樓：匿名使用者
物理定理、定律、公式表 物理定理、定律、公式表
現貨白銀和白銀td換算公式是怎麼樣的
1 盈虧 盈 虧 的 計 算 方 法 舉例 時 間 當日開市價 交易數量 當時成交價 當日結算價 第一天 買1手 150元 160元 當日結算價 當時成交價 當日持倉盈虧 即 160元 150元 10元 注 10元將在當日15 30結算後自動轉入到 可用餘額 中。2 td就是在遠期交割的一種 一手為...
大連的治安怎麼樣啊，大連的治安怎麼樣啊？
如果你是做火車的話 到了大連火車站 不要跟陌生人交往。走出火車站基本就沒什麼事。怎麼說好呢？大連的治安在北方來說應該是最好的，與南方相比應該也有過之而無不及。大連本地人都是比較實在熱情的，很多犯罪事情的發生基本都是黑龍江吉林人所為，我實話實說.你要是問大連治安的話，還是相當不錯的。我作為一個大連人長...
貴陽的住宿怎麼樣啊，貴陽的住宿怎麼樣啊
不知道你想要的價位是多少。星級的大酒店標準間價位一般在300或500以上，不建議你選擇。推薦你入住全國連鎖的 莫泰168 酒店，位置就在省府路與中華中路交叉口，新開業沒多久，所以設施非常新，標準間168元，設施和服務超過三星級酒店的水平，非常划算。位置也正好坐落在市中心繁華地帶，出酒店就能逛街，車都...