December 27, 2025

proposition in discrete mathematics