Definition:Truth Function of Conditional