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 K5, pomeranč, bagr}
Relaci < definuji :
Ohodnocení e: x → graf K5
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)