设个体域为自然数集合，[tex=3.429x1.357]Z36AEPLbx4JfyrHPfLY1gg==[/tex]是偶数，[tex=3.571x1.357]+06OwmLRwFoUAk4Z/SZg7Q==[/tex]是素数，用0元谓词将下列命题符号化，并讨论它们的真假：若2是素数，则4不是素数
举一反三
- 设个体域为自然数集合，[tex=3.429x1.357]Z36AEPLbx4JfyrHPfLY1gg==[/tex]是偶数，[tex=3.571x1.357]+06OwmLRwFoUAk4Z/SZg7Q==[/tex]是素数，用0元谓词将下列命题符号化，并讨论它的真假：除非6是素数，否则4是素数
- 设个体域为自然数集 [tex=4.786x1.357]sc2LcA1RIG4Tj+fPRK7DH49AXDtl08fKPBpojr3CKTI=[/tex] 是偶数[tex=4.0x1.357]2Auiw/QWdS/feBnVyEFxPg==[/tex]是素数，用 0 元谓词将下列命题符号化, 并讨论它们的真假.[br][/br]除非6是素数,否则4是素数.
- 设个体域为自然数集[tex=4.786x1.357]sc2LcA1RIG4Tj+fPRK7DH49AXDtl08fKPBpojr3CKTI=[/tex] 是偶数 [tex=4.0x1.357]V1ptf8j9UhCwKo+ESxqhRw==[/tex]是素数,用 0 元谓词将下列命题符号化, 并讨论它们的真假.[br][/br]2 是偶素数.
- 设个体域为自然数集 是偶数是素数，用 0 元谓词将下列命题符号化, 并讨论它们的真假.[br][/br]5是素数当且仅当6是素数.
- 设个体域[tex=4.857x1.357]Y/VRKd68E5FUJEP0vUDWcg==[/tex]，[tex=3.429x1.357]Z36AEPLbx4JfyrHPfLY1gg==[/tex]是2的倍数，[tex=3.571x1.357]+06OwmLRwFoUAk4Z/SZg7Q==[/tex]是奇数，将命题[tex=8.143x1.357]eox8a/Pu3Ziv1tPyFcG+uwnQRwyMS1ctgYEpvNi0g70s14DGjA2PcJIiiXPNoUfm[/tex]中的量词消去，并讨论命题的真值：