Nested Conditionals

ElizabethSD89ElizabethSD89 Member
edited June 2021 in Logical Reasoning 16 karma

Help

How does one translate this in conditional logic:

"If one has X, everyone must do Y, if they are to achieve X"
Example: "If one has defined a goal, everyone must work together, if they are to achieve that goal"
Is it two seperate conditionals: defined goal > work together & achieve goal > work together
Or is it: achieve goal > (defined goal > work together)

Comments

  • canihazJDcanihazJD Core Member Sage
    8501 karma

    DG + ADG → DG + WT

    or factor "if one has a defined goal" out:

    DG → (ADG → WT)

    or just say you are confined to the domain of DG... in other words in the world where you have a defined goal:

    ADG → WT

  • Jordan JohnsonJordan Johnson Member
    686 karma

    Using your example, I would use three separate variables, since "defined a goal" and "achieved [that] goal" are two different things. My diagram would be:

    Defined goal --> (achieve goal --> work together)
    or
    Defined goal + achieve goal --> work together

    Hope that helps!

Sign In or Register to comment.