論理和の導入
↑ Hurley
↑ Moore and Parker
↑ Copi and Cohen