命題関数とはなにかにプログラムを追加