Lis lôr contribûts a son cjapâts dentri dal calcul proposizionâl contemporani.