mathem ạ tische L ọ gik

Gebiet der Mathematik, das die Logik mit Hilfe einer mathematischen Formelsprache behandelt. Teilgebiete sind die Aussagenlogik und die Prädikatenlogik .