逻辑用语：修订间差异

@@ 第8行： / 第8行： @@
 数学中存在暂时不知道真假的命题，称之为'''猜想'''.
+命题由条件和结论组成。
+命题一般都具有“若 <math>p</math>，则 <math>q</math>”的形式，其中 <math>p</math> 叫做命题的条件，<math>q</math> 叫做命题的结论。
 一般来说，命题是就是一个陈述句。
@@ 第13行： / 第17行： @@
 === 结构 ===
-命题的结构是：<big>'''若 p 则 q'''.</big>
+结构是：<big>'''若 <math>p</math> 则 <math>q</math>'''.</big>
+否定是：若 <math>p</math> 则 <math>\neg q</math>.
+否命题：若 <math>\neg p</math> 则 <math>\neg q</math>.
+逆命题：若 <math>q</math> 则 <math>p</math>.
 [[分类:数学]]