# Discrete Math

> Discrete mathematics fundamentals

- Skill: `ffsshhttiikk/discrete-math` (Agent Skill)
- Install (CLI): `npx skillmds@latest add ffsshhttiikk/discrete-math`
- Raw SKILL.md: https://api.skillmd.com/api/skills/ffsshhttiikk/discrete-math/raw
- Safety review: pending
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- License: MIT
- Author: ffsshhttiikk (https://skillmd.com/u/ffsshhttiikk)
- Updated: 2026-09-17
- Page: https://skillmd.com/skills/ffsshhttiikk/discrete-math

---

## What I do
- Apply propositional and predicate logic
- Analyze mathematical proofs (induction, contradiction)
- Work with sets, relations, and functions
- Apply combinatorics and graph theory basics
- Solve recurrence relations
- Model with discrete structures

## When to use me
When studying computer science foundations, proving mathematical statements, or analyzing algorithms.

## Key Concepts
- **Logic**: Propositional operators ∧, ∨, ¬, →, ↔; quantifiers ∀, ∃
- **Proof by Induction**: Base case + inductive step proves for all n
- **Sets**: Union, intersection, complement, De Morgan's laws
- **Relations**: Reflexive, symmetric, transitive properties
- **Functions**: Injective, surjective, bijective classifications
- **Recurrence**: a_n defined in terms of previous terms