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