Can we use propositional logic to prove set identities?
75007
How can I prove this relation between the elementary set theory and the elementary logic?
62687
Proving Cardinality of Cosets in Abstract Algebra
147375
Prove :(P → Q) ∨ (Q → P) using natural deduction
109649
idempotents acting as local identities
113083
How to prove a set equality?
134319
When induction proofs need a choice function
140682
Proving a property of a Logic Formal Language
28223
Prove/Disprove that if two sets have the same power set then they are the same set
61671
Discrete Math: Writing Proofs
20346
'Algebraic' way to prove the boolean identity $a + \overline{a}*b = a + b$
48761
How can know if a proof technique can actually prove something? Specifically, induction
66948
Proving question on sets
111862
Proof for sequent (Logic)
93410
How to prove ~ (~P & ~Q) : P ∨ Q by natural deduction
77286
Proving set theory question
76635
Proof through combinatorial argument
29755
Power set equivalency of Axiom of Choice