反着的E:谓词逻辑 　　存在量词∃x:P(x)意味着有至少一个x使P(x)为真.n∈N:n是偶数. 　　倒着的A:存在着 　　全称量词∀x:P(x)意味着所有的x都使P(x)都为真.n∈N:n2≥n. 　　对于所有；对于任何；对于每个 　　谓词逻辑 　　∧逻辑合取陈述A∧B为真,如果A与B二者都为真；否则为假.n2⇔n=3当n是自然数的时候. 　　与 　　命题逻辑 　　∨逻辑析取陈述A∨B为真,如果A或B(或二者)为真；如果二者都为假,则陈述为假.n≥4∨n≤2⇔n≠3当n是自然数的时候. 　　或 　　命题逻辑