ずんずん命題論理 - ニコニコ

ずんずん命題論理

たんぽぽ牛乳本舗（み゜）

もっと見る閉じる

13:15

>
【VOICEPEAK解説】ずんずん命題論理（１）導入

2023/3/29

376

37

34

7
25:59

>
【VOICEPEAK解説】ずんずん命題論理（２）意味論

2023/4/9

312

21

25

3
16:30

>
【VOICEPEAK解説】ずんずん命題論理（３）統語論

2023/5/27

281

23

25

2
14:54

>
【VOICEPEAK解説】ずんずん命題論理（４）証明の１

2023/10/15

187

13

16

2
19:40

>
【VOICEPEAK解説】ずんずん命題論理（５）証明の２

2023/12/24

146

7

14

2
15:41

>
【VOICEPEAK解説】ずんずん命題論理（６）証明の３

2024/2/13

149

23

14

1
11:43

>
【VOICEPEAK解説】ずんずん命題論理（７）健全性の１

2024/2/16

110

13

8

1
29:40

>
【VOICEPEAK解説】ずんずん命題論理（８）健全性の２

2024/4/10

66

9

7

1