If then if then are statements of hypothetica form in which two mutually contradictory statements occur as premises; obviously such statements are trivially true, under ordi nary usage, matter what mav figure as conclusion.