真值模态命题分为可能肯定命题、可能否定命题、必然肯定命题、必然否定命题四种。其对当关系如下:反对关系:必然肯定命题和必然否定命题,二者不能同真,可以同假;当一真时,则另一必假;当一假时,另一可真可假。下反对关系:可能肯定命题和可能否定命题,二者不能同假,可以同真;当一假时,另一必真;当一真时,另一可真可假。从属关系(差等关系):必然肯定命题和可能肯定命题、必然否定命题和可能否定命题,可以同真、可以同假;必然命题真,与之对应的可能命题必真;必然命题假,与之对应的可能命题可真可假;可能命题真,与之对应的必然命题可真可假;可能命题假,与之对应的必然命题必假。矛盾关系:必然肯定命题和可能否定命题、必然否定命题和可能肯定命题,既不同真亦不同假。即一真另一必假,一假另一必真。