Чӣ тавр исботи кӯтоҳ менависем
Исбот ин занҷири қадамҳост: ҳар қадам як тасдиқ ва сабаб дорад. Намунаи нависиш:
- Маълум — ҳамаи он чи аз шарт медонем.
- Матлуб — чӣ исбот кардан лозим.
- Исбот — қадамҳои рақамдор, ҳар кадом бо сабаб (шарт, таъриф, теорема).
- Охирин сатр — «Исбот шуд. ∎».
Мисоли 1. Исбот кунед: агар пас (расми 1).
Маълум: — буранда.