保证论证前提为真的三种方式是()。