I have the following book: https://www.amazon.com/Logic-Book-4th-Merrie-Bergmann/dp/0072401893 I'm currently going over symbolization and truth-functional connectives. I have a question considering a material conditional paraphrasing. Of course, you cannot state this backwards. If he applied for the job, then he doesn't necessarily have to have gotten the job. The book paraphrased it as such: Either it is not the case that Jones got the job or Jones applied for the job. What is their basis for their paraphrasing? Are they basing it on the truth-functional value of "Jones got the job"? Either Jones got the job or he didn't. If he didn't get the job, then we don't know if applied or not. If he did get the job, then he applied for the job. I have to admit it's a bit fuzzy for me in a few places. Looking ahead in the book, it seems a bit dry.