Can the "proves consistent" relation be proven antisymmetric?
91698
Proofs of consistency for two formal systems
137863
How can I formally show that a root n consistent estimator is weakly consistent?
77759
How do i prove that $(p \vee q) \wedge (\neg p \vee r) \rightarrow (q \vee r)$ is a tautology without using the truth table?
88188
Explain proof by contradiction.
2251
Can someone give me a hint on how to prove this?
75007
How can I prove this relation between the elementary set theory and the elementary logic?
41318
Can every proof by contradiction also be shown without contradiction?
22424
Has this "generalized semidirect product" been studied?
63952
Disproving: If $(\Gamma\vdash(\phi\,\lor\psi))$, either $(\Gamma\vdash\phi)$ or $(\Gamma\vdash\psi)$ is true
122832
Proof for SSS Congruence?
50178
\qed for theorems without proofs
118883
If $\lambda_{max} = n$, then $n\times n$ positive, reciprocal matrix A is consistent
153532
Proving $a^2$ is even $\implies$ $a$ is even by contradiction
79969
Proof that a formula $\theta$ is valid if and only if $\forall x \theta$ is valid
52930
Prove or disprove : $a^3\mid b^2 \Rightarrow a\mid b$
49706
What conserved quantity does Supersymmetry imply?
32589
Prove or disprove that Arg(zw)=Arg(z)+Arg(w)