複数辞典一括検索+
▽
qu
ntifier〔論理〕全称記号《後続する開いた文はすべての成員に適用されることを示す記号；(−x)(Fx→Gx)では, すべてにおいて, もし F ならば G であることを🔗⭐🔉
▽ quntifier〔論理〕全称記号《後続する開いた文はすべての成員に適用されることを示す記号；(−x)(Fx→Gx)では, すべてにおいて, もし F ならば G であることを表す；【記号】−》(cf. existential quantifier).
quntifier〔論理〕全称記号《後続する開いた文はすべての成員に適用されることを示す記号；(−x)(Fx→Gx)では, すべてにおいて, もし F ならば G であることを表す；【記号】−》(cf. existential quantifier).
ジーニアス英和大辞典 ページ 61860 での【論理−xFx→Gx】単語。
