式 P → Q は声に出すとどう読みますか。