• 2022-07-28
    将下列命题符号化,并给出其真值.[br][/br]若地求上没有水,则 [tex=1.429x1.429]/9IoObNMjyYNGHUA+4tngQ==[/tex]是无理数.
  • [tex=2.786x1.0]UNMLsx0F8V27jgl9uPIrRkUarLLTOPtB3GO0UOkX1QE=[/tex] 其中 [tex=0.786x1.0]qu4F2hktWcRFlfLoMQ4DAw==[/tex] 地球上有水.[tex=2.714x1.5]YPjSJbpaYk9GzgOYHwr1bg==[/tex]是无理数, 真值为 1 .

    内容

    • 0

       在命题逻辑自然推理系统 [tex=0.643x1.0]WUJ/JHItsc3Bqx1WYNJcrg==[/tex]中构造下面推理的证明.[br][/br][tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex]是有理数或无理数.若 [tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex] 是有理数,则 2 能整除 3 . 若 [tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex]是无理数,则[tex=1.429x1.429]/9IoObNMjyYNGHUA+4tngQ==[/tex] 也是无理数.而 2 不 能整除 3.所以,[tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex]和 [tex=1.429x1.429]/9IoObNMjyYNGHUA+4tngQ==[/tex]都是无理数.

    • 1

      将下列命题符号化,并指出其真值.[br][/br]不但 [tex=0.571x0.786]l57IXZOdm4C+U7oqJ3rVIQ==[/tex] 是无理数、而且自然对数的底[tex=0.5x0.786]X0W0/ANSf45taW8iXDx3lw==[/tex]也是无理数.

    • 2

      将下列命题符号化,并给出其真值.[br][/br][tex=3.643x1.214]Wi5YVsIgDSXyOxjR07aTlA==[/tex]与 [tex=3.071x1.143]UuXptJOxgEq7i6bl0xSw+Q==[/tex] 互为充要条件

    • 3

      将下列简单命题的命题符号化:[tex=1.429x1.429]iXArEij/PIs5hmulvA+vEA==[/tex]是无理数

    • 4

      将下列命题符号化,并指出其真值:不但[tex=0.571x0.786]N02a8LR+X7uadF7bDYMkPA==[/tex]是无理数,而且自然对数的底e也是无理数