ようこそ、うさぎ塾へ！
「うさぎでもわかる」をモットーに、離散数学の内容をわかりやすくまとめています！
第3羽では、大学数学でよく出てくる記号∀, ∃の読み方を、具体例や例題を踏まえながら分かりやすく解説しています！
※ 分かりやすさを重視しているため、定義などの厳密性が失われている部分がある可能性があります。ご了承ください。
↓↓↓確認テストはここから↓↓↓
問題用紙: https://www.momoyama-usagi.com/download/18605/
回答フォーム: https://forms.gle/pAUVmrpXbJbz161P6
↓↓↓解説記事はここから↓↓↓
【∀, ∃って何？】うさぎでもわかる離散数学 第3羽 述語論理のいろは
https://www.momoyama-usagi.com/entry/math-risan03
※ Quizの答えもここから！
[目次]
0:00 オープニング
0:50 述語論理を読むために必要なルール
1:25 ルール1 (∀の使い方)
3:57 ルール1 (∃の使い方)
6:03 ルール1 (例題で確認！ その1)
7:39 ルール2 (否定式の書き換え)
11:20 ルール3 (普通の変数が出てくる場合9
13:48 ルール3 (例題で確認！ その2)
16:07 領域を変えただけで真偽が変わる!?
18:07 エンディング
[CV]
うさぴー役: 四国めたん (VOICEVOX)
うさこ役: 雨晴はう (VOICEVOX)
その他: だみく, うーてん
[使用BGM・SE]
♪Travel - PiZON
♪お茶、炭酸の光 - NERUSONF
♪鏡花水月 - PiZON
♪気まぐれSHOOTER☆PARK - PiZON
効果音: OtoLogic、ポケットサウンド
[その他]
うさぎイラスト: ぎりこ (@236Foi_g)