ノートを執筆 - 命題関数とはなにか