O valor lógico de uma proposição s é denotado por V(s). Denota-se V(s) = V, se o valor lógico da proposição s é verdadeiro e V(s) = F, se o valor lógico da proposição s é falso. Considere as proposições: p: A Lua é menor que a Terra. q: O sol é maior que a Terra. r: A terra é uma estrela.