– $p$ aytım ushın “$p$ emes” yamasa “$p$ ekeni nadurıs” túrindegi aytım $p$ nı biykarlaw ($p$ nıń biykarlanıwı) delinedi hám $\neg p$ yamasa $\bar{p}$ kórinisinde belgilenedi. $p$ aytımnıń $\neg p$ biykarlawı sonda hám tek sonda ǵana shın boladı, eger $p$ jalǵan bolsa.