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

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

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