Iudex non calculat? Synthese von Recht und Mathematik: Analyse juristischer Argumentation durch Mengenlehre und Boolesche Operatoren