SHARE
TWEET

Untitled

a guest Feb 12th, 2013 25 Never
  1.  
  2. fbf ::= <predicato>
  3. | <negazione> | <cong> | <disg> | <implicazione>
  4. | <universale> | <esistenziale>
  5. predicato ::= <simbolo che comincia con una lettera>
  6. | '(' <simbolo> <termine>* ')'
  7. negazione ::= '(' not <fbf> ')'
  8. cong ::= '(' and <fbf> <fbf> ')'
  9. disg ::= '(' or <fbf> <fbf> ')'
  10. implicazione ::= '(' ==> <fbf> <fbf> ')'
  11. universale ::= '(' forall <variabile> <fbf> ')'
  12. esistenziale ::= '(' exist <variabile> <fbf> ')'
  13.  
  14. Naturally well formed formulae (FBF) more complex have to be considered
  15. cong' ::= '(' and <fbf>* ')'
  16. disg' ::= '(' or <fbf>* ')'
  17.  
  18. termine ::= <costante> | <variabile> | <funzione>
  19. costante ::= <numeri> | <simboli che cominciano con una lettera>
  20. variabile ::= <simboli che cominciano con ?>
  21. funzione ::= '(' <simbolo> <termine>* ')'
RAW Paste Data
Top