predikaattilogiikka arabiaksi

Kokeile: