mejme na kazdeho psa nejakou hul, ale ne jednu hul na vsechny psy. Pak:
( (∀psa)(∃hul) bit(hul, pes) ) -> ( (∃hul)(∀psa) bit(hul, pes) )
neplati
A ... x < y Množina individuí je {N} (prirozena cisla) relaci < definuji jako relaci menzi nez na ohodnoceni nezalezi (uzavrena formule)
( (∀x)(∃y) y > x ) -> ( (∃y)(∀x) y > x )
neplati. Viz analyza:
( (∀x)(∃y) y > x ) ... ke kazdemu prirozenemu cislu existuje vetsi cislo => 1 ( (∃y)(∀x) y > x ) ... neni nejvetsi prirozene cislo => 0