De logiske konnektivene ($\land$, $\lor$, $\rightarrow$ og $\neg$), kvantorene ($\forall$, $\exists$) og en tellbar uendelig mengde variabler (og her er $x$ og $y$ variabler) utgjør de logiske symbolene til et førsteordens språk. Resten av symbolene over kan være ikke-logiske symboler i det samme førsteordens språket.
Definisjon: Førsteordens språk
Test deg selv
Symbolene under er symboler i et førsteordens språk. Hvis $x$ og $y$ er variabler i dette språket (og ingen av de andre symbolene under er variabler i språket), hvilke av disse symbolene er logiske symboler i språket?