打开/关闭菜单
打开/关闭个人菜单
未登录
未登录用户的IP地址会在进行任意编辑后公开展示。

逻辑用语:修订间差异

来自高中笔记
MM 喵了个留言 | 贡献
无编辑摘要
MM 喵了个留言 | 贡献
第17行: 第17行:
=== 结构 ===
=== 结构 ===


结构是:<big>'''若 <math>p</math> 则 <math>q</math>'''.</big>
<big>结构是:'''若 <math>p</math> 则 <math>q</math>'''.</big>


否定是:若 <math>p</math> 则 <math>\neg q</math>.
否定是:若 <math>p</math> 则 <math>\neg q</math>.