a) proposição
           2. Valor Lógico de uma proposição

 

Como estamos estudando no curso da Ciência da Computação, podemos convencionar os valores lógicos em função dos símbolos 0(zero) e 1(um).

Portanto vamos convencionar:

1 - Verdadeiro
0 - Falso

Daqui para frente utilizaremos os símbolos 0 e 1 em vez de V(Verdadeiro) e F(Falso) que são normalmente utilizados na lógica formal.