Logic and Truth Values