浅谈充分条件假言命题

一、自然语言转化为逻辑语言每一门学科都有自己的特殊的语言,逻辑也不例外,拥有自己的语言,一是显得专业,二是便于研究。这就涉及到怎样把人们所说的自然语言转化为逻辑语言,关于这个,形式逻辑叫做形式化,数理逻辑叫做符号化,制约逻辑叫做制约逻辑语用学。虽然说的都是一回事,但是各有各的规定。