问题标题:
思考下为什么在一阶逻辑符号化时,存在量词后用合取式,而全称量词后用蕴含式
问题描述:
思考下为什么在一阶逻辑符号化时,存在量词后用合取式,而全称量词后用蕴含式
宫国利回答:
1.先括号内,后括号外2.先并非,再合取、析取3先合取、析取,再蕴含、逆蕴含
查看更多
思考下为什么在一阶逻辑符号化时,存在量词后用合取式,而全称量词后用蕴含式