令[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]、[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]为如下命题:[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]:气温在零度以下。[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]:正在下雪。用[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]、[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和逻辑联结词(包括否定)写出下列各命题:a)气温在零度以下且正下着雪。b)气温在零度以下，但没有下雪。c)气温不在零度以下，并且没有下雪。d)也许正下着雪，也许在零度以下(也许两者兼有)。e)如果气温在零度以下，则也下着雪。f)也许气温在零度以下，也许下着雪;但如果在零度以下，就没有下雪。g)气温在零度以下是下雪的充分必要条件。
举一反三
- 令 p、q 分别表示命题”气温在零度以下“、”正在下雪“。命题公式”p ↔ q“对应的语句应该是（ ） A: 气温在零度以下且正在下雪 B: 如果气温在零度以下，那么就在下雪 C: 气温在零度以下当且仅当正在下雪 D: 要么气温在零度以下，要么正在下雪；但如果气温在零度以下，就没有下雪
- 令 p、q 分别表示命题”气温在零度以下“、”正在下雪“。命题公式”p ∨ q“对应的语句应该是（ ） A: 气温在零度以下且正在下雪 B: 气温在零度以下，但没有下雪 C: 气温不在零度以下，且没有下雪 D: 要么气温在零度以下，要么正在下雪
- 命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]或[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]或两者均为假时为真，而当[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和 [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为真时为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]只在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为假时为真，否则为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]分别表示为[tex=1.786x1.357]db85pjiUlp6DuSz3t/lTzw==[/tex]和[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex]。只涉及命题变元[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]的复合命题有多少不同的真值表?
- 命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]或[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]或两者均为假时为真，而当[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和 [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为真时为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]只在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为假时为真，否则为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]分别表示为[tex=1.786x1.357]db85pjiUlp6DuSz3t/lTzw==[/tex]和[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex]。证明[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex]逻辑等价于[tex=3.571x1.357]vxXf8ii7O1D1363SuS1cCA==[/tex]
- 命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]或[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]或两者均为假时为真，而当[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和 [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为真时为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]只在[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]和[tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]均为假时为真，否则为假。命题[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NAND [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]和[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex] NOR [tex=0.5x1.0]NSsYk+dfiqXGkmCPT5DyRg==[/tex]分别表示为[tex=1.786x1.357]db85pjiUlp6DuSz3t/lTzw==[/tex]和[tex=2.071x1.214]vV5XP+CRmbDUGTiYqjNqnw==[/tex]。证明：[tex=1.786x1.357]db85pjiUlp6DuSz3t/lTzw==[/tex]和[tex=1.286x1.357]1iCPfmaumBwudqtdwCwPlQ==[/tex]等价