Answer by weakening_disjunction for Logical content of Gauss's Lemma...
Let us say that by a 'logical interpretation' we mean that we assign logical connectives and require that at least the introduction and elimination rules of propositional logic/natural deduction...
View ArticleLogical content of Gauss's Lemma (arithmetic)
In the context where $a$, $b$, $c$ are integers we have $(a \mid bc, a\land b = 1) \Rightarrow a\mid c$. This result is called Gauss's Lemma in French Highschool.It is well known that (Steve Awodey,...
View Article
More Pages to Explore .....