Nested Conditionals

ElizabethSD89

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)

canihazJD

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 Johnson

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!