Proving a rule of combination
6366
Combinatorial proof of summation of $\sum\limits_{k = 0}^n {n \choose k}^2= {2n \choose n}$
151038
How to prove (A v B), (A → C), (B → D) therefore (C v D)
120748
Combination With Finite Replacements
98372
Proof of the principle of backwards induction
143573
Problem (1.8) A Path to Combinatorics Solution Verification.
113290
Prove combinatorics identity
70951
Prove divisibility law $\,b\mid a,c\,\Rightarrow\, b\mid ka + lc$ for all $k,l\in\Bbb Z$
46036
Logic for decomposing a permutation into different products composed of transpositions
41726
Musical and combinatorial proof
45204
Combinatorial proofs: having a difficult time understanding how to write them out
66948
Proving question on sets
68882
Path to Combinatorics Problem [$1.11$]
18301
Proof by Induction involving Inequality and Factorials as denominators
61483
Prove the following identity combinatorially
151935
Proving the predicate $\forall n \in \mathbb{N} , n \geq 2$ using the Pigeonhole principle
22687
Proof of the power rule for logarithms
93560
Solving a logic puzzle using Prolog