• 2022-06-18
    设个体域为自然数集 [tex=4.786x1.357]sc2LcA1RIG4Tj+fPRK7DH49AXDtl08fKPBpojr3CKTI=[/tex] 是偶数[tex=4.0x1.357]2Auiw/QWdS/feBnVyEFxPg==[/tex]是素数,用 0 元谓词将下列命题符号化, 并讨论它们的真假.[br][/br]除非6是素数,否则4是素数.
  • 在本题中[tex=1.143x1.214]eWcMeu4SOknJhxfw49ajnQ==[/tex]与[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex] 均为谓词常项,而[tex=0.571x0.786]ZKO2xs0EgSemzoH7MSmYTA==[/tex]是个体变项, 因而[tex=2.0x1.357]6D04mYW2ivsCmiBu0E4w8w==[/tex] 与[tex=2.143x1.357]bqX9vsWUVSZj54RncqlVIw==[/tex] 是命题变项.在用个体常项取代 [tex=0.571x0.786]ZKO2xs0EgSemzoH7MSmYTA==[/tex] 后.得出 0 元谓词,都变成了命题常项.[br][/br][tex=6.071x1.357]1tOxQ8BE+tOg2XEKXaobyYNw3WiYMOS9nIp5rSX3OXI=[/tex]或[tex=6.429x1.357]+ta+n4b5wSEJDj6J8PloX0AOllx+JfRCLaRiCfiDg8o=[/tex] 由于蕴涵式的前件为真,后件为假,故复合命题 [tex=5.857x1.357]HxuQtYUDncc8NirjwR4oSjQtV1lyP0YHHJBvf3h3R6E=[/tex] 为假命题.

    内容

    • 0

      将下列命题用零元谓词符号化 只有 2 是素数,2 才不是偶数; 设 F(x):x 是偶数,G(x):x 是素数, A: G(2)F(2), B: F(2)G(2) C: F(2)G(2) D: )F(2)G(2)

    • 1

      设个体域[tex=9.071x1.357]sr2a+9J26fhb+qLXWcQxeq6EDtJo6dbmYkaWhfKERhI=[/tex]将下列命题符号化.[br][/br][tex=0.857x1.0]m2DKAQtGuc1DyN3zyNlILg==[/tex]中有的元素是偶数.

    • 2

      用0元谓词将下列命题符号化只要4不是素数,3就是素数

    • 3

      设个体域[tex=4.714x1.357]i11jLQH2pOq5R5Mq6XkBuQ==[/tex],谓词[tex=2.857x1.357]y1AzowMbyXgtXN6+W01Jgw==[/tex]是素数,求[tex=3.143x1.357]wCqdk7RXvTUkMzQKRdVva6jqovv7Cab1Zhx+lvrr9BQ=[/tex]的真值.

    • 4

      将下面论述符号化,并求所得复合命题的真值.[br][/br]      若 [tex=0.571x0.786]l57IXZOdm4C+U7oqJ3rVIQ==[/tex] 是无理数,则自然对数的底[tex=0.5x0.786]X0W0/ANSf45taW8iXDx3lw==[/tex] 也是无里数.只有 3 是偶数. 4 才是素数. [tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex] 是无理数,仅当 [tex=1.429x1.429]cHqUU7bA2VbR0Azx4mfgRA==[/tex] 不是无理数. [tex=1.429x1.429]cHqUU7bA2VbR0Azx4mfgRA==[/tex] 是无理数.