将下面论述符号化,并求所得复合命题的真值:若[tex=0.571x0.786]N02a8LR+X7uadF7bDYMkPA==[/tex]是无理数,自然对数的底e也是无理数,只有3是偶数,4才是素数,[tex=1.429x1.429]Ejd1tpeaPlD+htjrZ7aKSQ==[/tex]是无理数,仅当[tex=1.429x1.429]iXArEij/PIs5hmulvA+vEA==[/tex]不是无理数,[tex=1.429x1.429]iXArEij/PIs5hmulvA+vEA==[/tex]是无理数.
举一反三
- 将下面论述符号化,并求所得复合命题的真值.[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] 是无理数.
- 将下列简单命题的命题符号化:[tex=1.429x1.429]iXArEij/PIs5hmulvA+vEA==[/tex]是无理数
- 将下列命题符号化,并指出其真值:不但[tex=0.571x0.786]N02a8LR+X7uadF7bDYMkPA==[/tex]是无理数,而且自然对数的底e也是无理数
- 将下面命题符号化,并讨论它的真值:[tex=1.429x1.429]4tia4Fmh8qvcSxImPIjBeg==[/tex]是无理数。
- 在命题逻辑自然推理系统 [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]都是无理数.