embedded conditionals Forum

[glee66]

Hi guys

I just have a quick question
So (a->b) ->c turns to a+/b->c. What about a->(b->c)?

[BP Robert]

Hmm I'm a little unclear on your notation.

Both of those look like they equate to A --> C, so tentatively I'd say yes both work

[glee66]

Thank you for your reply. So my question is how you would diagram conditional within conditional. For instance, a unless b but only if c. Thank you.

[gatesome]

Thank you for your reply. So my question is how you would diagram conditional within conditional. For instance, a unless b but only if c. Thank you.

trying my hand at this...

"a unless b but only if c" == "If C, then (A unless B)" == "If C, then (If not-B then A)"

a IF NOT b == (/B -> A)
ONLY IF c == C ->


Which I believe yields (/B -> A) -> C

Use parenthesis for clarity when using diagramming a conditional within a conditional.

[glee66]

Doesnt only if signal necessary? (-a -> b) -> c?

[gatesome]

Doesnt only if signal necessary? (-a -> b) -> c?

yeah you're right, it should be (/B -> A) -> C

or (/A -> B) -> C

[glee66]

Is there a simplify from there? Like by changing to and / or form?

[RobertGolddust]

~b->A->C