Setup and Rule Diagrams

[gtovar98]

Hi! How come rule 5 is set up as not blocks and not as conditional rules? "Any" is a sufficient indicator. Thank you!

[Jeff Wren]

Hi gtovar,

You're correct that rule 5 is conditional in nature and could be diagrammed conditionally.

This rule could be diagrammed as two separate Double Not Arrows

G <-|-> L
G <-|-> P

Another way to express this rule in the context of our main diagram/setup is to show 2 vertical not-blocks. This representation of the rule can be more visually powerful in capturing the meaning. In other words, the thing to remember is that G and L can't go in the same stack/group and G and P can't go in the same stack/group.

To be clear, you would not use blocks to represent a "standard" conditional rule such as "if A, then B." An AB vertical block would imply that these variables always go together, which is not necessarily true based on the rule.

This concept is discussed in lesson 5 of our course and Chapter 5 of "The Logic Games Bible" under the topic "Linear versus Grouping Symbolizations."