用良序性证明:[tex=1.429x1.429]DKVpd3wny+HOVFIOeeajkw==[/tex]是无理数。
举一反三
- 通过归谬证明法来证明[tex=1.429x1.429]DKVpd3wny+HOVFIOeeajkw==[/tex]是无理数。
- 用逻辑符号写出下面的命题：2+3=5当且仅当[tex=1.429x1.429]DKVpd3wny+HOVFIOeeajkw==[/tex]是无理数。
- 证明[tex=1.429x1.429]Quj2jCsGbAgCIZI9kP93BQ==[/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]都是无理数.
- 将下面论述符号化,并求所得复合命题的真值.[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] 是无理数.