Crea una estructura que satisfaga las siguientes fórmulas:

1) Pa^ Rab ^ Qabc

3) ∀x(Sx –> Rab ^ a=b)

5) Raa ^ Qbba ^ ¬Sab

E=<D, PE, RE, QE, SE, aE, bE, cE>

D={1,2,3,4}
PE={1}

SE=
RE={<1,1>, <2,3>, <3,4>}
QE={<2,3,4>, <1,2,3>, <1,1,1>}
aE=1
bE=1
cE=1

Esta estructura satisfice la tres formulas (1), (3) y (5) ya que

Primero, aE, <aE, bE>, <aE, bE, cE> pertecen a PE, RE, QE respectivamente. Y esto
satisface la fórmula (1).

Segundo, SE = , por tanto, en antecedente siempre es falso y, por ende, la implicación

siempre es verdadera. Y, por tanto, esto satisface a la fórmula (2).
Tercero, <aE, aE>, >, < bE, bE, aE > pertecen a RE y QE respectivamente y, además, SE
esta vacio, por lo cual, ¬SE esta lleno. Y todo ello satisface la fórmula (3).