三段论法则

例子：

如果以下陈述是真的，请使用三段论法则来派生一个新的真实陈述。

1）如果它今天下雪，那么我会戴手套。

2）如果我穿手套，我的手指会产生发痒。

让$\mathrm{P.}$是“今天咆哮”的声明，让$\mathrm{问：}$成为“我佩戴手套”的声明，让$\mathrm{R.}$成为“我的手指痒”的声明。

然后（1）和（2）可以写成

1）如果$\mathrm{P.}$， 然后$\mathrm{问：}$。

2）如果$\mathrm{问：}$， 然后$\mathrm{R.}$。

因此，通过三段论的法律，我们可以推断

3）如果$\mathrm{P.}$， 然后$\mathrm{R.}$

要么

如果它今天咆哮，我的手指会产生发痒。