determining the truth of a conditional statement