J4XRp3）┐HT1）2）IAA4lf391hB74）┐H→A∧┐BPV7oA9BlqkN8gQ6e5）A∧┐BT3）4）I6）A∧┐B→R∨SP7）R∨ST5）6）I8．设P：昨天天晴，Q：前天下雨，则命题