仮定と結論

$$ p => q $$

$p => q$ は命題
$p$は仮定(premises)
$q$は結論(conclusion)

EX)

3の倍数は6の倍数である

nは3の倍数(仮定) ⇒ nは6の倍数(結論)