习题 A.1 A.1.1 命题“要么X真，要么Y真，但不得二者同真”的否定是什么？ 答：陶哲轩指出：数理逻辑的一条基本公理是，每个良好构成的命题都或是真的，或是假的，而不可两者都是。那么命题X和命题Y都只存在为真或为假两种状态，我们可以将它们的组合罗列出来： X为真 X为假 Y为真 X为真且Y为真 X为假且Y为真 Y为假 X为真且Y为假 X为假且Y为假 我们可以很明显地看出，题目当中的命题只在绿色…