Law School Discussion

Preptest 19, Logic Games, the last one!

Preptest 19, Logic Games, the last one!
« on: October 26, 2009, 04:58:24 PM »
How do you diagram the first two?

Is is F-> G or G->F or F<->G?
Second too: for K and M?

The third statement is the double not arrow correct?

THANK YOU!

Re: Preptest 19, Logic Games, the last one!
« Reply #1 on: October 26, 2009, 07:01:43 PM »
For this game, I don't normally set up Formal Logic diagrams. Instead, the first rule is pretty clear: F and G must be together. So, I typically jot down F=G (or put FG together in a box to indicate a pair that must be grouped together).

Similarly, for the third (and similar) rules, I usually write F/=P (actually, I draw the "not equal" sign, which I don't know offhand how to input here) or something like "Never FP"

If the formal logic makes it clearer for you, then the first two rules would be double arrows. The thid rule would be:
K --> No M
M --> No K

(which may be a double not arrow).