Hakuluettelo:
Käännös:
predikaattilause (englanniksi)
- Määritelmät:
- (yhteys, logiikka, k=fi) avoin lause, eli yhden tai useamman mielivaltaisen muuttujan, ja niiden ominaisuuksia kuvaavan predikaatin muodostama väittämä, jonka totuusarvo riippuu muuttujien saamista arvoista