Suppose you have two statements A and B and "If A then B". I am trying to think of what this implies and alternative ways of writing this.
"If A then B"
= "A is sufficient but not necessary for B. B is neither necessary nor sufficient for A"
= "If not B then not A"
= B'$\rightarrow$ A'
= "B' is sufficient for A' but not necessary"
And it seems to me that 'B if A' is equivalent to 'If A then B' (please correct me if I am wrong!)
When it comes to only if, I think "B only if A" is equivalent to "If A only then B"
"B only if A"
= "B is sufficient for A but not necessary for A. A is necessary for B but not sufficient for B"
="If not A then not B"
= "Not A is sufficient for not B and not A is necessary for not B"
I see that I must have made mistakes somewhere because several things are not consistsent. Firstly, I am pretty sure my last statement is wrong but this is how I interpret "If not A then not B". Also, I don't understand how if the '...if...' cases, single headed arrows only implied sufficiency, and here for the '...only if...'single headed arrows seem to be implying something about necessity as well...
Thank you in advance for any clarifications, and also if anyone has a link to a good explanation of these statements I would be very grateful. I am trying to understand them in the context if proofs and proving statements the right way around...
EDIT: Thank you for all the answers and comments so far. Jut thought I would add something that helped me in case someone else comes across my question and also requires help with if/iff/necessary/sufficient etc. I found it easier to visualise the cases. 'B if A' can be represented as a circle A within a circle B. Automatically, if A then B, so A is sufficient but not necessary for B, but B is necessary for A and not B implies not A. However A does not imply B. In a similar way, 'B only if A' is a circle B within a circle A, because B implies A- it is sufficient, but not necessary for A, and A is necessary but not sufficient for B. 'B if and only if A' is the double headed arrow because A and B are the same ring. One is both necessary and sufficient for the other, and one implies the other....