Das
-fórmulas seguintes, determine quais são substituições de outras
-fórmulas e escreva as respectivas substituições.
.
Passo 1
O enunciado pede para verificar se a fórmula dada é uma instância (substituição) de alguma outra fórmula-esquema de L e, em caso afirmativo, exibir o mapeamento (σ) dos símbolos proposicionais.
Passo 2
Observamos que a fórmula dada tem a forma geral
onde P, Q, R, S são variáveis proposicionais genéricas de um esquema. Para obter a fórmula concreta
basta substituir P por r, Q por s, R por q e S por p.
Passo 3
Portanto a substituição σ que leva o esquema
na fórmula dada é:
Resposta
A fórmula é instância do esquema
pela substituição