predikaattilogiikka romaniaksi

Kokeile: