申请试用
HOT
登录
注册
 
Logic with quantifiers

Logic with quantifiers

enough
/
发布于
/
2053
人观看
本文主要讲述了逻辑与量词的基本概念组成及运用。包括了谓语的概念,即一个带变量的命题,并举例做了说明。例如:P(x,y) := “x+y=0”等。然后是修辞量词,否定量词、重命名变量、移动量词等。
0点赞
0收藏
0下载
相关推荐
确认
3秒后跳转登录页面
去登陆