Can anybody please make me understand what's the relationship among implications in proposition logic and statements such as
1. Necessarily but not sufficient
2. Sufficient but not necessary
3. Sufficient as well as necessary
4. Neither sufficient nor necessary ( although I am skeptical about this specific statement if it exists or not. For completeness I'm telling this)
I have concluded the following. Correct me if I am wrong
If p is sufficient but not necessary for q is the same as p --> q
If p is necessary but not sufficient for q is same as q --> p
If p is necessary as well as sufficient for q is same as p <--> q
If p is neither sufficient nor necessary is the same as ! (p <--> q)