Yes, that's the easy bit. The harrd bit is to find a formal way of saying something like: no language with the expressive power of propositional logic can be regular. It's pretty clear that something like that must be true, but i'm not sure how to state it!