离散数学中关于命题符号化的一个纠结之处
比如有一道题是这样的.
若今天是星期一,则明天是星期三.
我令p:今天是星期一q:明天是星期三.
我假设p的真值是1.那么q的真值是0还是1?
换个问法就是一个复合命题分出来的两个原子命题相互之间有没有关联?