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!!!

0

1 comments

  • Wednesday, Feb 05

    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."

    1

Confirm action

Are you sure?