BackLinks of "predicate_calculus". Copy: has NO comma Hide Show 라 | 사 | 자 라 로직,logic 사 술어,predicate 자 존재기호existential_quantifier