{"title":"推理规则","authors":"Hongfei Fu, J. Hopcroft","doi":"10.1017/9781108992756.008","DOIUrl":null,"url":null,"abstract":"A B –––––– A&B A&B –––––– A A&B –––––– B ~(A&B) =========== A → ~B vI vO ∼ ∼ ∼ ∼vI/O A –––––– A∨B B –––––– A∨B A∨B ∼A –––––– B A∨B ∼B –––––– A ~(A∨B) ∼A –––––– A→B B –––––– A→B A→B A –––––– B A→B ∼B –––––– ∼A ~(A→B) =========== A & ~B ↔ ↔ ↔ ↔I ↔ ↔ ↔ ↔O ∼ ∼ ∼ ∼↔ ↔ ↔ ↔I/O A→B B→A –––––– A↔B A↔B –––––– A→B A↔B –––––– B→A ~(A↔B) =========== ∼A↔B I O DN A ∼A –––– ––– A ~∼A ===== A Note: The ~O and ~I rules are combined, using a long equals sign '==='. Henceforth, any rule that is displayed with '===' is a bi-directional rule, which can be used both as an in-rule and as an out-rule.","PeriodicalId":294618,"journal":{"name":"A Logical Foundation for Potentialist Set Theory","volume":"15 1","pages":"0"},"PeriodicalIF":0.0000,"publicationDate":"2022-02-28","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Inference Rules\",\"authors\":\"Hongfei Fu, J. Hopcroft\",\"doi\":\"10.1017/9781108992756.008\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"A B –––––– A&B A&B –––––– A A&B –––––– B ~(A&B) =========== A → ~B vI vO ∼ ∼ ∼ ∼vI/O A –––––– A∨B B –––––– A∨B A∨B ∼A –––––– B A∨B ∼B –––––– A ~(A∨B) ∼A –––––– A→B B –––––– A→B A→B A –––––– B A→B ∼B –––––– ∼A ~(A→B) =========== A & ~B ↔ ↔ ↔ ↔I ↔ ↔ ↔ ↔O ∼ ∼ ∼ ∼↔ ↔ ↔ ↔I/O A→B B→A –––––– A↔B A↔B –––––– A→B A↔B –––––– B→A ~(A↔B) =========== ∼A↔B I O DN A ∼A –––– ––– A ~∼A ===== A Note: The ~O and ~I rules are combined, using a long equals sign '==='. Henceforth, any rule that is displayed with '===' is a bi-directional rule, which can be used both as an in-rule and as an out-rule.\",\"PeriodicalId\":294618,\"journal\":{\"name\":\"A Logical Foundation for Potentialist Set Theory\",\"volume\":\"15 1\",\"pages\":\"0\"},\"PeriodicalIF\":0.0000,\"publicationDate\":\"2022-02-28\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"A Logical Foundation for Potentialist Set Theory\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1017/9781108992756.008\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"\",\"JCRName\":\"\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"A Logical Foundation for Potentialist Set Theory","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1017/9781108992756.008","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
摘要
A—B—————A&B A&B——————A A&B——————B ~ (A&B ) =========== A→B ~六vO∼∼∼∼vI O / A——————A∨B B——————A∨B A∨B A∼——————A∨B∼B——————~ (A∨B) A∼——————A→B, B——————A→B, A→B A——————A→B∼B——————∼~ (A→B ) =========== I A & B ~↔↔↔↔↔↔↔↔O∼∼∼∼↔↔↔↔I / O . B→A→B——————A↔A↔B——————A→B A↔B——————B→A ~ B (A↔ ) =========== DN A∼∼A↔B I O –––– ––– A∼~ = = = = = A .注:关于~ ~ O and I are rules,联合使用了长像用符号' = = = '。==地理==根据美国人口普查，这个县的面积为，其中土地面积为，其中土地面积为。
A B –––––– A&B A&B –––––– A A&B –––––– B ~(A&B) =========== A → ~B vI vO ∼ ∼ ∼ ∼vI/O A –––––– A∨B B –––––– A∨B A∨B ∼A –––––– B A∨B ∼B –––––– A ~(A∨B) ∼A –––––– A→B B –––––– A→B A→B A –––––– B A→B ∼B –––––– ∼A ~(A→B) =========== A & ~B ↔ ↔ ↔ ↔I ↔ ↔ ↔ ↔O ∼ ∼ ∼ ∼↔ ↔ ↔ ↔I/O A→B B→A –––––– A↔B A↔B –––––– A→B A↔B –––––– B→A ~(A↔B) =========== ∼A↔B I O DN A ∼A –––– ––– A ~∼A ===== A Note: The ~O and ~I rules are combined, using a long equals sign '==='. Henceforth, any rule that is displayed with '===' is a bi-directional rule, which can be used both as an in-rule and as an out-rule.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
