Query failed: connection to 172.31.3.4:9312 failed (errno=111, msg=Connection refused). How to translate a sentence with both a negate sufficient & negate necessary indicators in it? - 7Sage Forum

How to translate a sentence with both a negate sufficient & negate necessary indicators in it?

hannahkayhannahkay Core Member

How would you translate a sentence into lawgic that has both negate sufficient & negate necessary indicators in it?

Ex: "No entry after 9 pm without a valid ID." or "One cannot bake a cake without flour."

Comments

  • letslearntogetherletslearntogether Live Member
    78 karma

    No entry after 9 pm without a valid ID: entry after 9 PM ---> valid ID

    One cannot bake a cake without flour: can bake a cake ---> flour

    Essentially what I recommend is that you negate the first statement and keep the next part the same. We know that if you are allowed entry after 9 PM you have a valid ID; we know that if you can bake a cake you have flour. The second half is the exception to a rule and is thus the necessary condition.

Sign In or Register to comment.