有
个反议词一个也没有至少有两个至多有
－1个至少有
＋1个原结论词对所有的x都成立对任意x不成立p或qp且q反议词存在某个x不成立存在某个x成立p且qp或q
ffr