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