Основната идея на тази статия:

В тази статия, върху напълно налудно пример тя ще подчертае абсолютно елементарни неща. С това, че много хора са доста страшен проблем. Дори и да имате никакви проблеми, все още със сигурност ще намерите нещо интересно, и най-важното, полезна от гледна точка на обучението по математика на в този кратък опус.

Най-важното: А => Б - същото като не B => А. За да се докаже не изберете вида, в който е по-лесно да се движите.

Какво е необходимо, и това, което е достатъчно условие. Какъв е критерият.

Какво е определението. Критерий и решителност - едно и също нещо.

В тази статия ще обсъдим логическите аспекти на доказателствата, както и концепцията:

знак, критерий, необходимо условие и достатъчно условие за идентификация.

Има една поговорка: A предполага Б: (А => Б).

Ако това е петел, а след това той разполага с два крака.

Дали разговаря вярно. Затова чифтокопитно петел. ] ;-)
Очевидно е, че това е _not_ TAK_.

Да предположим, че ни се дава един вид декларация, че е необходимо да се докаже: A => Б. Това е страхотно формализация на "довеждане до абсурд" и др ..

За доказателство, обикновено се избира една от формите, в които е по-лесно да се движите. И сега знаете какво е то.

Например, ние питай, не петел => не два крака?

Мозъци наистина не обръщат тълкуваме това твърдение директно. Но тя е идентична с изявление: двукрак => петел - погрешно.

Използвайки горния формализирането на тези трансформации се извършват бързо и правилно: това е необходимо да се промени на одобрените места и да ги окачите на отричане.

В - необходимо условие за А, когато от А => Б. Или, ако неспазване на условията на В не е автоматично състояние А.

Петел => двукрако.

Петел - необходимо условие за двукрако. Това означава, че ако видим трикрако създание - спокойно можем да кажем, че това не е на петел (лечение на разследване).

Б - достатъчно условие за А, когато А <= B (из B следует A). Если выполняется B - автоматически выполняется A.

двукрак <= петух.

В този случай, изглежда почти сигурно, че петелът - необходимо условие за двукрако, а двукрако - достатъчно условие (знак) на петела.

Предпоставки за A - нещо, което трябва да бъде на достатъчно А. - нещо, което предполага А.

Друго име на достатъчно условие - знак. Всичко това - на пътя "от другата страна", обратна необходимостта.

Такова нещо като критерий - обединение на двете условия в едно:

А => В и А <= B. (другое обозначение A <=> Б)

Б - и необходимо и достатъчно условие за А.

В резултат, А и В са еквивалентни. Тази концепция е доста хвърлени около и може да означава няколко различни (еквивалентно на уравнението: един и същ набор от решения), които. Разбира се, това е в съответствие с определението, дадено по-горе.

За да се докаже на критериите, необходими за доказване А => Б и В => А.

Естествено, това може да бъде заместен с А => В и А => В не е

Какво е определението, всички знаем:

Например: да кажем, че обектът е собственост А ако X. на твърдението
Или: A обект се казва, ако има X. на имот

Определение - на пътя и в двете посоки: предметът - тогава той има свойствата на X, по дефиниция, и обратно, обектът има свойства Х - тогава е А.

Нека да се даде определение на обекта, например:

(1) с две - естествено число след веднага след като устройството.

(2) два - число, което се отчита от три букви, и съдържа "D" в записа на писмо.

И двете - на пътя и в двете посоки: (1) <=> две <=> (2). Така че защо един се нарича определението, а другият - на критерия за 8- (.)?

В действителност, без значение какво е името на тях. Предвид факта, че най-малко един "определение" трябва да бъде ;-). Определяне нарича такъв _one traditsii_ един, но в действителност това е еквивалентно на критерия, и те могат да се обърнат. Как да не се определи двойка - и двете твърдения ще бъдат направени. И обратно: дори само една декларация - означава, ни брой - две.

Забележка: Неопределен индекс: __sape_ips__ в /var/site/nlpstudent/www/37971576f4181439375753f23a285fc7/sape.php по линия 193 Внимание: in_array () очаква параметър 2, да бъде масив, нула дадени в / Var / сайт / nlpstudent / WWW / 37971576f4181439375753f23a285fc7 / sape.php по линия 193 Внимание: Неопределен индекс: __sape_ips__ в /var/site/nlpstudent/www/37971576f4181439375753f23a285fc7/sape.php по линия 199 Внимание: in_array () очаква параметър 2, да бъде масив, нула дадени в / Var / сайт / nlpstudent / WWW / 37971576f4181439375753f23a285fc7 / sape.php по линия 199