Математическо доказателство: Разлика между версии
Изтрито е съдържание Добавено е съдържание
Zelenkroki (беседа | приноси) малко за косвените доказателства |
Zelenkroki (беседа | приноси) м →Структура на косвените доказателства: модус толенс |
||
Ред 76:
* Доказване неверността на образуваното отрицание <big>¬q</big>.
* Извод за верността на самото твърдение <big>q</big> въз основа на закона за изключваното трето.
За доказване неверността на едно твърдение обикновено се използва [[модус толенс]], т.е. отричането на консеквента (последователността) на една истинна импликация води до отричането на антецедента (предходния факт).
От дидактична гледна точка косвените доказателства са по-трудни от преките при еднаква сложност.▼
▲От дидактична гледна точка, при еднаква сложност, косвените доказателства са по-трудни от преките
== Източници ==
| |||