單調邏輯，指從前提一旦推出結論，它將總是有效的，即使後來又獲得了新的信息，那么稱之為單調的。簡單來說，就是後來研究得出來的結論不會否定從前就推出的結論，
基本介紹
- 中文名：單調邏輯
- 外文名：monotonic logic
- 定義：從前提一旦推出結論總是有效的
- 領域：哲學
英文,定義,例子,
英文
monotonic logic
定義
從前提一旦推出結論，它將總是有效的，即使後來又獲得了新的信息，那么稱之為單調的。
例子
假設一個網上賣家希望在顧客的生日當天給予優惠。可以用如下的規則來簡單地表達這個套用：R1: birthday -＞ special discount
R2: ╕birthday -＞ ╕special discount.
這種解決方案在已知生日的情況下運轉良好。但是，如果顧客因為涉及隱私拒絕提供他的生日。就不能套用上面的規則了，因為前提是未知的（這個可以用非單調規則解決，可以參考直覺主義邏輯的表達）。這種情況下需要如下的規則：
R1: birthday -＞ special discount
R3：if birthday is not known, then not special discount.(該規則的前提不在謂詞邏輯的表達能力之內，謂詞邏輯承認矛盾律，只有兩種可能birthday, ╕birthday, 直覺主義邏輯╕╕≠ ╕)
