Logic.xla converts logic library expressions to standard symbols.
|
Expressions |
Expressions Converted to Symbols |
|
thereis P and Q |
$ P L Q |
|
P implies Q |
P Þ Q |
|
P iff Q |
P Û Q |
|
A intersects B |
A Ç B |
|
P and Q and ' R |
P L Q and' R |
Features | Logic Home | Logic Menu