Truth Values and Logic