|
|
圆锥曲线的另一种统一定义法浅探
[这个贴子最后由ygq的马甲在 2012/09/30 04:00pm 第 1 次编辑]
http://www.mathchina.com/cgi-bin/attachment.cgi?forum=5&topic=15930&postno=1&name=009_1348904805&type=.gif[br][br][color=#990000]-=-=-=-=- 以下内容由 ygq的马甲 在 时添加 -=-=-=-=-
新道学的【点评】会如下:
*********************************************
.
【新】分类,【新】文化,【新】未来。(公理化的中国道学) 。
.
附图:二维几何模型表示的逻辑类型

.
【公理二】存在且只存在 R(·,·)="∈"∪"∉"∪"∅"
.
按照《一分为二》方法假设代号 A 和 ﹁A ,那么对照《二维几何模型表示的逻辑类型》附图,存在五种侧面,分别如下:
R(·,·)="∅" 对应的是 A 和 ﹁A ;
R(·,·)="∈" 对应的是 A⇔A 和 ﹁A⇔﹁A ;
R(·,·)="∉" 对应的是 A⇔﹁A 。
以上是【公理】部分,与 A 所选择的具体内容无关。
.
*************************************************
在新道学中,R(·,·)="∈" 类型的对应之一就是点(P),R(·,·)="∉" 类型的对应之一就是连线,可以是直线(L)或圆(C)。而按新道学的【推论】,R(·,·)="∈"∪"∉"∪"∅" 这种【混合】类型的,会比单独的类型会具备“完全性completeness”。针对此帖来说,PL 或 PC 这种【定义】,会比 PP、LL、LC、CC 更广。
注:在表格上,目前 PP 只有椭圆和双曲线 |
|