问答题 在自然推理系统P中构造下面推理的证明： 前提：p→（q→r），p，q 结论：r∨s。

问答题 高为h的r（r≥2）叉正则树至多有多少片树叶？至少呢？

问答题 用真值表法和主析取范式法证明下面推理不正确： 如果a和b之积是负数，则a和b中恰有一个是负数。a和b之积不是负数，所以a和b都不是负数。