Uma proposição (uso em programação lógica) pode ser

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.

Próxima Questão

Reiniciar Desempenho