Question

Oque são wff e como reconhecelas? Proposições

Answer 1

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!!