A Lochica matematica ye una parte d'a Lochica y d'as Matematicas, que consiste en o estudeo matematico d'a Lochica y en l'aplicación d'este estudeo a atras arias d'as Matematicas. A Lochica matematica tiene estreitas connexions con as Sciencias d'a computación y con a Lochica filosofica.