Kir*_*ril 0 math logic discrete-mathematics truthtable
我试图为以下陈述构建一个对立面:如果A为0或B为0,则A*B为0.
这是我的尝试:如果A*B不为0,则A不为0或B不为0.
原始陈述是正确的,但是对立面是错误的,因为A 和 B必须非零才能使A*B非零......我做错了什么？
是.
"If P then Q"的对立面是"如果不是Q,那么不是P".
因此,"如果A为0或B为0,则A *B为0" 的对立面为"如果A *B不为0,则不是(A为0或B为0)".
并且"不(A为0或B为0)"是"A不为0 且 B不为0",因此对立应为"如果A *B不为0,则A不为0且B不为0" .正是你所期待的:-)