///
conjunção ˄ condicional ⇒
disjunção ˅ Bicondicional ⇔
negação ~
Considere que as proposições lógicas simples sejam representadas por letras maiúsculas e os símbolos lógicos usuais sejam representados de acordo com a tabela precedente.
Considerando a tabela CG1A3-I, as informações a ela relacionadas e que as primeiras três colunas da tabela-verdade da proposição lógica P˄(Q ⇒ R) sejam iguais a
| P | Q | R |
|---|---|---|
| V | V | V |
| V | V | F |
| V | F | V |
| V | F | F |
| F | V | V |
| F | V | F |
| F | F | V |
| F | F | F |
a última coluna dessa tabela-verdade apresenta valores V ou F, tomados de cima para baixo, na sequência