否定後件
Multi tool use![The name of the picture]( "Creative")
Clash Royale CLAN TAG#URR8PPP
在经典逻辑中，否定后件（拉丁語：modus tollens）有如下论证形式：
- 如果P，则Q。
- 非Q。
- 所以，非P。
它也可也被认为是否定结论，是一种有效的认证形式。
否定后件有时会与间接证明（假设命题的否定成立，证明这会导致矛盾）或者逆否命题证明（证明如果P则Q，通过证明如果非Q则非P的方法实现）相混淆。
C8lTZ92govQdzpGzz9TF79pJAMA4l4BR lcQ7w,zDe M2eK5x354BcG,xO8sdWwmh0TcD9TC9 dkyu,9ASu QtH
Popular posts from this blog
Clash Royale CLAN TAG #URR8PPP 你好～！欢迎来到萌娘百科！ 如果您是第一次来到这里，点这里加入萌娘百科! 欢迎具有翻译能力的同学～有意者请点→Category:需要翻译的条目← 如果您在萌娘百科上发现某些内容 错误/空缺 ，请 勇于 修正/添加！ 编辑萌娘百科其实很容易！ 觉得萌娘百科有趣的话，请推荐给朋友哦...
Clash Royale CLAN TAG #URR8PPP 由兩個元素a, b 生成的自由群的凱萊圖 在數學中，一個群 Gdisplaystyle G 被稱作 自由群 ，如果存在 Gdisplaystyle G 的子集 Sdisplaystyle S 使得 Gdisplaystyle G 的任何元素都能唯一地表成由 Sdisplaystyle S 中元素及其逆元組成之乘積（在此不論平庸的表法，例如 st−1=su−1ut−1displaystyle st^-1=su^-1ut^-1 之類）；此時也稱 Gdisplaystyle G 為集合 Sdisplaystyle S 上的 自由群 ，其群...
Clash Royale CLAN TAG #URR8PPP 卑尔根 Bergen 城市 Kommune av Bergen 旗幟 徽章 卑爾根在霍达兰郡的位置 卑尔根 卑爾根在挪威的位置 坐标： 60°22′N 05°24′E / 60.367°N 5.400°E / 60.367; 5.400 坐标： 60°22′N 05°24′E / 60.367°N 5.400°E / 60.367; 5.400 國家 挪威 郡 霍达兰郡 建立 1070年之前 政府 • 市長 Marita Moltu （KrF） 面积 • 城市 464.71 平方公里（179.43 平方英里） • 陸地...
