数学影像馆

视频目录 / 数学逻辑、集合与证明

热度排名 #315

弗雷德里克·舒勒逻辑第 1 讲：命题与谓词

Introduction/Logic of propositions and predicates- 01 - Frederic Schuller

先分辨一句话是否已经能够判定真假，还是需要先给变量一个值。再看量词怎样把带空位的谓词变成一个可以讨论的命题。

Frederic Schuller · 4 串讨论 · 热度 8.054

打开原视频 ↗浏览数学逻辑、集合与证明

讨论出处