Mathematical Logic As a Foundation for AI-Driven Decision-Making Systems. SHEM 2026, 2 (1), 14-25.