想问一下，假设（a V b ），如果我肯定其中一个叙述是真的，那另一个一定要是真或错吗？可以有一种像是“真假值未知”的情况存在吗？
如果不存在这种情况的话，我下图中的那句该咋改呢（掩面🤦♂️）？
ps：我原意是想表达说：只要AC= I 或者CA等于=I，那么C=A^（-1），（这里的【C=A^（-1） 】的意义其实暗示了AC=CA=I），但我总感觉我这句好像表达出了：例如：只要AC等于I ，那么就算CA不等于I 的话，C也等于A^（-1）。
所以，这图中的最后一句，改咋改啊？求助！