---
title: ∀ ∃
date: 2014-09-08T00:00:00.000Z
updated: 2026-01-08T14:50:40.604Z
tags:
  - diary
  - "2014"
  - 2014/09
  - 2014/09/09
url: https://baku89.com/ja/2014/09/09/%E2%88%80-%E2%88%83
---

# ∀ ∃

全称と存在を理解する時、foreach で考えれば分かりやすいと思った。

例えば ∀x∈A f(x) みたいな論理式があったとすると、

```
bool flag = true;
foeach (x in A)
    flag |= f(x);
```

∃x∈A f(x) は

```
bool flag = false;
foreach (x in A)
    flag &= f(x);
```

みたいな感じで書き表せば、自分にも分かるぞ、と...