Logica
  Syntax  

The syntax used in Logica is similar to that used in the course notes. The only difference is that the operators, being untypeable, are replaced by characters that can be typed on an ascii keyboard. The following table shows the translation.

¬~
&
|
=>
<=
<=>
A
E

For example, the following sentence in the syntax of the notes is rendered in Logica by the sentence shown thereafter.

∀X.(p(X) ∧ q(X) ⇒ ¬r(X) ∨ ∃Y.s(X,Y))

AX:(p(X) & q(X) => ~r(X) | EY:s(X,Y))


 
© 2001-2007 Stanford University Logic Group. All rights reserved.
Comments to Michael Genesereth.