Truth values and logical statements