センテンス2 P∧Qの構成 不等式の表示

に対して

<

<

と置き

< <

であることを示す．

(証明)

1　　(1)　　　仮定

2　　(2)　　　仮定

1,2　 (3)　　　1,2. ∧-導入

1　　(4)　　　1-3. →-導入

1　　(5)　　　3. ∧-除去

1　　(6)　　　3. ∧-除去

　　  (7)　　　5-6. →-導入

　　  (8)　　　5,6. ∧-導入

　したがって

が成立する．▢