Question

高一简易逻辑中有符号如“反写的”E、“倒写的”A及∧∨表示啥?

Answer 1

反着的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 二者都为真；否则为假.n < 4 ∧ n >2 ⇔ n = 3 当 n 是自然数的时候.

与

命题逻辑

∨ 逻辑析取 陈述 A ∨ B 为真,如果 A 或 B (或二者)为真；如果二者都为假,则陈述为假.n ≥ 4 ∨ n ≤ 2 ⇔ n ≠ 3 当 n 是自然数的时候.

或

命题逻辑