a) 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 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. |