X，Y：集合
f：X→Y(写像)
とする
このときIm f=Yを考える

①　Im f⊆Y
∀f(x)(f(x)∈Im f→f(x)∈Y

(1)　￢(∀f(x)(f(x)∈Im f→f(x)∈Y)
(2)　(∀f(x))f(x)∈Im f
(3)　￢((∀f(x))f(x)∈Y)
(4)　f(a)￢∈Y
(5)　f(a)∈Im f

ゆえに矛盾なし

②　Y⊆Im f
∀f(x)(f(x)∈Y→f(x)∈Im f)

(1)　￢(∀f(x)(f(x)∈Y→f(x)∈Im f))
(2)　(∀f(x))f(x)∈Y
(3)　￢((∀f(x))f(x)∈Im f)
(4)　f(a)￢∈Im f
(5)　f(a)∈Y

ゆえに矛盾なし

以上より命題は不成立である
このようにタブロー法では何ら問題ないのだが
対偶法を使うとIm f=Yが示せてしまったので
私は対偶法を使うことを止めた