sejam operadores lógicos que constroem
novas proposições e significam “não”, “e”, “ou” e “então”,
respectivamente. Na lógica proposicional, cada proposição assume
um único valor — verdadeiro (V) ou falso (F). Considere, ainda,
que P, Q, R e S representem as sentenças listadas abaixo.