#truth table #logic symbol #implication #conditional statement #logical connective #propositional variable #if-then