“若P则q”相关论文