2025 Matematika diskrit #1 Kontrak perkuliahan dan pengenalan proposisi