利用联结词我们可以把日常的命题写成 符号串那么是否任何符号串都是某个日 常命题的符号化呢?回答是否定的 例如:p,∧q就不是 那么什么样的符号串才是合适的呢? 通常采用递归的方式: p,q是命题则→p,p∧q,pq,p>q,p>q也 是命题 我们希望能够找到其他方式来定义 利用联结词,我们可以把日常的命题写成 符号串.那么是否任何符号串都是某个日 常命题的符号化呢?回答是否定的. 例如:p,q就不是. 那么什么样的符号串才是合适的呢? 通常采用递归的方式: p,q是命题,则p,pq,pq, p→q,pq也 是命题 我们希望能够找到其他方式来定义