「水平/垂直」か「水平」「垂直」かのどちらが正解かの命題の証明を片一方でやる

「水平/垂直」の前提
「水平」「垂直」の前提

──
前者なら「水平/垂直」が正しいと証明はできない。自分が正しいかの命題は証明できない。「水平/垂直」の前提で「水平/垂直」の命題は証明できない
後者なら「水平」「垂直」が正しいと証明はできない。自分が正しいかの命題は証明できない。「水平」「垂直」の前提で「水平」「垂直」は証明できない

逆に
前者の「水平/垂直」ならこの前提から「水平」「垂直」が証明できた場合は「水平」「垂直」が正解。「水平」「垂直」が証明できなかったら「水平/垂直」が正解。互いは証明できる。
後者の「水平」「垂直」ならこの前提から「水平/垂直」が証明できた場合は「水平/垂直」が正解。「水平/垂直」が証明できなかったら「水平」「垂直」が正解。互いは証明できる。

となるのかな
──

>>82引用加工忘れ