///
| P | Q | R | (R ⇒ (Q ∨ P)) |
|---|---|---|---|
| V | V | V | * |
| F | V | V | * |
| V | F | V | * |
| F | F | V | * |
| V | V | F | * |
| F | V | F | * |
| V | F | F | * |
| F | F | F | * |
Na tabela acima, são apresentadas as colunas iniciais da tabela-verdade correspondentes às proposições P, Q e R. Nesse caso, a última coluna da tabela-verdade correspondente à proposição lógica (R ⇒ (Q ∨ P)) será