通过归谬证明法来证明[tex=1.429x1.429]DKVpd3wny+HOVFIOeeajkw==[/tex]是无理数。
举一反三
- 用良序性证明:[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]都是无理数.
- 设[tex=0.571x1.0]QcnBkHbntawstmyl7KNMng==[/tex]是正的素数，证明[tex=1.429x1.429]HYNAWZ/BC45wqayq4GRWUQ==[/tex]是无理数.
- 用逻辑符号写出下面的命题：2+3=5当且仅当[tex=1.429x1.429]DKVpd3wny+HOVFIOeeajkw==[/tex]是无理数。