1樓：牛皮哄哄大營
化簡後最後是1，就是重言式。最後是0，就是矛盾式。最後不是1也不是0，就是可滿足式。
到底怎麼判斷一個式子是重言式還是矛盾式 ？要是化簡出來不是1或0而是一個式子呢？
2樓：
化簡後最後是1，就是重言式。最後是0，就是矛盾式。最後不是1也不是0，就是可滿足式。
離散數學判斷重言式
3樓：匿名使用者
給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為t（true），則稱該命題公式為重言式或永真公式。[1]
設a為任一命題公式，若a在它的各種賦值下取值均為真，則稱a是重言式。
邏輯重言式是不管它的部件的真值而總是為真陳述。例如，陳述 "要麼所有的烏鴉都是黑的，要麼不都是黑的" 是重言式，因為不用管烏鴉是什麼顏色都是真的。形式的表達為一個用 x 表示 "所有的烏鴉都是黑的" 的命題：
x or not x，它同樣為真，因為不管 x 是否為真，都有一個離析項(disjunct)為真，而使整個命題為真。
不管它的部件的真值而總是為假的陳述叫做矛盾。
永真式與永假式互為否定式
離散數學問題，判斷重言式
4樓：
abd都是重言式，c是矛盾式。
a是蘊涵式的形式，其為假只有一種情況：前件p∧q真，後件p∨q假。這是不可能的，因為p∧q真，則p,q皆真，所以p∨q真。所以a是重言式。
b可以看作是p<->q的定義，也應該是一個作為公式使用的等值式，稱之為等價等值式。
c是合取式，其為真只有一種情況：┐(p→q)與q皆真。而q真時p→q一定為真，所以┐(p→q)為假，所以┐(p→q)與q皆真是不可能的，所以c是矛盾式。
d也是蘊涵式的形式，前件p真時，後件p∨q為真，所以前件真後件假的情況不存在，所以d是重言式。
用真值表或等值演算，甚至主析取正規化，也可判定。
如何判斷一個句子是不是重言式
5樓：百度使用者
用歸謬賦值法做。（只有蘊涵式，就是充分條件、必要條件、充要條件這樣的式子才能用這個方法）。第一步：
假設這個運算為假，就在最後一步運算下，就是那個箭頭下面寫f（代表真值為假）。第二步：這個運算為假，根據充分條件假言直言推理的真值表可知，只有當前面為真、後面為假時，此運算的真值才為假，因此，在表示「或」的符號下寫t（代表真值為真），在式子後面的p下面寫f（代表真值為假）。
第三步：q可能真、可能假，如果q真，式子成立，沒有出現賦值矛盾，因此該式不是重言式。（如果出現賦值矛盾就是重言式，反之則不是）親，你的這個式子不是很典型.......
6樓：匿名使用者
不是用真值表。比如（p∨q) →p？當然了！直接判斷，就是直接看！
「重言式」是什麼意思？
7樓：夏秦紫玲
重言式（tautology ）又稱為永真式，它的漢語拼音為：[chóng yán shì]，是邏輯學的名詞。命題公式中有一類重言式。
如果一個公式，對於它的任一解釋下其真值都為真，就稱為重言式（永真式）。
數理邏輯旨在利用有限的公理推出儘可能多的重言式，除此之外，重言式在計算機詞法分析領域也具有重要應用。
1.定義
給定一命題公式，若無論對分量作怎樣的指派，其對應的真值永為t（true），則稱該命題公式為重言式或永真公式。
設a為任一 命題公式，若a在它的各種 賦值下取值均為真，則稱a是重言式。
邏輯重言式是不管它的部件的真值而總是為真陳述。例如，陳述 "要麼所有的烏鴉都是黑的，要麼不都是黑的" 是重言式，因為不用管烏鴉是什麼顏色都是真的。形式的表達為一個用 x 表示 "所有的烏鴉都是黑的" 的命題：
x or not x，它同樣為真，因為不管 x 是否為真，都有一個 離析項(disjunct)為真，而使整個命題為真。
不管它的部件的真值而總是為假的陳述叫做矛盾。
永真式與永假式互為 否定式
2.相關定理
定理1： 任何兩個重言式的合取或析取，仍然是一個重言式。
定理2：一個重言式，對同一分量都用任何公式置換，其結果仍為一重言式。
定理3：設a,b為兩個命題公式，a和b邏輯等價當且僅當雙條件命題「a當且僅當b」成立。
定理4：設a,b,c為合式公式，若a蘊含b且a是重言式，則b也是重言式。
定理5：若a蘊含b，b蘊含c，則a蘊含c，即蘊含關係是傳遞的。
3.發現重言式
在布林代數中發現重言式的最簡單的方法是使用真值表。但是，隨著涉及到的變數的數目的增長，真值表的大小成 2 的冪增長，這使它不利於四個或更多變數的重言式，這時簡化和代數變得更有用。
4.計算機領域
重言式作為即為邏輯詞，在計算機領域具有廣泛應用。在自然語言處理的詞法分析領域，重言式經常被用作邏輯判斷的準則。重言式在，計算機領域中也經常被推廣為廣義重言式，且其經常與離散數學中的二值邏輯模糊蘊涵運算元結合使用，其在近年來已成功應用於模糊控制、近似推理、詞計算、模糊影象處理等諸多領域,引起了學者們的廣泛關注.
其中,與蘊涵運算元相關的廣義重言式已經成為當前研究的熱點.目前,人們逐漸意識到廣義重言式在模糊邏輯的理論及應用中發揮的重要作用。
8樓：九鬼夫人信
北京大學公開課：離散數學—重言式
請教法律判斷題，請教以下判斷題
1,錯，年滿18週歲才有。2,對。3,錯。還需要行政賠償義務機關已經履行了賠償責任。4,錯。權利義務對等性的說法有問題。5,錯。6,錯。7,對。8,錯。1人即可設立有限責任公司。9,按照一般出題思路，此類題都是套話。我認為對。10,這個說法不熟悉，我認為對。1，錯2，對。3，錯4，錯。5，錯6，錯。...
關於投資與利率的關係,以下判斷正確的是A投資是利率的增函式B投資是利率的減函式
b投資是利率的減函式 利率上升，一是投資的機會成本增加，二是投資後產生的利潤下降，投資量會減少。b利率高，投資少，利率低，投資增加，因此減函式 誰有2014經濟學答案 利率影響投資，利率指的是什麼？利率定義 利率就表現形式來說，是指一定時期內利息額同借貸資本總額的比率。利率是單位貨幣在單位時間內的利...
excel函式判斷對錯的公式,如何用EXCEL編輯函式，判斷對錯
公式為 if isnumber find d1,a1 c1 錯誤 正確 if countif a1 c1,d1 錯誤 正確 如何用excel編輯函式，判斷對錯 不明確樓主是要a1包含b1,還是a1 b1時顯示正確以下2個公式,你自己試驗下 c1輸入 if a1 b1,正確 或者 if isnumbe...