Lgebra Das Proposi Es

Álgebra das proposições, também conhecida por lógica proposicional é um tema muito cobrado especialmente em concursos públicos e também em alguns curso de graduação, mais precisamente de engenharia e computação. Mas afinal, o que nos remete o estudo da Álgebra das proposições?
Assim como na matemática básica estudamos operações algébricas com números reais e complexos, na álgebra das proposições estudaremos operações envolvendo proposições.
O que é uma Proposição?
Proposição: É uma sentença declarativa, seja ela expressa de forma afirmativa ou negativa, na qual podemos atribuir um valor lógico “V” (verdadeiro) ou “F”(falso). 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 chamadosquantificadores.
Vejamos;
Para todo x, x pertencente aos Z (números inteiros) , x-2=5. É uma proposição pois agora podemos atribuir-lhe um valor lógico, porém sabemos ser falsa uma vez que apenas o número