wff (do inglês wll- formed - formula, pode-se entender como "fórmula bem formada", "fórmula correta)
Em matemática e lógica, wwf é qualquer formula, que, no calculo proposicional, representa, de forma correta, uma série de senteças corretas que podem ser
todas verdaderas
todas falsas
alternadas veradero / falso / verdadero
Quer diser, todas as proposições (setenças) respondem a um padrão pre-estabelecido
Para reconhecer uma wff é necessário aplicar as regras de formação das wff , que constituem a gramática do cálculo proposicional.
Espero ajude!!
