Математички доказ: Разлика помеѓу преработките

[непроверена преработка][непроверена преработка]
Избришана содржина Додадена содржина
с Бот Додава: 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>'''.
 
Треба да се има во предвид дека буквите во наведените логички искази не се означени само елементарни искази, туку и сложени искази, формули итн.
 
[[Категорија:Доказна теорија]]