Predikovaná logika-TSP

Ahoj,
narazil jsem v TSP na příklady typu " Všichni obyvatelé jsou..." "Někteří obyvatelé nejsou..."

Neznáte někdo stránky, kde je to dobře vysvětleno a třeba uvedeno v přehledné tabulce, jako že negací "všichni" je "alespoň jeden" atd.?

Moc by mi to pomohlo. Děkuji.