Logic 章节 发表日期: 2024年 查看全文 Franz W. Peren 摘要 a, b, . . . are letters or other symbols which can be used as placeholders for statements or truths.