1樓：Ricco
有些形式正確的推理是無效的推理。
前提:(S)形式正確的推理結果:(P)有效的推理
有些無效的推理不是形式不正確的推理。
過程：有些表情不是可言傳的。
前提:(S)有些表情結果:(P)可言傳的
有些不可言傳的不是非(=不是)表情。 （便於理解：有些可言傳的東西是非表情）
過程同上
所有的單據都是經過核對的。
前提:(S)單據結果:(P)經過核對的
(所有)沒有經過核對的都是非單據。
過程：所有的試卷還沒有解密。
前提:(S)試卷結果:(P)解密
是：所有沒有解密的都不是非試卷
過程：注：不知道要推到哪一步，我就都推到了前提結果互換並且都變否定的狀態（contraposition) ；試卷那個SEP在SA-P之後不能換位只能換質，括號裡面是改特稱後能達到的有限制的結論（contrapositive per accidens），因為從全稱變到了特稱，不變特稱的話會不能保持validity。
（p∧q）→（p∨┒q）∧（q∨┒p）這是個tauology，P Q對錯4種情況結論都是T
（p∧q→r）∧（┒r∧p→┒q）8種情況裡只有P→T Q→T R→F的時候是F
2樓：花盆
換質位推理：
所有的單據都是經過核對的。
所有沒經過核對的都不是單據。所有的試卷還沒有解密。
所有已經解密的都不是試卷。
有些形式正確的推理是無效的推理。有效推理不是所有形式正確的推理。(通順表達：有效推理不是僅僅形式正確的推理。)
有些表情不是可言傳的。
不可言傳的是一部分(有些)表情。
有沒有大神回答狂犬病？
就舔俠下就打疫苗？沒必要，他不是瘋狗 都是狂犬治死100 把人害的，理性看一下全國一年狂犬疫苗用量1500萬例，而實際狂犬病治死人數在2000左右，什麼概念你懂吧。拋開這個不談，就你這個情況是安全的，別一天瞎想。不會啦兄弟，你是最安全的那種人了。首先打狂犬疫苗，沒有什麼需要忌口的東西，不會影響抗體產...
有沒有大神聲帶息肉沒有手術好了的？
Mrs cheng 我是通過手術好的，微創手術，全麻，一小時左右吧。費用花了8000左右，自費了3000左右吧。住了三天院，第一天住進去檢查，第二天手術，第三天就走了，手術後要休聲兩周，術後聲音立馬恢復挺多了，但是第二天又腫了，聲音又啞了，這是正常的，傷口恢復期正常水腫而已。休聲了一周，突然就好了。...
有沒有人覺得THE9新EP《Not me》這幾句旋律調子有點熟悉
博愛又陰暗的張老 當時聽到not me.就覺得好好聽，然後聽到就覺得有幾秒的旋律特別熟！潛意識歌詞裡有個亂踹腿這三個字的，甚至下意識覺得是she的！哈哈哈結果一對是大張偉那個 我在詩裡看到了你 愛是想碰又收回，是想跳亂踹腿！其實又聽了一下也挺不一樣的，但是當時下意識覺得好熟哈哈 夜夜夜不歸 not ...