命題:6以上のすべての偶数は、2つの
奇素数の和で表せる。
逆:2つの奇素数の和で表せる、6以上
のすべての偶数は。
裏:すべての奇数と2と4は、2つの奇素
数の和で表せない。
対偶:2つの奇素数の和で表せない、す
べての奇数と2と4は。
裏と対偶が真であることは証明できる。
したがって、命題と逆も真。ゴールド
バッハの予想は正しい。

もし、ゴールドバッハの予想が間違っ
ているなら
命題:6以上の偶数で、2つの奇素数の
和で表せないものがある。
逆:2つの奇素数の和で表せない6以上
の偶数がある。
裏:奇数または6未満の偶数で、2つの
奇素数の和で表せるものがある。
対偶:2つの奇素数の和で表せる奇数
または6未満の偶数がある。
裏と対偶が偽であることは証明できる。
したがって、命題と逆も偽。「ゴール
ドバッハの予想は間違っている」は偽。
ゴールドバッハの予想は正しい。