“或……或……”表示相容選言命題。
相容選言命題反映事物的若干種情況或性質中至少有一種情況存在,所反映的情況或性質是可以並存的。例如,小李學過英語或者法語。
日常生活中還可以用“可能……也可能……”、“也許……也許……”等表示相容選言命題。
不相容選言命題反映事物的若干種情況或性質中有且只有一種情況存在,是不能並存的。例如,一個三角形,要麼是鈍角三角形,要麼是銳角三角形,要麼是直角三角形。
日常生活中還可以用”二者不可得兼”、“不是……就是……”等表示不相容選言命題。
擴充套件資料
在離散數學中,命題是一個陳述句,它或真或假,但不能既真又假。聯結詞是邏輯聯結詞或命題聯結詞的簡稱,它是自然語言中連詞的邏輯抽象。析取是最常用的邏輯聯結詞之一,表示“或”的意思。析取是邏輯和數學概念中的一個二元邏輯算符。
其運算方法是:如果其兩個變數中有一個真值為“真”,其結果為“真”,兩個變數同時為假,其結果為“假”。析取在資料探勘和資料庫等很多領域都有廣泛應用。
從理論上講,有必要對命題公式的標準形式問題進行一個深入的研究,使公式達到規範化。為此,引入正規化這一概念,正規化給各種千變萬化的公式提供了一個統一的表達形式,同時,正規化的研究對命題演算的發展起了極其重要的作用。
如在邏輯理論中判斷公式的一些性質,在論證命題的完整性時要用到正規化。在工程技術的線路設計方面,自動機理論與人工智慧方面等也有極其重要的作用。
“或……或……”表示相容選言命題。
相容選言命題反映事物的若干種情況或性質中至少有一種情況存在,所反映的情況或性質是可以並存的。例如,小李學過英語或者法語。
日常生活中還可以用“可能……也可能……”、“也許……也許……”等表示相容選言命題。
不相容選言命題反映事物的若干種情況或性質中有且只有一種情況存在,是不能並存的。例如,一個三角形,要麼是鈍角三角形,要麼是銳角三角形,要麼是直角三角形。
日常生活中還可以用”二者不可得兼”、“不是……就是……”等表示不相容選言命題。
擴充套件資料
在離散數學中,命題是一個陳述句,它或真或假,但不能既真又假。聯結詞是邏輯聯結詞或命題聯結詞的簡稱,它是自然語言中連詞的邏輯抽象。析取是最常用的邏輯聯結詞之一,表示“或”的意思。析取是邏輯和數學概念中的一個二元邏輯算符。
其運算方法是:如果其兩個變數中有一個真值為“真”,其結果為“真”,兩個變數同時為假,其結果為“假”。析取在資料探勘和資料庫等很多領域都有廣泛應用。
從理論上講,有必要對命題公式的標準形式問題進行一個深入的研究,使公式達到規範化。為此,引入正規化這一概念,正規化給各種千變萬化的公式提供了一個統一的表達形式,同時,正規化的研究對命題演算的發展起了極其重要的作用。
如在邏輯理論中判斷公式的一些性質,在論證命題的完整性時要用到正規化。在工程技術的線路設計方面,自動機理論與人工智慧方面等也有極其重要的作用。