Математички доказ: Разлика помеѓу преработките
[непроверена преработка] | [непроверена преработка] |
Избришана содржина Додадена содржина
с Бот Додава: vi:Chứng minh toán học |
с Бот менува: во предвид -> предвид |
||
Ред 16:
Освен директниот доказ, сите останати докази се индиректни. Во посложени ситуации доказот може да има облик на продолжена импликација: '''p<sub>1</sub>⇒p<sub>2</sub>⇒...⇒p<sub>n-1</sub>⇒p<sub>n</sub>''', или пак на продолжена [[еквиваленција]]: '''p<sub>1</sub>⇔p<sub>2</sub>⇔...⇔p<sub>n-1</sub>⇔p<sub>n</sub>'''.
Треба да се има
[[Категорија:Доказна теорија]]
|