单项选择题 “只要p，就q”用命题逻辑公式表示是（）。

单项选择题 “只有p，才q”用命题逻辑公式表示是（）。

问答题 简述自然语言、人工语言、符号语言、形式语言。