- Lógica ProposicionalTabelas-verdadeTabela-verdade: Bicondicional
- Lógica ProposicionalTabelas-verdadeTabela-verdade: Conjunção
- Lógica ProposicionalTabelas-verdadeTabela-verdade: Negação
Considere os conectivos lógicos usuais e assuma que as letras maiúsculas representam proposições lógicas e que o símbolo ∼ representa a negação. Considere também que as três primeiras colunas de uma tabela-verdade que envolve as proposições lógicas P, Q e R sejam as seguintes.
| 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 |
Com base nas informações apresentadas, julgue o item seguinte.
A última coluna da tabela-verdade relacionada à expressão (P!$ \land !$Q)!$ ↔ !$(∼R) apresenta valores V ou F na seguinte sequência, de cima para baixo: F V V F V F V F.
