逻辑周延是指在一个逻辑系统中,给定公式组中的任何公式均可以从这个公式组的恒真公式推导出来。而不周延则是指这个公式组的某个公式无法从恒真公式推导出来。以下是逻辑周延的判定方法:
1. 建立逻辑公式与真值表的关系;
2. 找到该逻辑公式的各个部分之间的关系;
3. 根据逻辑的公式,将其转化成更简单的形式;
4. 判断该逻辑公式是否可以为恒真式。
- 如果该逻辑公式可以为恒真式,证明该逻辑系统是周延的,即所有的公式都能从恒真公式推导出来;
- 如果该逻辑公式不能为恒真式,证明该逻辑系统是不周延的,即存在某些公式无法从恒真公式推导出来。
需要注意的是,逻辑周延判定方法会涉及到逻辑的定理证明和数学推导等知识,因此需要对逻辑系统有一定的了解才能进行判断。