Without claims and translation back to english

fl7dqf

I'm having trouble translating without claims back into english after using logic. For example:

"There can be no rule of law without individual freedom"

Negate sufficient: ROL ---> IF

But when I read this back to myself, how would I frame it?

"If there is rule of law, then there is individual freedom?" Is that what would work here? Please help!!!

Dexterity

Yep, you got it! So, there are two different ways you can translate this into logic:

1. Negate sufficient
"There can be no rule of law without individual freedom"

IF --> ROL
ROL --> IF

2. Negate necessary
"There can be no rule of law without individual freedom"

IF --> ROL
ROL --> IF

In either case, these translate back to:
"If there is no individual freedom, then there is no rule of law."
"If there is rule of law, then there is individual freedom."