在之前的文章中，我们定义了命题、定理、推论等。为了证明定理，这意味着给定的命题是一个重言式，其中我们通过真值表获得。下面，我们介绍一些展示结果的方法。 演绎法 演绎方法是通过使用定义和其他预先建立的结果获得的。为此，我们使用蕴涵 $(\Rightarrow)$ 和逻辑双蕴涵 $(\Leftrightarrow)$。 **示例1：**通过下面的陈述，我们将证明它是否是一个定理。为此，提出以下假设： $H_1$：时间就是金钱。 $H_2$：流浪汉有很多时间。 以及论文： $T$：流浪汉有很多钱。 命题 $H_1 \wedge H_2 \Rightarrow T$ 是定理吗？ 我们假设： $p$：“有时间”。 $q$：“有钱”。 $r$：“是个流浪汉”。 和： $H_1$：$p\wedge q$（有时间有金钱）。 $H_2$：$q\rightarrow r$（有钱就意味着是流浪汉）。 $T$：$r\rightarrow q$（流浪汉意味着有钱）。 这样，我们就可以写出命题： $$H_1 \wedge H_2 \Rightarrow T$$假设1和假设2意味着论文。 同义反复如何有效： $$(p\rightarrow q)\wedge (r \rightarrow p) \Rightarrow (r \rightarrow q)$$（有时间意味着有钱）和（成为流浪汉意味着有时间）意味着（成为流浪汉意味着有钱）。 因此，给定的命题是一个定理。 从实际的角度来看，这个结果可能没有意义，但根据所使用的陈述，我们可能会得出荒谬的结论。 **示例2：**通过下面的陈述，我们将证明它是否是一个定理。为此，提出以下假设： $H_1$：我思故我在。 $H_2$：石头不会思考。 以及论文： $T$：石头不存在。 命题 $H_1 \wedge H_2 \Rightarrow T$ 是定理吗？