| « | February 2026 | » | | 日 | 一 | 二 | 三 | 四 | 五 | 六 | | 1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12 | 13 | 14 | 15 | 16 | 17 | 18 | 19 | 20 | 21 | 22 | 23 | 24 | 25 | 26 | 27 | 28 | |
|
公告 |
| 暂无公告... |
| Blog信息 |
|
blog名称:
日志总数:7
评论数量:0
留言数量:0
访问次数:21403
建立时间:2005年9月18日 |
| |
|
 [收藏]求证 描述逻辑手册电子版的第二章中命题2.9 -- 作者：pascal1977
文章收藏
pascal1977 发表于 2006/1/4 12:33:08 |
| 本文转载自W3CHINA.ORG讨论区(BBS.W3CHINA.ORG) 原文链接作者：pascal1977以下为原文：求证 描述逻辑手册电子版的第二章中命题2.9we associate to a terminology T a dependency graph GT , whose nodes are the name symbols in T . If T contains the axiom A ‘ C, then for every occurrence of thename symbol A0 in C, there is an arc from A to A0 in GT . Arcs are labeled as positive and negative. The arc from A to A0 is positive if A0 occurs in C in the scope of an even number of negations, and it is negative if A0 occurs in the scope of an odd number of negations. A sequence of nodes A1; : : : ;An is a path if there is an arc in GT from Ai to Ai+1 for all i = 1;...... ; n-1. A path is a cycle if A1 = An.
Proposition 2.9 Let T be a terminology such that each cycle in GT contains aneven number of negative arcs. Then T is monotone.要求写出命题2.9证明步骤。<完>参与讨论本主题 |
|
|