next up previous
Next: Semántica Up: Lógica proposicional Previous: Lógica proposicional

Sintaxis

Gramática BNF
math111

Orden de precedencia de los operadores, de menor a mayor prioridad:
math113


Alvaro Barreiro Garcia
Thu Jul 18 18:15:11 MET DST 1996