1樓：
(a)p,¬p├ q
1.p 引入條件2.p→¬q→p 公理
3.¬q→p 1和2分離規則4.¬p 引入條件5.¬p→¬q→¬p 公理
6.¬q→¬p 4和5分離規則7.（¬q→p）→（¬q→¬p）→q 公理8.q 3，6和7兩次分離規則可得
（b）忘了。。。。
2樓：匿名使用者
(a)p,¬p├ q
1）p∧¬p p
2）p t1)合取消去3）¬p t1)合取消去4）p∨q t2)析取新增5）q t3)4)析取消去(b)¬¬p├ q
1) ¬¬p p
2) ¬¬q 1)q/p代入3）q t2)¬¬消去
邏輯學推理題，要求用公式推導~拜託了~~
3樓：匿名使用者
2。首先從c入手，零點時燈光熄滅是事實。在e中，零點時燈光不熄滅，乙的證詞就不正確。
可是燈光是熄滅的，所以乙的證詞是正確的。再看d,乙的證詞正確，就說明作案時間在零點之前。可是b說，如果是甲作案，時間不再零點之前，反之則乙就是作案者。
3 這道題關鍵要找好切入點
最重要的一點，ae不能同時為真，因為a說自己說的是真話，而e說a說的是假話，如果ae同時為真，必引起矛盾。
所以只能a說假話或e說假話
當a說假話時，bcde說的都是真話。可是d說如果a不說真話，c也不說真話，與c說真話矛盾。
所以說謊者是e，有興趣你可以驗證一下，是對的最後一道題明天我再給你想
4樓：匿名使用者
2題，abcde都是事實，c和e關聯，c中我們事實是零點時燈滅了，由e可得乙的證詞是正確的，又由d得出作案時間是在零點之前。由b可知如果甲盜竊了財物，則作案時間不在零點之前，而事實是作案時間是在零點之前，所以矛盾，即乙為作案者。
3題，ae不能同時為真，因為a說自己說的是真話，而e說a說的是假話，如果ae同時為真，必引起矛盾。當a說假話時，bcde說的都是真話。可是d說如果a不說真話，c也不說真話，與c說真話矛盾。
即ac就有兩個說謊的了，所以e說假話。
4題，藍盒子與紅盒子寫的話相矛盾，所以兩盒必有一真一假，
如果藍盒子為真，那麼糖果在藍盒子裡，同時「糖果不在綠盒子裡」為假，所以得出糖果在綠盒子裡，彼此矛盾；
如果紅盒子為真，那麼糖果在綠盒子或紅盒子裡，同時綠盒子與藍盒子為假，則得出糖果在綠盒子裡，以及糖果不在藍盒子裡，所以糖果在綠盒子裡 。
5題，小唐和小陳的觀點矛盾，只有一個人的猜測是正確的所以，假設小陳是對的則小張也是對的，矛盾，假設小唐是對的，則甲隊奪冠，沒有問題。
只有一個人錯誤的話仍然是小唐和小陳中的一個，假設小唐是錯誤的，則丁隊奪冠，從而小徐也是錯的，矛盾。假設小陳是錯的其他人都對，則乙隊奪冠，沒有問題。
5樓：匿名使用者
第四題，糖果在綠盒子中
因為藍盒子與紅盒子寫的話相矛盾，所以兩盒必有一真一假，1、藍盒子為真，那麼糖果在藍盒子裡，同時「糖果不在綠盒子裡」為假，所以得出糖果在綠盒子裡，彼此矛盾；
2、紅盒子為真，那麼糖果在綠盒子或紅盒子裡，同時綠盒子與藍盒子為假，則得出糖果在綠盒子裡，以及糖果不在藍盒子裡，所以糖果在綠盒子裡
邏輯學有關推理方面的問答，拜託哪位知道
6樓：匿名使用者
第一題a的話是真的，並且甲班全部同學都是黨員，記住：邏輯裡面內的「有些」可以容表示一個，一些或者全部。
第二題（2）是真的，甲是數學家，乙不是物理學家，lz關鍵要記住，充分條件假言命題只有否定後半句才能使命題為假。
希望對lz有幫助，*^-^*
7樓：匿名使用者
第1題答案應該是甲班沒有黨員，排除法只有b有可能是對的，那麼答案也只能是0才能證明
第2題3是對的
8樓：那個夏季的校裙
1:29人
2：如果a是真的，那麼b也是真的；如果b說的是真的，那麼a說的也是真的；那就證明c說的是真的。甲不是數學家。
學邏輯學比較好的教材，本人想學邏輯學，有什麼書籍好幾時，有哪些大學教材？求指導
借用此題的問題答之所答。所答者墨家的辯學和佛家的慧學。我們說中國人聰明能幹確實在歷史上道，儒，法，樅橫，陰陽等開啟了 尚智 的源泉。佛教傳入後 慧 學才在今後的宋明理學中呈現。道學 理學 道理哲學 決不是附和之詞 佛本質上是一種 慧 悟，覺 牟子理惑論 答凝解惑開中國人之 慧根 故此中國才有嚴格意義...
邏輯學中的概念問題邏輯學中集合概念和非集合概念的問題。
偶然間看到了你的問題，也瀏覽了所有的回答，感覺所有回答都沒有正面解決問題。邏輯學中對概念的內涵和概念的外延有明確的定義 概念的內涵，就是指概念所反映物件的本質屬性或特有屬性 概念的外延，就是指具有概念所反映的特有屬性或本質屬性的物件。舉個例子 商品 這個概念，它的內涵是 用來交換的勞動產品 具有價值...
請問邏輯學中劃分與分類的區別是，邏輯學中對性質判斷進行分類,其劃分的標準是什麼
劃分，可以理解成用一條外來的 邏輯標準 或 線條 將屬於 整體 的一個部分劃出來！而 整體 的屬性中不包括那個用來劃分的標準所具有的屬性。而分類，是用本身所具有的屬性來區分！北京海濱教育來為你解答 劃分，可以理解成用一條外來的 邏輯標準 或 線條 將屬於 整體 的一個部分劃出來！而 整體 的屬性中不...