View Single Post
Swapnil
Swapnil is offline
#9
Feb10-07, 09:27 PM
P: 460
Quote Quote by radou View Post
What exactly is circular in the definition?
Well... nothing yet. Until you start defining [tex]\land[/tex] and [tex]\Rightarrow[/tex]

Notice that
[tex] p \Rightarrow q : = \lnot p \lor q[/tex]