个体词

Snipaste_2024-03-17_15-03-53

Snipaste_2024-03-17_15-09-13

谓词

image-20240316193800496

Snipaste_2024-03-17_15-09-13

复合命题的谓词符号化

image-20240317153900159

总结

image-20240317154601408

量词

image-20240317163328581

image-20240317164001835

image-20240317164245933

image-20240317172252420

符号函数

image-20240319230733150

image-20240319231653347

自由变元和约束变元

image-20240319232853442

举例

image-20240319232951206

两个规则

image-20240319233415928

image-20240319233542920

闭式

image-20240319233842485

自反性与反自反性

image-20240322201310193

image-20240322202720992

对称性与反对称性

image-20240322203811955

传递性

image-20240322204714611

关系性质的保守性

image-20240322205723760

闭包求解

image-20240322210739778

利用关系运算求闭包

image-20240322211124678

哈斯图

image-20240323102227160

最大元和最小元

image-20240323102558810

极大元和极小元

image-20240323102819659

总结

image-20240323102851883

上下（确）界关系总结

image-20240323101852352

全序关系的哈斯图

image-20240323103917132

良序关系

image-20240323104132120

函数

image-20240323110337026

函数的数量

image-20240323105906443

关系和函数的差别

image-20240323110822356

函数类型

image-20240323113308689

函数的复合

image-20240323113555349

image-20240323114000363

保守性

image-20240323114342940

结点的度数

image-20240323145323439

通路与回路举例

image-20240323151838067

记号的简化

image-20240323151958280

树

无向树

image-20240323152759964