假设的条件式陈述基本形式是：“如果x，则y”。这里x是先决条件y称为后果。