《逻辑通识课》中提到“相容”与“穷尽”；在列举相容不穷尽的例子时举出了生物与动物的例子，但是如果我知道X是动物，那X必是生物？这是否与“相容不穷尽”的概念不相符合？【若AB相容不穷尽,则C=A不可知C为不为B，且C不为A不可知C为不为B】；另外对于相容且穷尽是否可以举出怎样的例子？我难以理解相容且穷尽；此外对于条件推论，图中4.我也难以理解“如果恐龙复活那么太阳从西边升起”似乎符合定义但是它显而易见是假的？文中Pq等语句的“真值“到底是什么意思？Pq在什么情况下为T什么情况下为F？若有吧友愿意给于帮助，感激不尽！