Proving properties of binary classification neural networks via Łukasiewicz logic - Finger, Marcelo (2022)