加载中…
个人资料
北大袁萌
北大袁萌 新浪个人认证
  • 博客等级:
  • 博客积分:0
  • 博客访问:33,696
  • 关注人气:10,635
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
正文 字体大小:

符号“|=”是什么意思?

(2020-01-12 15:47:38)

符号“|=”是什么意思?

  在模型论中,表达式“A|=s”的意思是:A是句子集合S的模型。

  那么,A是句子集合S的模型究竟是什么意思?

  了解紧致性定理必须回答这个基本问题。

 什么是句子?什么是模型?仅仅靠“拍脑袋”,“办拔头发不解决问题。”

  解决问题的办法是:把我们推荐的模型论电子版装入手机中,查看第一章(11页),读一读,想一想即可明白了。、

  注:模型;论电子版不会污染手机。

袁萌  陈启清 112


0

阅读 收藏 喜欢 打印举报/Report
  

新浪BLOG意见反馈留言板 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 产品答疑

新浪公司 版权所有