SAPÞPAS命题“P蕴含Q”表示P合取非Q是可以成立的错误存在例示应当在全称例示之前进行正确归谬法的其他应用检验一个命题是否蕴含另一个命题，我们需要把一个命题当做前提，把另一个命题的()当做另一个前提，看是否能推出矛盾C•A