Question

ALGUÉM ME AJUDA PFV

Uma proposição (uso em programação lógica) pode ser observada como uma declaração
lógica que pode ou não ser verdadeira. Ela consiste em objetos e nas suas interrelações. A
lógica formal foi desenvolvida para fornecer um método de descrição de proposições com o
objetivo de permitir que estas, formalmente declaradas, sejam:
a) quantificadas
b) verificadas quanto à validade.
c) analisadas por sua qualidade.
d) classificadas por sua complexidade.
e) O escritas sempre em hexadecimal.
​

Answer 1

Explicação:

Resposta correta:

b) verificadas quanto à validade.