# Logic and proofs in secondary school

Inspired by the question When do college students learn rigorous proofs?, I became curious when pupils in secondary schools learn about proofs, what kinds of proofs they are, how rigorously they are taught, do they learn any formal logic before or simultaneously with learning proofs?

I am not focussed on American schools, I would like to learn how proofs are tackled around the world.

• Related, but not a duplicate. The question I asked was more about teaching logic in high-school, but I think it is intertwined with teaching proofs, because proofs require understanding contradiction, contrapositive, implication, $\land$, $\lnot$, etc. Jul 2, 2020 at 21:07
• I had the same exact question. Proofs are glossed over mostly because of the argument we're reinventing the wheel. Proofs are done in geometry but Jul 2, 2020 at 22:36
• Request: please include the information of which (or at least what percentage of) students are taught proofs. It is a very different consideration when teaching to the 20% most prepared students or to every 16-year-old in the country. Jul 3, 2020 at 19:08
• I suggest that you cut and paste the material about Russian education into a self-answer. SE encourages self-answers, and a self-answer doesn't preclude other people from answering as well.
– user507
Jul 4, 2020 at 22:34

Logic was taught in Russian gymnasiums as a separate subject in late 19th century. When Bolsheviks came to power they pulled logic out of the curriculum. Logic was reinstated in Soviet schools in late 1940s only to be abolished again by the end of 1950s when Khruschev took over. AFAIK, there is no separate logic course in modern Russian schools, at least it is not mandated by the federal ministry of education, some specialized schools may teach it as an elective. There is a separate course of logic in universities, I don't know whether it is mandatory for everyone, or depends on a major.

Proofs are common in Russian algebra and geometry courses (both subjects are mandatory, start from 7th grade and continue until the senior 11th grade). Most commonly they are direct proofs based on the material learned earlier, so their application is obvious and does not require much of an explanation how the proof works. Traditionally, proofs in Russian schools are of "free text" variety, not a two-column system used in many U.S. schools.

Terms direct, inverse, converse and contrapositive are introduced in 7th grade geometry in relation to theorems, not to abstract logical propositions. There is a simple explanation of why contrapositive theorem is equivalent to the original one, similar to the one shown in Wikipedia. This fact is harnessed when using proof by contradiction.

Older textbooks may have a separate, albeit tiny, section dedicated to proofs, like Kiselev's Planimetry, which was used in Tsarist Russia, then was updated in 1938 and was used until 1956, when it was replaced with "New Math" textbooks. These new textbooks proved disastrous, so many teachers continued to covertly use Kiselev's textbook. The textbook was re-issued in 2004 and again in 2013. Here are relevant pages from the English translation, which includes problems; in Russian edition problems comprise a separate problem book.

Other methods that feel more or less self-evident, are sometimes used: proof by construction, proof by exhaustion, Dirichlet's box principle.

9th grade algebra course introduces proof by mathematical induction, although in some textbooks it is marked as optional.

• fascinating historical perspective as well as interesting examples. Thank you . Jul 29, 2020 at 18:49

Here in Australia (NSW specifically) the highest level of high school maths in Year 12 has a topic on the logic and methods of proof. This includes general concepts of proof (symbolic logic, truth tables, the contrapositive, proof by contradiction, proof be counterexample, etc.) and some specific methods of proof. I think the best way to get a feel for what the questions are like is just to show you some. Here are two questions from previous exams using these concepts. I have also included a link to a small section of a textbook as an introduction of the logic of proof.