iyo uturuka i buto nari gutuza nuko alegisanderi apfa amaze imyaka cumi n'ibiri ku ngoma uzicare hasi urebe ibyo wagezeho propositional variables are represented as nullary predicates in first order logic