识别逻辑词 recognizing signal words

谓词逻辑 [数] predicate logic

逻辑联结词 logical connectives ; logic connective

谓词逻辑语言 predicate logic language

逻辑连接词 logical connectives

谓词元逻辑 [社科] metalogic of predicates

一阶谓词逻辑 first-order predicate logic ; First Order Predicate Calculus ; [数] predicate logic of first order ; FOPL

逻辑连词 logical connective