1樓：
化簡後最後是1，就是重言式。最後是0，就是矛盾式。最後不是1也不是0，就是可滿足式。
判斷以下公式是重言式或矛盾式或兩者都不是。
2樓：牛皮哄哄大營
化簡後最後是1，就是重言式。最後是0，就是矛盾式。最後不是1也不是0，就是可滿足式。
如何判斷乙個句子是不是重言式
3樓：百度使用者
用歸謬賦值法做。（只有蘊涵式，就是充分條件、必要條件、充要條件這樣的式子才能用這個方法）。第一步：
假設這個運算為假，就在最後一步運算下，就是那個箭頭下面寫f（代表真值為假）。第二步：這個運算為假，根據充分條件假言直言推理的真值表可知，只有當前面為真、後面為假時，此運算的真值才為假，因此，在表示「或」的符號下寫t（代表真值為真），在式子後面的p下面寫f（代表真值為假）。
第三步：q可能真、可能假，如果q真，式子成立，沒有出現賦值矛盾，因此該式不是重言式。（如果出現賦值矛盾就是重言式，反之則不是）親，你的這個式子不是很典型.......
4樓：匿名使用者
不是用真值表。比如（p∨q) →p？當然了！直接判斷，就是直接看！
用真值表判明下列公式屬於重言式、矛盾式還是協調式?(pv乛 p)^p^q
5樓：唐吳一家
做它的真值表所以，（p∧﹁p）∨（p∧q）是協調式。
麻煩幫我看一下(7) 如何驗證它是重言式？我用推理能推出來 可是用真值表推出來就不對了
6樓：
不需要動手算，抄簡單驗襲證即可。
只需要記住一點：a→
b為假當且僅當a=1,b=0。
p=0時，p→q恆是1，所以(p→q)→p是0，所以整個命題的真值是1。
p=1時，(p→q)→p的真值一定是1，所以整個命題的真值是1。
所以命題是重言式。
乙個析取正規化是重言式當且僅當它的每個簡單合取式都是矛盾式怎麼證明 15
7樓：匿名使用者
用范德法式，兩次取反之後，析取變合取。當做集合的與和或來證明即可。
什麼是重言式，矛盾式，可滿足式
8樓：怦然
設a為乙個命題，
若a在它的各種賦值下取值均為真，則稱a為重言式；
若a在它的各種賦值下取值均為假，則稱a為矛盾式；
若a至少存在一組賦值是成真賦值，則稱a是可滿足式。
1．設 ， ，請在下列每對集合中填入適當的符號： 。 （1） , (2) 。 2．兩個重言式的析取是 ，乙個重言式 50
9樓：匿名使用者
hyui[pp;][lkiujiygt6rtghjkki5reeddkiu876tgyhj
10樓：匿名使用者
vxvcxbv**bmnb,cvbdn vbmjhki
11樓：匿名使用者
呵呵！等我想到了告訴你哈
12樓：匿名使用者
嗚哇哇 啥意思啊 幾年級的啊
13樓：冬樂答
我大學都沒見過這樣子的集合。。。
14樓：青石舊夢
第一空 ∈，第二空 ⊆。
「重言式」是什麼意思？
15樓：夏秦紫玲
重言式（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.計算機領域
重言式作為即為邏輯詞，在計算機領域具有廣泛應用。在自然語言處理的詞法分析領域，重言式經常被用作邏輯判斷的準則。重言式在，計算機領域中也經常被推廣為廣義重言式，且其經常與離散數學中的二值邏輯模糊蘊涵運算元結合使用，其在近年來已成功應用於模糊控制、近似推理、詞計算、模糊影象處理等諸多領域,引起了學者們的廣泛關注.
其中,與蘊涵運算元相關的廣義重言式已經成為當前研究的熱點.目前,人們逐漸意識到廣義重言式在模糊邏輯的理論及應用中發揮的重要作用。
16樓：九鬼夫人信
北京大學公開課：離散數學—重言式
用真值表判明下列公式屬於重言式 矛盾式還是協調式 pV乛
做它的真值表所以，p p p q 是協調式。用真值表法判定以下真值形式的型別 重言式 矛盾式或協調式 p q q p 你的真值形式打錯了吧，是不是應該為 p q q p呀？不然無法列出真值表，你的問題無法回答。3.畫出真值表並判斷下面公式是否是重言式 m p s m s p 做它的真值表所以，p p...
怎麼判斷化學式是離子鍵還是共價鍵
上海艾荔艾金屬材料 共價鍵的實質，可以表述成兩個 或多個 原子間有共用的電子對，使雙方 或多方 都滿足像稀有氣體那樣的電子全滿的穩定結構 高中階段為最外層是8電子穩定結構 共價單質和共價化合物是隻有共價鍵的單質或化合物。一般來說，由兩者非金屬元素原子構成的化合物 如 酸 都是共價化合物，非金屬單質都...
怎麼判斷女生到底是矜持還是根本不喜歡你
女孩的矜持是只對你的一些明感的話題或舉動保持即冷靜又冷漠的態度而對其它的卻都很願意接受。如果是不喜歡你就是懶得跟你說一句話，對你的所以舉動都不感冒。這個很簡單單，矜持的話，她會對你的愛意有所回應，或是眼神，或是一起吃飯，只要讓他看到你得誠意，會抱得美人歸的，反之，你發簡訊，她不回，打 打個幾次才，說...