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