next up previous
Next: About this document

Catching Colonel West

Selmer Bringsjord

(The following problem can be solved without using Log Con.)

The law says that it is a crime for an American to sell weapons to hostile nations. The country Nono, an enemy of America, has some missiles, and all of its missiles were sold to it by Colonel West, who is American. Prove that Colonel West is a criminal (= a Dodec).

We assume that

Make sure you immediately choose Show Likes and Happy in order to see the trajectory of Nono's (= n tex2html_wrap_inline13 's) missile. You will doubtless be able to see how the predicates work (e.g., cubes are nations, `W' stands for `is a weapon,' etc.).

Selmer Bringsjord
Tue Jun 11 18:00:16 EDT 1996