（）是洛化硬度符号，（）是布化硬度符号。

将下列命题符号化，要求符号化的公式全为前束范式．

(A) 0和1是实现任何计算的基础，是最基本的抽象与自动化机制;

(B) 0和1是连接硬件与软件的纽带，理论上来说，任何计算既可以由硬件实现，也可以由软件实现;

(C)符号化计算化是社会/自然与计算融合的基本思维模式，即：若要使任何社会 /自然问题被计算机处理，则首先要将该问题相关的内容符号化并提出相应的计算规则。

(D)符号化不仅仅是指数学符号化，而是指最终可以转换为二进制比特的各种符号;

(E)上述说法有不正确的。

A.副语言

B.体态符号

C.物化符号

D.仪式化符号

A、视觉上更为美观

B、交流上便于沟通

C、政治上统治需要

D、书写上节约时间

A.副语言

B.体态符号

C.物化符号

D.仪式化符号

(A)社会/自然规律的一种研究方法是符号化，即利用符号的组合及其变化来反映社会 /自然现象及其变化，将看起来不能够计算的事物转换为可以计算的事物;

(B)任何事物只要符号化，就可以被计算;

(C)符号化，不仅仅是数学符号化;任何事物都可以符号化为 0和1，也就能进行基于 0和1的运算;

(D)符号的计算不仅仅是数学计算， 符号的组合及其变化同样也是一种计算， 这种计算可以基于0和1来实现。

(E)上述全部。

A.副语言

B.体态符号

C.物化符号

D.仪式化符号