In your example, according to logic, if X implies Y, then if you don't have Y, you necessarily don't have X. If this were a logic exercise, then not "SBF goes to jail" necessarily implies not "the government is not corrupt."
However, in real life there's no connection between the two.
In your example, according to logic, if X implies Y, then if you don't have Y, you necessarily don't have X. If this were a logic exercise, then not "SBF goes to jail" necessarily implies not "the government is not corrupt."
However, in real life there's no connection between the two.