A base da lógica proposicional são as proposições - sentenças declarativas(com sujeito e predicado) à quais podem ser atribuídos, sem ambiguidade, um dos valores lógicos: verdadeiro(V) ou falso(F). Uma proposição também pode ser expressa por símbolos. Vejamos alguns exemplos:
Brasília é a capital do Brasil – É uma sentença declarativa expressa de forma afirmativa. Podemos atribuir um valor lógico, como a sentença é verdadeira seu valor lógico é “V”.
A argentina não é um país pertencente ao continente Africano – É uma sentença declarativa expressa na forma negativa. Podemos atribuir um valor lógico, como a sentença é verdadeira, seu valor lógico é “V”.
Todos os homens são mortais – É uma sentença declarativa expressa na forma afirmativa. Podemos atribuir um valor lógico, como a sentença é verdadeira, seu valor lógico é “V”
10 é um número par positivo – É uma sentença declarativa expressa na forma afirmativa. Podemos atribuir um valor lógico, como a sentença é verdadeira, seu valor lógico é “V”
7+5 = 10 – É uma sentença declarativa expressa na forma afirmativa .Podemos atribuir uma valor lógico, como a sentença é falsa, seu valor lógico é “F”.
x -2=5 – Não é uma proposição, pois não sabemos o valor da variável “x”, ou melhor, não podemos atribuir um valor lógico “V” ou “F”. Porém para “torná-la” proposição bastaremos usar os chamados quantificadores.