Lawgic Indicators

If

Introduce sufficient

By

Introduce sufficient

When

Introduce sufficient

Where

Introduce sufficient

All

Introduce sufficient

The only

Introduce sufficient

Every

Introduce sufficient

Any

Introduce sufficient

Only

Introduce necessary

Only if

Introduce necessary

Only when

Introduce necessary

Only where

Introduce necessary

Always

Introduce necessary

Must

Introduce necessary

Unless

Negate Sufficient

Until

Negate Sufficient

Without

Negate Sufficient

Or

Negate Sufficient

No

Negate Necessary

None

Negate Necessary

Not both

Negate Necessary

Never

Negate Necessary

Cannot

Negate Necessary

Is essential

Whatever is essential is Necessary

Is required

Whatever is required is Necessary

Is/Are

Subject is Necessary

If And/But Only If

Always together, never apart

• A <> B, /B <> /A

Or, But Not Both

Always apart, never together

• A -> /B, B -> /A

But Not Otherwise

Always together, never apart

• A <> B, /B <> /A

Except

Always apart, never together

• A -> /B, B -> /A

Embedded Conditionals

If 1st conditional, then 2nd unless 3rd conditional

X (1st conditional) → Y (2nd → 3rd conditional) turn into…

1st AND 2nd → 3rd conditional

And/Or in Sufficient

And: Cannot split arrow

Or: Split arrow

And/Or in Necessary

And: Split arrow

Or: Cannot split arrow

De Morgan’s Law

Switch the And → Or, Or → And

Flip & Negate everything

People who

Introduce sufficient