法一般使用谓词逻辑，运用存在量词或全称量词。主要的证明方式有肯定前件论式、否定后件论式、假言三段论式以及选言三段论式等等。比如说要证明命题：“任何奇数乘以另一个奇数仍然是奇数”，可以直接证明如下：
构造法.构造法一般用于证明存在性定理，运用构造法的证明称为构造性证明。具体做法是构造一个带有命题里所要求的特定性质的实例，以显示具有该性质的物体或概念的存在性。也可以构造一个反例，来证明命题是错误的。例如证明命题“2的质数次幂减一后不总是质数”，便可用构造法：有些构造法证明中并不直接