记p:6是偶数,q:7被2除尽 ,r:5是素数,则

前提是：p→┐q,┑r∨q,r

结论是：┑p

证明如下：

（1）┑r∨q 前提引入

（2）r 前提引入

（3）q 析取三段论

（4）p→┐q 前提引入

（5）┑p 拒取式

得证

性质

关于偶数和奇数，有下面的性质：

（1）两个连续整数中必是一个奇数一个偶数。

（2）奇数与奇数的和或差是偶数；偶数与奇数的和或差是奇数；任意多个偶数的和都是偶数；单数个奇数的和是奇数；双数个奇数的和是偶数。

（3）两个奇（偶）数的和或差是偶数；一个偶数与一个奇数的和或差一定是奇数。

（4）除2外所有的正偶数均为合数。