(if then statement; sometimes called, somewhat misleadingly, 'material implication') and a statement about deducibility (or a statement asserting that some conditional statement is logically true, or analytic, or that its antecedent entails its consequent) a distinction which I was taught to understand by Alfred Tarski, a few months after the publication of the book.