并非（如果x是哺乳动物 ，那么x有尾巴）
并非（如果英国队赢了这场比赛，那么英国队会进入决赛）

∃x(x是哺乳动物∧x没有尾巴)
英格兰对赢得这场比赛∧没有进入决赛

①
P(x)：x是哺乳动物
Q(x)：x有尾巴
①否定：¬(∀x) ( P(x)→Q(x) )
↔(∃x) ( P(x)∧¬Q(x) )
②
P(x)：x是英国队
Q(x)：x赢了这场比赛
R(x)：x进入决赛
㈠ 如果定义个体常项e代表英国队，则
②否定：¬( Q(e)→R(e) )
↔ ( Q(e)∧¬R(e) )
㈡ 如果不定义个体常项，就需要讨论②的具体含义
⑴如果含义仅为形式蕴涵，则否定为：
¬(∀x) ( P(x)→(Q(x)→R(x)) )
↔ (∃x) ( P(x)∧Q(x)∧¬R(x) )
⑵如果合取存在性判定 (∃x)P(x)，
则否定应再析取(∀x)¬P(x)
⑶还可能是唯一存在性判定(∃1x)P(x)

存在无尾哺乳动物x
如果英国队赢得比赛，那么英国队不会进入决赛
感觉这类命题只需要肯定前件，否定后件即可，是这样吗

①如果x是哺乳动物 ，那么x有尾巴。
②如果英国队赢了这场比赛，那么英国队会进入决赛。
一、第1句不是命题，是命题函项。第2句是命题，不是命题函项。
二、第1句的否定形式是：
非“如果x是哺乳动物 ，那么x有尾巴”
=“x是哺乳动物 ，而且，x没有尾巴”。
三、第2句的否定形式是：
非“如果英国队赢了这场比赛，那么英国队会进入决赛”
=“英国队赢了这场比赛，而且，英国队不会进入决赛”
四、实质蕴涵联结词的否定形式是：
非“若A、则B”=“A、而且、非B”。