Eddie Valiant: You mean to tell me you coulda taken your hand outta that cuff at any time?I realized that you can formalize the statement thusly:
Roger Rabbit: Well, no, not any time. Only when it was funny.
Let p=hand out of cuff, q= it was funny
Then: ◇p iff q
It is a very powerful formulation. Roger says by extension that if ㄱq → ㄱp. It is only because something is funny that renders it possible! Wise words from an animated rabbit.
1 comment:
Note that Roger Rabbit's statment is funny; the idea of formalizing such a statement is funny; the actual formalization is not.
Post a Comment