将下列命题符号化,要求符号化的公式为前束范式。(1)有的汽车比有的火车跑得快。(2)有的火车比所有的汽车跑得快。(3)不是所有的火车都比所有汽车跑得快。(4)有的飞机比有的汽车慢是不对的。
第3题
第4题
第5题
判断下面推理是否正确.先将简单命题符号化,再写出前捉结论,推理的形式结构(以蘊涵式的形式给出)和判断过程(至少给出两种判断方法)
(1)若今天是星期一,则明天是星期三;今天是星期一,所以明天是星期三
(2)若今天是星期一,则明天是星期二;明天是星期二,所以今天是星期一
(3)若今天是星期一,则明天是星期三;明天不是星期三,所以今天不是星期一
(4)若今天是星期一,则明天是星期二;今天不是星期一,所以明天不是星期二
(5)若今天是星期一,则明天是星期二或星期三
(6)今天是星期一当且仅当明天是星期三;今天不是星期一,所以明天不是星期三
第7题
A.翻译汇编语言源程序需要编译程序或解释程序
B.机器语言是唯一可直接执行的计算机语言
C.汇编语言是符号化的机器语言,计算机不能直接执行
D.高级语言程序不依赖于具体的指令系统
第8题
为了方便人们记忆,阅读和编程,把机器语言进行符号化,相应的语言称为()。
A.数据库系统
B.高级语言
C.源程序
D.汇编语育
第10题
关于计算机语言的描述,不正确的是()。
A. 机器语言的语句全部由0和1组成,指令代码短,执行速度快
B. 机器语言因为是面向机器的低级语言,所以执行速度慢
C. 汇编语言已将机器语言符号化,所以它与机器无关
D. 汇编语言比机器语言执行速度快
第11题
设A,B,C为任意的命题公式,证明:等值关系有
(1)自反性:AA。
(2)对称性:若AB,则BA。
(3)传递性:若AB且BC,则AC。