Anonymous at Sat, 19 Oct 2024 01:03:12 UTC No. 16439001

>>16438808
>p implies q
>p is sufficient for q
>q is necessary for p
These three are different from the rest.

>if p then q
>q whenever p
>q if p
>p only if q