系列分集
程序员的逻辑课:全称与存在量词
Maths for Programmers: Logic (Logical Quantifiers)
把“所有”和“至少一个”写成符号,再交换两个量词的顺序,检查同一句式怎样得出不同意思。
freeCodeCamp.org · 系列收录
讨论出处
- Hacker News · 推荐系列的原讨论 ↗Maths for Programmers · 2020-09-24
系列分集
Maths for Programmers: Logic (Logical Quantifiers)
把“所有”和“至少一个”写成符号,再交换两个量词的顺序,检查同一句式怎样得出不同意思。
freeCodeCamp.org · 系列收录