解消されていない仮定無しに単独の命題記号Aを結論とする導出図は存在しない