自然语言有歧义性、不精确的特点，为克服这一缺点，逻辑学家发明了一种符号，用以表达自然语言句子的逻辑含义。这些符号是没有歧义的，它们组成的语言叫符号语言
以符号的形式来表达意思 比如以 =》 来表达推导出。。。
用符号来沟通
逻辑学中有些符号如何输入打印?
