What is the meaning of "in particular" in this proof?

Do you know "a fortiori"?

It's the "a maiore ad minus" argument, concluding from a general to a more special ("particular") case. https://en.m.wikipedia.org/wiki/Argumentum_a_fortiori

As in:

"All cats are mammals. In particular, all black cats are mammals."


A red shirt is a 'particular' or 'specific* kind of shirt.

So, I could say:

"If I don't wear a shirt, then in particular I don't wear a red shirt"

This is just like the:

"If there is no proof, then in particular there is no short proof"

Tags:

Logic

Related

Generators for the ideal of entire functions vanishing on $\mathbb Z\times\mathbb Z\subset \mathbb C\times\mathbb C$ Proving a complicated looking inequality in a simple way Prove that $N \subseteq H$ Prove that all ideals in $\mathbb{Z}[x]$ are generated by two elements. On Ramanujan's approximation, $n!\sim \sqrt{\pi}\big(\frac ne\big)^n\sqrt [6]{(2n)^3+(2n)^2+n+\frac 1{30}}$ Let $H$ be a subgroup of $G$, and suppose that $G$ acts by multiplication over the set $X:=G/H$ of the left-hand side classes of $H$ over $G$. Prove that if $m^p+n^p\equiv0\pmod p$ then $m^p+n^p\equiv0\pmod {p^2}$ where $p$ is an odd prime number. Is $g(\eta)$, as defined in the question, a Dirac delta function? Is the union of an arbitrary collection of topological spaces a topological space? Is it valid to use operations on both sides before inequality is proven? Any element $g$ of $GL(2,p)$ of order $p$, $p$ prime, is conjugate to $\begin{bmatrix}1&1\\0&1\end{bmatrix}$ Is this a good enough proof by induction?

Recent Posts