6 真值联结词 真值形式 重言式