Question

O que é completude semântica?

Answer 1

Completude semântica é a recíproca dacorretude para sistemas formais. Um sistema formal é completo com respeito a tautologia quando todas suas tautologias são teoremas, enquanto que um sistema formal é correto quando todos os teoremas são tautologias (isto é, eles são fórmulas semanticamente válidas: fórmulas que são verdadeiras em qualquer interpretação da linguagem do sistema que é consistente com as regras do sistema