在真值表检查中，目是要给给定论证建立一种()。