间接论证是通过论证，从而确定该论题的真。间接论证分为和（）。

若“有S不是P”为真，则“有非P是S”取值为（）。

填空题若“有S不是P”为真，则“有非P是S”取值为（）。

反驳的结构由（）、（）和（）三部分组成。

填空题反驳的结构由（）、（）和（）三部分组成。

A、E、I、O四种类型判断是按判断的（）划分出来的。

填空题A、E、I、O四种类型判断是按判断的（）划分出来的。