October 7, 2026

proposition in discrete mathematics