Re:>20 4行目の否定とは何の否定なのか、六行目の「その命題」とは何なのか書いてくれ。