Mõiste: tõeväärtusfunktsioon
Ülemmõiste: funktsioon