你在看什么呢(*/ω＼*)？

命题逻辑 命题与真值 命题：能表达判断且有唯一真值的陈述句。 命题的真值: 判断的结果，只取两个值，真(T或1)或者假(F或0)。 真命题: 真值为真的命题。 假命题: 真值为假的命题。 判断语句是否是命题： 陈述句 真值唯一: 去除悖论以及可真可假的陈述句。 命题的符号化 命题标识符 用小写英文字母 p,q,r,…,pi,qi,ri(i≥1)p, q, r, … ,p_i,q_i,r

一些高数笔记

Bitmap font 是 P 社的 Clausewitz 引擎所使用的一种字体格式（当然现在也能用 TTF），这种字体的特点是所有文字都是栅格化的，不同于 ttf 等矢量格式的字体。所有字符绘制在一张或多张像素图片（通常为 dds 或 tga）上，再通过一个定义文件（fnt）来描述每个字符在图片中的位置，引擎就可以以此配置来读取并将字符显示到界面中。

译者：Cccc_ 译自Install LineageOS on enchilada （2022-07-20） 与原文不同之处，请以原文为准。

刷机有风险，双清需谨慎