Is There a Proof for the Distributive Law?
57125
Prove the distributive law $a(b+c)=ab+ac$ for real numbers?
45323
How to prove $\vdash\neg P\to (P\to Q)$?
151157
Justification of proof of law of total expectation
3902
Does $k+\aleph_0=\mathfrak{c}$ imply $k=\mathfrak{c}$ without the Axiom of Choice?
63952
Disproving: If $(\Gamma\vdash(\phi\,\lor\psi))$, either $(\Gamma\vdash\phi)$ or $(\Gamma\vdash\psi)$ is true
50804
It seems obvious, but how to prove it formally?
95935
Prove A = $(A \cap B) \cup (A \cap B^c)$ using the distributive and associative law.
42141
Proving Distributivity of Matrix Multiplication
32009
Prove $\;\big((p\rightarrow q) \lor (p \rightarrow r)\big) \rightarrow (q\lor r)\equiv p \lor q \lor r$ without use of a truth table.
83475
Prove Or Disprove: tr(AB)=tr(A)*tr(B)
6443
Is there a proof for this Fibonacci relationship?
139064
Show by using logical connectives laws that $(P\to Q) \land (Q \to R) $ is equivalent to $(P \to R) \land [(P \iff Q) \lor (R \iff Q)]$
153550
Is there any connection between distributive lattices and planar graphs?
3406
Prove that $\frac{\partial x}{\partial y} \frac{\partial y}{\partial z} \frac{\partial z}{\partial x} = -1$ and verify ideal gas law
46423
Distributivity of quantifiers over logical connectives
27899
Can we prove the existence of $A\cup B$ without the union axiom?
103463
Mantel's Theorem proof verification