逻辑蕴含思想为真值函