海纳百川

登录 | 登录并检查站内短信 | 个人设置 网站首页 |  论坛首页 |  博客 |  搜索 |  收藏夹 |  帮助 |  团队  | 注册  | RSS
主题: 河边 逻辑真不等于事实真
回复主题   printer-friendly view    海纳百川首页 -> 驴鸣镇
阅读上一个主题 :: 阅读下一个主题  
作者 河边 逻辑真不等于事实真   
所跟贴 事实只存在于所属模型中,受模型所限制,在模型所限定的范围内,逻辑真就是事实,超出了模型限定范围,也就超出了逻辑判断的极限 -- 邑水寒 - (34 Byte) 2019-3-24 周日, 上午2:36 (171 reads)
邑水寒






加入时间: 2018/10/23
文章: 433

经验值: 13087


文章标题: 真希望大家学学逻辑语(logban)的思维方式,谓词逻辑有清楚范围限定,省略代表未知或语境默认范围 (165 reads)      时间: 2019-3-24 周日, 上午2:59

每句有效的逻辑语都是要经过语法检查器检验的,可以编译成计算机程序,作为对象的属性或方法,是可以run的,有了逻辑语才可以完全无障碍的人机交互,交互的都是符合逻辑的事实,做出了清晰的限定后,就可以判断真假
返回顶端
阅读会员资料 邑水寒离线  发送站内短信
    显示文章:     
    回复主题   printer-friendly view    海纳百川首页 -> 驴鸣镇 所有的时间均为 北京时间


     
    论坛转跳:   
    不能在本论坛发表新主题
    不能在本论坛回复主题
    不能在本论坛编辑自己的文章
    不能在本论坛删除自己的文章
    不能在本论坛发表投票
    不能在这个论坛添加附件
    可以在这个论坛下载文件


    based on phpbb, All rights reserved.
    [ Page generation time: 0.068317 seconds ] :: [ 27 queries excuted ] :: [ GZIP compression enabled ]