逻辑周延与不周延的判定

逻辑周延是指在一个逻辑系统中，给定公式组中的任何公式均可以从这个公式组的恒真公式推导出来。而不周延则是指这个公式组的某个公式无法从恒真公式推导出来。以下是逻辑周延的判定方法：

1. 建立逻辑公式与真值表的关系；

2. 找到该逻辑公式的各个部分之间的关系；

3. 根据逻辑的公式，将其转化成更简单的形式；

4. 判断该逻辑公式是否可以为恒真式。

    - 如果该逻辑公式可以为恒真式，证明该逻辑系统是周延的，即所有的公式都能从恒真公式推导出来；

    - 如果该逻辑公式不能为恒真式，证明该逻辑系统是不周延的，即存在某些公式无法从恒真公式推导出来。

需要注意的是，逻辑周延判定方法会涉及到逻辑的定理证明和数学推导等知识，因此需要对逻辑系统有一定的了解才能进行判断。