“O cálculo proposicional é semanticamente completo.” Isso significa que:
Escolha uma:
a. Qualquer proposição demonstrável (teorema) do cálculo proposicional é verdadeira.
b. Qualquer proposição verdadeira é uma proposição do cálculo proposicional.
c. Qualquer proposição verdadeira do cálculo proposicional é demonstrável (é um teorema).
d. Qualquer proposição do cálculo proposicional é verdadeira.