Question

逻辑学真值表推导求问

Answer 1

问：逻辑学真值表推导求问

问：第三题

答：(1)、AV0表达了A与0对当关系。当A为真时，A或0的结果为真；当A为假时，A或0的结果为0。因此，无论A取何值，A或0的结果都不会为假，符合A对0对当的定义。(2).AV0表达了A与0不对当的关系。当A为真时，~A为假，A或0的结果为假；当A为假时，~A为真，A或0的结果为真。因此，当A为真时，A或0的结果可能为假，不符合A对0对当的定义。

答：(3),(A→~0)A(0-+A)表达了A与0对当的关系。当A为真时，A→0的结果为真，0-+A的结果为真，因此，两个条件均满足；当A为假时，A→0的结果为真，0-+~A的结果为真，因此，两个条件均满足。因此，A对0对当。(4).(~0+A)A(~A→0)表达了A与0对当的关系。当A为真时，(~A→0)的结果为真，(~0+A)的结果为真，因此，两个条件均满足；当A为假时，(~A→0)的结果为真，(~0+A)的结果为真，因此，两个条件均满足。因此，A对0对当。(5).(AV0)A~(AA0)表达了A与0对当的关系。当A为真时，A或0的结果为真，AA0的结果为真，因此，两个条件均满足；当A为假时，A或0的结果为0，AA0的结果为真，因此，只有第二个条件满足。因此，A对0对当。