问题标题:
思考下为什么在一阶逻辑符号化时,存在量词后用合取式,而全称量词后用蕴含式
问题描述:

思考下为什么在一阶逻辑符号化时,存在量词后用合取式,而全称量词后用蕴含式

宫国利回答:
  1.先括号内,后括号外2.先并非,再合取、析取3先合取、析取,再蕴含、逆蕴含
查看更多
其它推荐
热门其它推荐