Álgebra Proposicional - Proposição

Álgebra proposicional

Proposição

Conjunto de palavras ou símbolos que exprimem um pensamento de sentimento completo, ou seja, é uma declaração afirmativa ou negativa que faz sentindo.

Valor Lógico: uma proposição pode admitir o valor lógico verdade (v), quando exprime um pensamento verdadeiro, ou pode admitir valor lógico falso (f) quando exprime um pensamento falso.

Exemplos de sentenças:

EX_1.: Será que vai chover?

R: Não é proposição. (sempre que interrogativa a sentença não será)

EX_2.: Luis André, vire para frente, preste atenção e cale a boca.

R: Não é proposição, pois é uma frase interpretativa.

EX_3.: A Lua é satélite da Terra.

R: (v) É uma proposição, pois é uma declaração afirmativa de sentido completo.

EX_4.: A cidade do Rio de Janeiro é a capital do Brasil.

R: (f)É uma proposição, pois é uma declaração afirmativa de sentido completo

EX_5.: O dobro de 4 não é igual a 10.

R: (v) É uma declaração, pois é uma declaração negativa de sentido completo.

EX_6.: O dobro do número X é igual a 10.

R: É uma proposição, pois é uma declaração afirmativa de sentido completo.

O valor lógico depende do valor atribuído ao X esta é uma proposição aberta.

Exemplos de proposições abertas.

- A cidade em que nasci é a capital da Argentina.

- 2X+3<5

- O triplo da minha idade é igual a idade de meu pai.