数理逻辑的研究方法的主要特征即:构造各种符号语言来代替自然语言,我们称完全由符号所构成的语言为形式语言。
为了达到这个目的,就要求进一步抽象化,即将联结词也符号化。
自然语言“非”、“并且”、“或”、“如果……,则……”、“当且仅当”这些联结词有的具有二义性,因而在数理逻辑中必须给出联结词的严格定义,并且将他们符号化。
内容来自网友回答
我是上海考生,没学过逻辑联结词,就是问问1、:┐p且┐q(pq是两个命题)什么意思啊“┐”这个东西2、一个左右颠倒的E是什么意思(题目是:左右颠倒的Ex∈R)3、一个上下颠倒的A是什... 我是上海考生,没学过逻辑联结词,就是问问 1、:┐p且┐q(pq是两个命题) 什么意思啊“┐”这个东西 2、一个左右颠倒的E 是什么意思(题目是:左右颠倒的E x∈R) 3、一个上下颠倒的A 是什么意思(