不是非形式逻辑
查了下“从定律上看,普通逻辑(形式逻辑)主要有同一律、矛盾律、排中律、充足理由律等,而辩证逻辑主要是对立统一规律、质量互变规律、否定之否定规律、从抽象上升到具体思维律、分析综合法等.“
感觉上应该是形式逻辑,我也不太肯定