设A为任意一阶逻辑公式，若A中[input=type:blank,size:8][/input]，则称A为封闭的公式
举一反三
- 设 [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]为任意的命题公式,构造性二难推理定律为[input=type:blank,size:6][/input]
- 设A为含命题变项p 、q、r的重言式，则公式[tex=6.929x1.357]2wciExaXo6KWMD/Tg8PnZLnQhmmzuX5fslw4MtNrcK4WSAfAFzbmWYk10jtQmUL4[/tex]的类型为[input=type:blank,size:8][/input]
- 常用的单式补泻手法有[input=type:blank,size:8][/input]、[input=type:blank,size:8][/input]、[input=type:blank,size:8][/input]、[input=type:blank,size:8][/input]、[input=type:blank,size:8][/input]、[input=type:blank,size:8][/input]和[input=type:blank,size:8][/input]。
- 在一阶逻辑中将命题符号化时，若没指明个体域，则使用[input=type:blank,size:8][/input]个体域