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