全称特称命题的否命题(特称命题和全称命题的否

特称命题，即存在性命题，是含有存在量词的命题。形式为“某些S是P”或“一些S不是P”。简记为∃x∈M，q(x)，读作：“存在M中的元素x，使q（x）成立”。

短语"对于所有""对于任意一个"在逻辑中通常叫做全称量词，并用∀表示。含有全称量词的命题，叫全称量词命题。

否命题：只需要将结果给否定就可以，不用改它前面的∀和∃，表示是“非p：若 p 则非q。”否定：对命题的否定不仅要将∀改成∃（或者∃改为∀），命题的结果也要否定，表示是“否定若非p则非q。”

否定：全称命题的否定是特称命题；特称命题的否定是全称命题。

否命题：则否定特称命题与全称命题的结果，不否定条件。