反着的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是自然数的时候.

　　或

　　命题逻辑