否定前件式是无效的论证形式。