查看“否命题”的源代码
←
否命题
跳转到导航
跳转到搜索
因为以下原因,您没有权限编辑本页:
您请求的操作仅限属于该用户组的用户执行:
用户
您可以查看和复制此页面的源代码。
在逻辑学中,否命题是通过对一个[[命题]]的[[直接推理]]得出的条件句。如果一个命题的条件和结论分别是另一个命题的条件和结论的否定,那么称这两个命题互为否命题。<math>P \rightarrow Q</math>的否命题是<math>\neg P \rightarrow \neg Q </math>。 [[Category:逻辑学小作品]]
返回
否命题
。
导航菜单
个人工具
登录
命名空间
页面
讨论
不转换
查看
阅读
查看源代码
查看历史
更多
搜索
导航
首页
最近更改
随机页面
MediaWiki帮助
工具
链入页面
相关更改
特殊页面
页面信息