Oppitunnilla aloitettiin todistusmenetelmien opiskelu. Ensimmäiset esimerkit olivat suorasta (eli modus ponens) todistuksesta.

Oleellisia käsitteitä ovat oletus, väite ja todistus.

Suorassa todistuksessa edetään implikaatioiden avulla oletuksesta väitteeseen tunnettuja tosiasioita hyödyntäen.

Tunnilla todistettiin, että kolmion kulmien summa on 180 astetta (kahdella eri tavalla).

Harjoitustehtävät 89 ja 90:



KS myös 91.