User Avatar
zhouse
Joined
Jul 2025
Subscription
Core
User Avatar
zhouse
Tuesday, Jul 22

Here's my spin on this lesson.

Some conditional statements can be very confusing - especially if there's an "or" or "either/or" in the necessary condition!

Either/Or in the necessary can be super confusing when there's also a negation in the statement (ex: either this, or not that)

But we can simplify using Lawgic to understand what's going on!

  1. Identify the Lawgic first. If there is an "or," write that in the necessary condition. Don't worry if it doesn't make sense yet.

    Ex: A --> B or /C

  2. Zero-in on the necessary condition of the Lawgic statement. (pretend the stuff to the left of the arrow doesn't exist right now).

    Ex: B or /C

  3. Apply the Group 3 translation rule to the necessary condition. Take either element, negate that element, and then make that element the sufficient condition. But wait! We're still working on the right side of the arrow. So, bracket your new Lawgic condition in parentheses.

    (C --> B)

    • Here, I negated /C, which makes it a yes-C lol.

  4. Now, we have 3 arrows. Bring on back that stuff from the left side of the arrow.

    Ex: A --> (C--> B)

  5. Scoot the parenthetical sufficient element out to the proper sufficient section. Have the element jump across the main arrow. Then, marry the sufficient elements together with "and"

Ex: A and C --> B

Confirm action

Are you sure?