命题逻辑语言简介
虎哥2016/06/06科学技术学 IP:四川

命题逻辑语言简介

本文收集自网络,略有改动。原作者未署名。

命题逻辑语言的功能是描述若干简单命题组合成复合命题的几种组合形式。

  1. 符号表

    符号:语言的最基本组成要素,用于构成词语和语句。
    例如,英语中的26个拉丁字母,汉语中的汉字。语言中的符号是潜在地无限多的。
    符号表:由一些简单的符号按照一定次序形成的序列,英文是alphabet,也翻译字母表。一般由有限个符号组成。
    符号串:由符号表中的任意符号组成的序列。
    有限串,无限串。

  2. 形式语言

    词语:有限长的符号串,是单个事物或者一类事物的名称。
    语句:由词语按照一定语法规则组成的词语串。
    形式语言:语法明确、没有歧义的人工语言。例如,数的十进制展开式,算术表达式,C语言。
    语言的层次:我们的教材涉及三个层次的语言。
    (1). 对象语言:研究的对象,例如,逻辑语言与集合语言,都是形式语言。
    (2). 工具语言:用于表达对象语言的性质,例如,逻辑学语言与集合论语言,都是使用自然语言词语的形式语言。
    (3). 解释语言:通常是自然语言,对工具语言进行解释。

  3. 陈述句与命题

    陈述句:描述人们思维中的观念的语句。英文是statement。
    (1)语构:陈述句的形式结构称为语构(syntax)。
    (2)语义:陈述句所描述的主观观念称为该陈述句的语义(semanteme)。
    (3)所指:陈述句的语义所指的客观事物称为该陈述句的所指(referent)。
    命题:若陈述句的所指完全存在,则称该陈述句为真命题。若陈述句的所指不完全存在,则称该陈述句为假命题。
    真值:真命题的真值定义为“真”,假命题的真值定义为“假”。通常用1表示“真”,0表示“假”。
    悖论:是这样的一个陈述句,当它是真命题时,其语义表明它是假命题;当它是假命题时,其语义表明它是真命题。因此,悖论既不能为真,也不能为假,从而不是命题。
    说谎者悖论;明信片悖论;贝里悖论;理查德悖论;理发师悖论。

在此处下载完整文档:


attachment icon 命题逻辑语言.pdf 427.34KB PDF 207次下载 预览

[修改于 7年11个月前 - 2016/06/06 04:50:00]

来自:科创总论 / 科学技术学
1
已屏蔽 原因:{{ notice.reason }}已屏蔽
{{notice.noticeContent}}
~~空空如也

想参与大家的讨论?现在就 登录 或者 注册

所属专业
上级专业
虎哥
专家 进士 学者 机友 笔友
文章
1534
回复
13003
学术分
39
2005/08/24注册,2秒前活动

刘 虎

创新工程局主席

主体类型:个人
所属领域:无
认证方式:身份证号
IP归属地:未同步
文件下载
加载中...
{{errorInfo}}
{{downloadWarning}}
你在 {{downloadTime}} 下载过当前文件。
文件名称:{{resource.defaultFile.name}}
下载次数:{{resource.hits}}
上传用户:{{uploader.username}}
所需积分:{{costScores}},{{holdScores}}下载当前附件免费{{description}}
积分不足,去充值
文件已丢失

当前账号的附件下载数量限制如下:
时段 个数
{{f.startingTime}}点 - {{f.endTime}}点 {{f.fileCount}}
视频暂不能访问,请登录试试
仅供内部学术交流或培训使用,请先保存到本地。本内容不代表科创观点,未经原作者同意,请勿转载。
音频暂不能访问,请登录试试
支持的图片格式:jpg, jpeg, png
插入公式
评论控制
加载中...
文号:{{pid}}
投诉或举报
加载中...
{{tip}}
请选择违规类型:
{{reason.type}}

空空如也

加载中...
详情
详情
推送到专栏从专栏移除
设为匿名取消匿名
查看作者
回复
只看作者
加入收藏取消收藏
收藏
取消收藏
折叠回复
置顶取消置顶
评学术分
鼓励
设为精选取消精选
管理提醒
编辑
通过审核
评论控制
退修或删除
历史版本
违规记录
投诉或举报
加入黑名单移除黑名单
查看IP
{{format('YYYY/MM/DD HH:mm:ss', toc)}}