随笔- 12 文章- 0 评论- 0 阅读- 3967

08 2023 档案

摘要：WHATWG标准中的Infra主要是为了提供一种通用的描述以描述标准，要看懂WHATWG标准至少应当先了解Infra标准备注：本文唯一参考资料[WHATWG Infra Standard](infra.spec.whatwg.org)版本为2023年7月18日，可能并不是最新版本的 ## 描述规范阅读全文

posted @ 2023-08-11 05:59 风铃草Vntlly 阅读(50) 评论(0) 推荐(0) 编辑

一阶逻辑语言简记

摘要：#### 命题自然语言和逻辑语言相比具有极大的歧义性，如当笔者谈论“苹果”时，读者并不能知道这是水果还是手机，而逻辑因为其严谨性可以较大消除其歧义。逻辑最基础的构件便是二极管般的【命题】（proposition），是指一个可判断真假的陈述句显而易见的是命题的定义最重要的一个性质是能判断真假，将阅读全文

posted @ 2023-08-04 02:53 风铃草Vntlly 阅读(163) 评论(0) 推荐(0) 编辑