先来看看点这个符号的用法(渣翻译)
点的用法。点有两种用途,其一是当做命题中的括号,其二是等同于两个命题的逻辑积(就是和表示“且”、“与”的符号∧一样)。点优先于"v." or "D" or
"=" or «h," or by "(*)," "(*, </)," "(*, 2/, *)"... or "(a*)," "fax, </)," -fax, yy z) "... or u[(i^)(<f)x)],i or u[R'y]" or 类似的表达式【直接复制了~】, 用于塑造命题的框架;除非它在做逻辑积的符号,不然就是这种用途。一般来说,拥有更多的点表示更高/外围的层次(bracket),拥有更少的点意味着更低/里面的层次。举个例子,我们用点来表示事件层次的范围,这三个层次我们分别命名为I,II,III。、
第一层,由最接近蕴含(⊃)、等值(≡)、“逻辑或”(∨)、定义(=)的一组点组成。
第二层,由约束变量(apparent variable),类似于(x) or (x,y) or (∃x) or [(ix) (<f>x)] or 类似的表达式。