Která z formulí je formálně zapsanou negací tvrzení Každý člověk je mladší než jeho rodiče.?
Jsou použity predikáty C(x) s významem "x je člověk", R(x,y) s významem "x je rodič y" a x > y s významem "x je větší než y". Dále je použita funkce vek(x) reprezentující věk x.