结构推理
说明下列语句中哪些是真命题,为什么?
(1)严禁吸烟.
(2)我正在说谎.
(3)如果1+3=4,那么雪是黑的.
(4)如果1+2=5,那么雪是黑的.
【正确答案】(4)是真命题.
【答案解析】选项(1)不是命题(不是陈述句),(2)是矛盾句,无法为真,选项(3)(4)是“如果……则……”形式的条件命题.此类命题在后件为假时,只有前件为假时,命题才能为真.此处设命题P为“1+2=5”,Q为“雪是黑的”,P、Q均为假,则有P→Q为真命题.如果选(3)(按通常习惯常会选(3)),此时命题P为“1+3=4”,值为T,Q为“雪是黑的”,值为F,而此时P→Q为F(假),不是真命题,故要根据命题联结词的实际含义来选择.