∃是至少有一个为真或者满足条件
∀是所有的都为真或者满足条件
∧是“与”,即前后条件都为真时才得出真,否则为假
∨是“或”,前后只要有一个条件是真,就得出真,否则为假