设 [tex=4.429x1.214]sgk8YheD9/uQ5MLwVNL7Vg==[/tex]为任意的命题公式,构造性二难推理定律为[input=type:blank,size:6][/input]
举一反三
- 设 [tex=2.0x1.214]vnzjVhyzo/NIhVUgFyjLlA==[/tex] 为任意的命题公式,吸收律的两种形式分别为[input=type:blank,size:6][/input]和[input=type:blank,size:6][/input]
- 设[tex=4.429x1.214]sgk8YheD9/uQ5MLwVNL7Vg==[/tex]是任意的命题公式，判断下面命题公式的类型：[tex=14.857x1.357]UWTkp/zH3aLT8lYyuxkL4CAo/wi46pp8B7fgZ1wHXGMAybFNYEYTuYX3YapUSNII0fjDdJ7LKE6KItPRse2M0bcBn0a8BdlEqcxNUWbvxYx6masRXlplNejlf64M7YFy[/tex]。
- [tex=7.214x1.357]eLW9qTONPA/JVeXPg1YW1KkWJU215fNrnRkEbFyXLh4o66jkn/If1Xxro+Y0mpMB[/tex][input=type:blank,size:8][/input]为析取三段论推理定律
- 元素[tex=4.429x1.214]sgk8YheD9/uQ5MLwVNL7Vg==[/tex]依次进人队列[tex=1.071x1.0]/seee2SGtpOwWCkVE0ykXQ==[/tex]后,队头元素是[input=type:blank,size:4][/input]。 A: A B: B C: C D: D
- 元素[tex=4.429x1.214]sgk8YheD9/uQ5MLwVNL7Vg==[/tex]依次进人队列[tex=1.071x1.0]/seee2SGtpOwWCkVE0ykXQ==[/tex]后,队尾元素是[input=type:blank,size:4][/input]。 A: A B: B C: C D: D