Zadani: Najděte interpretaci M a ohodnocení e takové že M |≠ (∀x)(A → B) → (A → (∀x)B) [e]

Jako formuli A zvolím x<pomeranč Jako formuli B zvolím x<bagr

Množina individuí je {graf K₅, pomeranč, bagr}

Relaci < definuji :

• graf K₅ < pomeranč
• graf K₅ < bagr
• pomeranč < bagr

Ohodnocení e: x → graf K₅

Potom formule

(∀x)( (x<pomeranč)→(x<bagr) )→( (x<pomeranč)→(∀x)(x<bagr) )

při ohodnocení e neplatí (protože x má volný výskyt v A)