凡相當於「如……則……」形式的命題，均稱為「假言命題」。