Med menes (noe avvikende fra begrepets betydning i grammatikken) en ordsekvens med en eller flere plassholder(e), som blir til et sant eller usant utsagn når plassholderne («_») fylles med egennavn. Fyller man plassholderen i menneske» med «Sokrates», blir setningen til et sant utsagn. Plassholdere kan også fylles med variabler, f.eks. når settes inn i predikatet menneske». I så fall blir predikatet til en setningsfunksjon, = menneske», som blir et sant utsagn for alle som er mennesker (f.eks. Sokrates eller Plato), og et usant utsagn for alle som ikke er mennesker (f.eks. elefanten Jumbo eller roboten R2-D2).