Analisando as afirmativas sobre as fórmulas bem formuladas (fbf): I. (A ^ ¬B) C →: Essa fórmula está corretamente formulada, pois segue a estrutura lógica. II. A ¬^ B D →: Essa fórmula não está corretamente formulada, pois o operador ¬ está aplicado incorretamente. A forma correta seria ¬(A ^ B) D →. III. ¬D B ^ D →: Essa fórmula está corretamente formulada, pois segue a estrutura lógica. IV. B ^(¬A) C →: Essa fórmula está corretamente formulada, pois segue a estrutura lógica. Portanto, a única alternativa correta é a letra c) Apenas as fórmulas I, III e IV são fbfs.
Para escrever sua resposta aqui, entre ou crie uma conta
Compartilhar