August 2, 2025

proposition in discrete mathematics