设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]个体域
- 设B为含命题变项p 、q、r的矛盾式,则公式[tex=6.857x1.357]cCj+ziL9T2+Cid2J6Ox1vPiyq17lJcHfQ6nFQXXUE7an8goR6Ti+cEjzhsSrxPgT[/tex]的类型为[input=type:blank,size:8][/input]