とりあえず 数学記号の表 - Wikipedia に載ってる項目について。■論理演算・量化 論理積 P ∧ Q P && Q 論理和 P ∨ Q P || Q 否定 ¬P !P 全称量化 ∀x ∈ S; P(x) S.All(x => P(x)) 存在量化 ∃ x ∈ S; P(x) S.Any(x => P(x)) 存在量化 ∃x(x ∈ S) S.Any() ■集合…