In.Motion

I thought I’d give you a brief look into the junk that I’ve been neck deep in for a few weeks now in school: The symbolization of Logical Problems.

The Problem: If both Iran and Iraq do not blockade the Persian Gulf provided that either Saudi Arabia or Syria does not increase military spending, then if Syria does not mobilize in case that Israel settles with Jordan, then Egypt will not develop nuclear weapons

turns into

Simple Statements:
A: Iran blockades the Persian Gulf.
B: Iraq blockades the Persian Gulf.
C: Saudi Arabia increases military spending.
D: Syria increases military spending.
E: Syria mobilizes.
F: Israel settles with Jordan.
G: Egypt will develop nuclear weapons.

Now we find the . . .

Ordinary English Operators: if _ then _ ; both _ and _ ; not _ ; _ provided that _ ; either _ or _ ; not _ ; if _ then _ ; _ in case that _ ; not _

And now, what is the . . .

Main Operator: the first “if _ then _”

Then, we symbolizes the whole thing, starting with . . .

Partial Symbolization: If both not A and not B, provided that either not C or not D, then if not E in case that F, then not G.

(Confused yet?)

Finally, we fully symbolize it

[(~C v ~D) ⊃ (~A . ~B)] ⊃ [(F ⊃ ~E) ⊃ ~G]

Try that one Shafer!!! My head is mush by the end of a few of these, but the test it tomorrow then I can become a human again.

One.Love

cd