Математическо доказателство: Разлика между версии
Изтрито е съдържание Добавено е съдържание
LordBumbury (беседа | приноси) м интервал преди запетая |
м Disambiguated: определение → Определение (математика), Пап → Пап Александрийски |
||
Ред 17:
<math>p \rightarrow p_1, p_1 \rightarrow p_2, ..., p_k \rightarrow q\,,</math>
където някои импликации е възможно да са [[конюнкция|конюнкции]] от други [[съждение|съждения]], и схемата става по-сложна; следва подреждането на импликациите в съответен ред и прилагане на правилото. Всяка от използваните импликации се основава на позната [[аксиома]], предварително доказана вече теорема или на познато [[Определение (математика)|определение]].
Исторически съществуват три схеми на разсъждения за извършване на тези дейности.
Ред 47:
:::::::::: <math>p \rightarrow q\,</math>
Често схемата на синтеза се използва и без преди това да е използвана първата част от схемата на Евклид за анализ на доказателствата. Това са случаи, при които извършващият доказателството е достатъчно трениран в провеждането на подобни доказателства.
* '''Схема на [[Пап Александрийски|Пап]]'''
: За да е вярно <big>q</big>, достатъчно е да е вярно <big>p<sub>k</sub></big>.
:::::::::: <math>p_k \rightarrow q\,</math>
| |||